From 93a08a56f6858d04f6bce0ca814435acf0f49d64 Mon Sep 17 00:00:00 2001 From: Mark Ryan Date: Mon, 7 Apr 2025 11:51:28 +0000 Subject: [PATCH] include LICENSE.txt in wheels Update setup.py so that we copy LICENSE.TXT to src/api/python before creating the sdist. Any wheels built from this sdist will now contain the LICENSE.txt file. Fixes #7604 --- src/api/python/setup.py | 1 + 1 file changed, 1 insertion(+) diff --git a/src/api/python/setup.py b/src/api/python/setup.py index 8fd8ecb0b..9225c2658 100644 --- a/src/api/python/setup.py +++ b/src/api/python/setup.py @@ -245,6 +245,7 @@ def _copy_sources(): shutil.rmtree(SRC_DIR_LOCAL, ignore_errors=True) os.mkdir(SRC_DIR_LOCAL) + shutil.copy(os.path.join(SRC_DIR_REPO, 'LICENSE.txt'), ROOT_DIR) shutil.copy(os.path.join(SRC_DIR_REPO, 'LICENSE.txt'), SRC_DIR_LOCAL) shutil.copy(os.path.join(SRC_DIR_REPO, 'z3.pc.cmake.in'), SRC_DIR_LOCAL) shutil.copy(os.path.join(SRC_DIR_REPO, 'CMakeLists.txt'), SRC_DIR_LOCAL)