diff options
author | Aina Niemetz <aina.niemetz@gmail.com> | 2018-09-14 11:24:15 -0700 |
---|---|---|
committer | Mathias Preiner <mathias.preiner@gmail.com> | 2018-09-22 16:30:59 -0700 |
commit | d4728dcea759504cba5c5d74ee256eecc64c712b (patch) | |
tree | a5595e8d823a074373e2433d5a468ef9e2024376 /examples/CMakeLists.txt | |
parent | 565ed50072d7bf5d12ae4d93571b41e25c93fc28 (diff) |
cmake: Added java examples
Diffstat (limited to 'examples/CMakeLists.txt')
-rw-r--r-- | examples/CMakeLists.txt | 24 |
1 files changed, 19 insertions, 5 deletions
diff --git a/examples/CMakeLists.txt b/examples/CMakeLists.txt index a3f4f5e30..be278f2ab 100644 --- a/examples/CMakeLists.txt +++ b/examples/CMakeLists.txt @@ -1,3 +1,5 @@ +set(CMAKE_RUNTIME_OUTPUT_DIRECTORY ${CMAKE_BINARY_DIR}/bin/examples) + include_directories(${PROJECT_SOURCE_DIR}/src) include_directories(${PROJECT_SOURCE_DIR}/src/include) include_directories(${CMAKE_BINARY_DIR}/src) @@ -45,11 +47,6 @@ set(CVC4_EXAMPLES_SETS_TRANSLATE sets2axioms ) -add_subdirectory(api) -add_subdirectory(hashsmt) -add_subdirectory(nra-translate) -add_subdirectory(sets-translate) - add_executable(simple_vc_cxx EXCLUDE_FROM_ALL simple_vc_cxx.cpp) target_link_libraries(simple_vc_cxx cvc4 cvc4parser) @@ -68,3 +65,20 @@ add_custom_target(examples ${CVC4_EXAMPLES_SETS_TRANSLATE} ) +if(BUILD_BINDINGS_JAVA) + find_package(Java REQUIRED) + set(EXAMPLES_JAVA_CLASSPATH "${CMAKE_BINARY_DIR}/src/bindings/java/CVC4.jar") + add_custom_target(SimpleVCjava + COMMAND + ${Java_JAVAC_EXECUTABLE} + -cp ${EXAMPLES_JAVA_CLASSPATH} ${CMAKE_CURRENT_SOURCE_DIR}/SimpleVC.java + -d ${CMAKE_BINARY_DIR}/bin/examples + DEPENDS cvc4jar) + add_dependencies(examples SimpleVCjava) +endif() + +add_subdirectory(api) +add_subdirectory(hashsmt) +add_subdirectory(nra-translate) +add_subdirectory(sets-translate) + |