diff options
Diffstat (limited to 'src/smt_util/CMakeLists.txt')
-rw-r--r-- | src/smt_util/CMakeLists.txt | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/src/smt_util/CMakeLists.txt b/src/smt_util/CMakeLists.txt deleted file mode 100644 index f0c61de3b..000000000 --- a/src/smt_util/CMakeLists.txt +++ /dev/null @@ -1,15 +0,0 @@ -set(smtutil_src_files - boolean_simplification.cpp - boolean_simplification.h - lemma_channels.cpp - lemma_channels.h - lemma_input_channel.h - lemma_output_channel.h - nary_builder.cpp - nary_builder.h - node_visitor.h -) - -add_library(smtutil ${smtutil_src_files}) -target_compile_definitions(smtutil PRIVATE -D__BUILDING_CVC4LIB) -target_link_libraries(smtutil expr) |