Trying to fix python build

msoos · Jul 18, 2024 · 4dee958 · 4dee958
1 parent 95232a7
commit 4dee958
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/setup.py b/setup.py
@@ -58,7 +58,7 @@ def gen_modules(version):
 
     modules = Extension(
         name = "pycryptosat",
-        include_dirs = ["src/"],
+        include_dirs = ["src/", "./"],
         sources = ["python/src/pycryptosat.cpp",
                    "python/src/GitSHA1.cpp",
                    "src/backbone.cpp",
@@ -102,6 +102,7 @@ def gen_modules(version):
                    "src/varreplacer.cpp",
                    "src/xorfinder.cpp",
                    "src/oracle/oracle.cpp",
+                   "src/oracle_use.cpp",
                ],
         extra_compile_args = extra_compile_args_val,
         define_macros=define_macros_val,