diff options
| author | Aina Niemetz <aina.niemetz@gmail.com> | 2018-09-18 17:57:56 -0700 |
|---|---|---|
| committer | Mathias Preiner <mathias.preiner@gmail.com> | 2018-09-22 16:30:59 -0700 |
| commit | d78113d408d706d44c1d8cfc379fa86cd8e20460 (patch) | |
| tree | f56be50b213272c6d14516df475ed5fcb2fd6b57 /examples/api/CMakeLists.txt | |
| parent | ed8d326cbdec820d347d8b4b5ee7b23c3367d169 (diff) | |
cmake: Add target runexamples.
Diffstat (limited to 'examples/api/CMakeLists.txt')
| -rw-r--r-- | examples/api/CMakeLists.txt | 10 |
1 files changed, 3 insertions, 7 deletions
diff --git a/examples/api/CMakeLists.txt b/examples/api/CMakeLists.txt index 4e4d81ed3..c78c50466 100644 --- a/examples/api/CMakeLists.txt +++ b/examples/api/CMakeLists.txt @@ -1,5 +1,3 @@ -set(EXAMPLES_API_BIN_DIR ${EXAMPLES_BIN_DIR}/api) - set(CVC4_EXAMPLES_API bitvectors bitvectors-new @@ -21,12 +19,10 @@ set(CVC4_EXAMPLES_API strings-new ) +set(EXAMPLES_API_LINK_LIBS cvc4 cvc4parser) foreach(example ${CVC4_EXAMPLES_API}) - add_executable(${example} EXCLUDE_FROM_ALL ${example}.cpp) - target_link_libraries(${example} cvc4) - set_target_properties(${example} - PROPERTIES RUNTIME_OUTPUT_DIRECTORY ${EXAMPLES_API_BIN_DIR}) - add_dependencies(examples ${example}) + cvc4_add_example(${example} + "" "${EXAMPLES_API_LINK_LIBS}" "api") endforeach() if(BUILD_BINDINGS_JAVA) |