Build bindings with solver

se-sic · Mar 27, 2023 · 0cdbc7f · 0cdbc7f
1 parent 6226cc3
commit 0cdbc7f
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/setup.py b/setup.py
@@ -44,7 +44,8 @@ def build_extension(self, ext):
 
         cmake_args = [
             '-DCMAKE_LIBRARY_OUTPUT_DIRECTORY=' + extdir,
-            '-DPYTHON_EXECUTABLE=' + sys.executable
+            '-DPYTHON_EXECUTABLE=' + sys.executable,
+            '-DVARA_FEATURE_USE_Z3_SOLVER=True'
         ]
 
         cfg = 'Debug' if self.debug else 'Release'