From 0cdbc7fdcee8220836d0cdf5f86a2d00efb782d8 Mon Sep 17 00:00:00 2001
From: Florian Sattler <vuld3r@gmail.com>
Date: Mon, 27 Mar 2023 11:04:38 +0200
Subject: [PATCH] Build bindings with solver

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

diff --git a/setup.py b/setup.py
index c5ef4e729..805810a6d 100644
--- 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'