Temporarily disable Z3 build (#189)

stanford-centaur · Mar 4, 2021 · 4a76294 · 4a76294
1 parent 2d0e3b5
commit 4a76294
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/z3/CMakeLists.txt b/z3/CMakeLists.txt
@@ -1,3 +1,4 @@
+message(FATAL_ERROR "Z3 backend development is still in progress and not yet ready for use")
 add_library(smt-switch-z3 "${SMT_SWITCH_LIB_TYPE}"
   # "${CMAKE_CURRENT_SOURCE_DIR}/src/z3_extensions.cpp"
   "${CMAKE_CURRENT_SOURCE_DIR}/src/z3_factory.cpp"