Forgot these files

msoos · Jul 14, 2024 · 95232a7 · 95232a7
1 parent 42b2c75
commit 95232a7
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/setup.py b/setup.py
@@ -61,6 +61,7 @@ def gen_modules(version):
         include_dirs = ["src/"],
         sources = ["python/src/pycryptosat.cpp",
                    "python/src/GitSHA1.cpp",
+                   "src/backbone.cpp",
                    "src/cardfinder.cpp",
                    "src/ccnr_cms.cpp",
                    "src/ccnr.cpp",
@@ -97,6 +98,7 @@ def gen_modules(version):
                    "src/str_impl_w_impl.cpp",
                    "src/subsumeimplicit.cpp",
                    "src/subsumestrengthen.cpp",
+                   "src/vardistgen.cpp",
                    "src/varreplacer.cpp",
                    "src/xorfinder.cpp",
                    "src/oracle/oracle.cpp",