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=src/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 = "core-team@dafny.org" },
+]
+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"