From 09238d6e51a0982a4857b49a80a094c76c35ddad Mon Sep 17 00:00:00 2001
From: danjujan <44864658+danjujan@users.noreply.github.com>
Date: Mon, 28 Aug 2023 14:13:07 +0200
Subject: [PATCH] Do not build z3 if it is installed

---
 setup.py | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/setup.py b/setup.py
index f2c7d5e7..63af382e 100644
--- 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]