From 1073e161c764886c656bce5585f0bac495d0652b Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Wed, 20 Jul 2016 19:08:23 -0700 Subject: [PATCH] remove deprecated max-sat solvers Signed-off-by: Nikolaj Bjorner --- contrib/cmake/examples/tptp/CMakeLists.txt | 4 ++++ contrib/cmake/src/opt/CMakeLists.txt | 4 ---- 2 files changed, 4 insertions(+), 4 deletions(-) create mode 100644 contrib/cmake/examples/tptp/CMakeLists.txt diff --git a/contrib/cmake/examples/tptp/CMakeLists.txt b/contrib/cmake/examples/tptp/CMakeLists.txt new file mode 100644 index 000000000..447307cd7 --- /dev/null +++ b/contrib/cmake/examples/tptp/CMakeLists.txt @@ -0,0 +1,4 @@ +add_executable(tptp5 EXCLUDE_FROM_ALL tptp5.cpp) +target_link_libraries(tptp5 PRIVATE libz3) +target_include_directories(tptp5 PRIVATE "${CMAKE_SOURCE_DIR}/src/api") +target_include_directories(tptp5 PRIVATE "${CMAKE_SOURCE_DIR}/src/api/c++") diff --git a/contrib/cmake/src/opt/CMakeLists.txt b/contrib/cmake/src/opt/CMakeLists.txt index e4166e3d4..778edc2de 100644 --- a/contrib/cmake/src/opt/CMakeLists.txt +++ b/contrib/cmake/src/opt/CMakeLists.txt @@ -1,9 +1,5 @@ z3_add_component(opt SOURCES - bcd2.cpp - fu_malik.cpp - hitting_sets.cpp - maxhs.cpp maxres.cpp maxsls.cpp maxsmt.cpp