Do not build z3 if it is installed

se-sic · Aug 28, 2023 · 09238d6 · 09238d6
1 parent ccd4a5b
commit 09238d6
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/setup.py b/setup.py
@@ -47,6 +47,8 @@ def build_extension(self, ext):
  '-DPYTHON_EXECUTABLE=' + sys.executable,
  '-DVARA_FEATURE_USE_Z3_SOLVER=True'
  ]
+ if os.path.exists('/lib/x86_64-linux-gnu/libz3.so'):
+ cmake_args.append('-DVARA_FEATURE_BUILD_Z3_SOLVER=False')
 
  cfg = 'Debug' if self.debug else 'Release'
  build_args = ['--config', cfg]