diff --git a/.gitignore b/.gitignore index 47c6e3923..8c149afc5 100644 --- a/.gitignore +++ b/.gitignore @@ -109,3 +109,5 @@ CMakeSettings.json dbg/** *.wsp CppProperties.json +genaisrc/genblogpost.genai.mts +*.mts diff --git a/src/api/python/setup.py b/src/api/python/setup.py index 9225c2658..4d26367b3 100644 --- a/src/api/python/setup.py +++ b/src/api/python/setup.py @@ -245,7 +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'), 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)