From a38d657980dfc4aa1bff73d84fbe8b07787e8dfe Mon Sep 17 00:00:00 2001
From: Alex Chew <alexchew@amazon.com>
Date: Mon, 14 Oct 2024 14:31:05 -0700
Subject: [PATCH] ensure _dafny gets packaged, fix version number

When using the "flat layout", setuptools' auto-discovery only considers
a single top-level module.
See <https://setuptools.pypa.io/en/stable/userguide/package_discovery.html#flat-layout>.
---
 .../DafnyRuntime/DafnyRuntimePython/pyproject.toml  | 13 ++++++++-----
 1 file changed, 8 insertions(+), 5 deletions(-)

diff --git a/Source/DafnyRuntime/DafnyRuntimePython/pyproject.toml b/Source/DafnyRuntime/DafnyRuntimePython/pyproject.toml
index c5969e8a31..c18e2ce8a0 100644
--- a/Source/DafnyRuntime/DafnyRuntimePython/pyproject.toml
+++ b/Source/DafnyRuntime/DafnyRuntimePython/pyproject.toml
@@ -1,10 +1,6 @@
-[build-system]
-requires = ["setuptools>=61.0"]
-build-backend = "setuptools.build_meta"
-
 [project]
 name = "DafnyRuntimePython"
-version = "4.7.0"
+version = "4.8.1"
 authors = [
   { name = "The Dafny core team", email = "core-team@dafny.org" },
 ]
@@ -19,3 +15,10 @@ classifiers = [
 [project.urls]
 Homepage = "https://github.com/dafny-lang/dafny"
 Issues = "https://github.com/dafny-lang/dafny/issues"
+
+[build-system]
+requires = ["setuptools>=61.0"]
+build-backend = "setuptools.build_meta"
+
+[tool.setuptools]
+packages = ["_dafny", "System_"]