Merge branch 'vara-dev' into f-FeatureGui

se-sic · Jun 20, 2023 · 12e6cdd · 12e6cdd
2 parents c4e02e2 + f32e465
commit 12e6cdd
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/tools/CMakeLists.txt b/tools/CMakeLists.txt
@@ -1,3 +1,5 @@
-add_subdirectory(config-generator)
+if(VARA_FEATURE_USE_Z3_SOLVER)
+  add_subdirectory(config-generator)
+endif()
 add_subdirectory(fm-viewer)
 add_subdirectory(fm-editor)