chore: add config for PyPI runtime publishing

Source/DafnyRuntime/DafnyRuntimePython/.gitignore

@@ -0,0 +1,30 @@
+### from https://github.com/github/gitignore/blob/main/Python.gitignore
+
+# Byte-compiled / optimized / DLL files
+__pycache__/
+*.py[cod]
+*$py.class
+
+# Distribution / packaging
+.Python
+build/
+develop-eggs/
+dist/
+downloads/
+eggs/
+.eggs/
+lib/
+lib64/
+parts/
+sdist/
+var/
+wheels/
+share/python-wheels/
+*.egg-info/
+.installed.cfg
+*.egg
+MANIFEST
+
+# Environments
+.env
+venv/

Source/DafnyRuntime/DafnyRuntimePython/Makefile

@@ -3,7 +3,9 @@
 DAFNY = dotnet run --project ../../Dafny --no-build --
 
 GENERATED_SYSTEM_MODULE_SOURCE=../obj/systemModulePopulator-py/System_.py
-GENERATED_SYSTEM_MODULE_TARGET=System_.py
+GENERATED_SYSTEM_MODULE_TARGET=System_/__init__.py
+
+VIRTUALENV = venv
 
 all: check-system-module
 
@@ -15,3 +17,19 @@ check-system-module: build-system-module
 
 update-system-module: build-system-module
 	cp $(GENERATED_SYSTEM_MODULE_SOURCE) $(GENERATED_SYSTEM_MODULE_TARGET)
+
+setup-venv:
+	python -m venv --clear $(VIRTUALENV)
+	$(VIRTUALENV)/bin/pip install --upgrade build twine
+
+clean-package:
+	rm -rf dist/
+
+build-package:
+	$(VIRTUALENV)/bin/python -m build
+
+upload-package-testpypi:
+	$(VIRTUALENV)/bin/python -m twine upload --repository testpypi dist/*
+
+upload-package-pypi:
+	$(VIRTUALENV)/bin/python -m twine upload dist/*

Source/DafnyRuntime/DafnyRuntimePython/pyproject.toml

@@ -0,0 +1,21 @@
+[build-system]
+requires = ["setuptools>=61.0"]
+build-backend = "setuptools.build_meta"
+
+[project]
+name = "DafnyRuntimePython"
+version = "4.7.0"
+authors = [
+  { name = "The Dafny core team", email = "[email protected]" },
+]
+description = "Dafny runtime for Python"
+requires-python = ">=3.8"
+classifiers = [
+  "Programming Language :: Python :: 3",
+  "License :: OSI Approved :: MIT License",
+  "Operating System :: OS Independent",
+]
+
+[project.urls]
+Homepage = "https://github.com/dafny-lang/dafny"
+Issues = "https://github.com/dafny-lang/dafny/issues"

Source/IntegrationTests/TestFiles/LitTests/LitTest/comp/compile1verbose/CompileAndThenRun.dfy.expect

@@ -100,7 +100,7 @@ hello, Dafny
 Dafny program verifier finished with 0 verified, 0 errors
 Wrote textual form of target program to CompileAndThenRun-py/__main__.py
 Additional output written to CompileAndThenRun-py/CompileAndThenRun-py.dtr
-Additional output written to CompileAndThenRun-py/System_.py
-Additional output written to CompileAndThenRun-py/_dafny.py
+Additional output written to CompileAndThenRun-py/System_/__init__.py
+Additional output written to CompileAndThenRun-py/_dafny/__init__.py
 Additional output written to CompileAndThenRun-py/module_.py
 hello, Dafny

Source/IntegrationTests/TestFiles/LitTests/LitTest/comp/compile3/JustRun.dfy.expect

@@ -108,8 +108,8 @@ hello, Dafny
 Dafny program verifier finished with 0 verified, 0 errors
 Wrote textual form of target program to JustRun-py/__main__.py
 Additional output written to JustRun-py/JustRun-py.dtr
-Additional output written to JustRun-py/System_.py
-Additional output written to JustRun-py/_dafny.py
+Additional output written to JustRun-py/System_/__init__.py
+Additional output written to JustRun-py/_dafny/__init__.py
 Additional output written to JustRun-py/module_.py
 Running...
 

Source/IntegrationTests/TestFiles/LitTests/LitTest/comp/manualcompile/ManualCompile.dfy.expect

@@ -100,7 +100,7 @@ hello, Dafny
 Dafny program verifier finished with 0 verified, 0 errors
 Wrote textual form of target program to ManualCompile-py/__main__.py
 Additional output written to ManualCompile-py/ManualCompile-py.dtr
-Additional output written to ManualCompile-py/System_.py
-Additional output written to ManualCompile-py/_dafny.py
+Additional output written to ManualCompile-py/System_/__init__.py
+Additional output written to ManualCompile-py/_dafny/__init__.py
 Additional output written to ManualCompile-py/module_.py
 hello, Dafny