diff options
Diffstat (limited to 'examples/CMakeLists.txt')
-rw-r--r-- | examples/CMakeLists.txt | 62 |
1 files changed, 10 insertions, 52 deletions
diff --git a/examples/CMakeLists.txt b/examples/CMakeLists.txt index 37efb84e1..493a7b3bb 100644 --- a/examples/CMakeLists.txt +++ b/examples/CMakeLists.txt @@ -2,72 +2,30 @@ include_directories(${PROJECT_SOURCE_DIR}/src) include_directories(${PROJECT_SOURCE_DIR}/src/include) include_directories(${CMAKE_BINARY_DIR}/src) -set(CVC4_EXAMPLES - simple_vc_cxx - simple_vc_quant_cxx - translator -) -set(CVC4_EXAMPLES_API - bitvectors - bitvectors-new - bitvectors_and_arrays - bitvectors_and_arrays-new - combination - combination-new - datatypes - datatypes-new - extract - extract-new - helloworld - helloworld-new - linear_arith - linear_arith-new - sets - sets-new - strings - strings-new -) -set(CVC4_EXAMPLES_HASHSMT - sha1_collision - sha1_inversion -) -set(CVC4_EXAMPLES_NRA_TRANSLATE - normalize - smt2info - smt2todreal - smt2toisat - smt2tomathematica - smt2toqepcad - smt2toredlog -) -set(CVC4_EXAMPLES_SETS_TRANSLATE - sets2arrays - sets2axioms -) +# Some of the examples require boost. Enable these examples if boost is +# installed. +find_package(Boost) -set(EXAMPLES_BIN_DIR ${CMAKE_BINARY_DIR}/bin/examples) +set(EXAMPLES_BIN_DIR ${CMAKE_BINARY_DIR}/bin/examples) + +# Create target examples. Add a dependency for each examples you add. +add_custom_target(examples) add_executable(simple_vc_cxx EXCLUDE_FROM_ALL simple_vc_cxx.cpp) target_link_libraries(simple_vc_cxx cvc4 cvc4parser) +add_dependencies(examples simple_vc_cxx) add_executable(simple_vc_quant_cxx EXCLUDE_FROM_ALL simple_vc_quant_cxx.cpp) target_link_libraries(simple_vc_quant_cxx cvc4 cvc4parser) +add_dependencies(examples simple_vc_quant_cxx) add_executable(translator EXCLUDE_FROM_ALL translator.cpp) target_link_libraries(translator cvc4 cvc4parser) +add_dependencies(examples translator) set_target_properties(simple_vc_cxx simple_vc_quant_cxx translator PROPERTIES RUNTIME_OUTPUT_DIRECTORY ${EXAMPLES_BIN_DIR}) -add_custom_target(examples - DEPENDS - ${CVC4_EXAMPLES} - ${CVC4_EXAMPLES_API} - ${CVC4_EXAMPLES_HASHSMT} - ${CVC4_EXAMPLES_NRA_TRANSLATE} - ${CVC4_EXAMPLES_SETS_TRANSLATE} -) - if(BUILD_BINDINGS_JAVA) find_package(Java REQUIRED) set(EXAMPLES_JAVA_CLASSPATH "${CMAKE_BINARY_DIR}/src/bindings/java/CVC4.jar") |