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 | |
parent | 565ed50072d7bf5d12ae4d93571b41e25c93fc28 (diff) |
cmake: Added java examples
Diffstat (limited to 'examples')
-rw-r--r-- | examples/CMakeLists.txt | 24 | ||||
-rw-r--r-- | examples/api/java/CMakeLists.txt | 76 |
2 files changed, 95 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) + diff --git a/examples/api/java/CMakeLists.txt b/examples/api/java/CMakeLists.txt index e69de29bb..049d390bd 100644 --- a/examples/api/java/CMakeLists.txt +++ b/examples/api/java/CMakeLists.txt @@ -0,0 +1,76 @@ +set(EXAMPLES_API_JAVA_BIN_DIR ${CMAKE_BINARY_DIR}/bin/examples/api/java) +file(MAKE_DIRECTORY ${EXAMPLES_API_JAVA_BIN_DIR}) + +add_custom_target(BitVectorsjava + COMMAND + ${Java_JAVAC_EXECUTABLE} + -cp ${EXAMPLES_JAVA_CLASSPATH} ${CMAKE_CURRENT_SOURCE_DIR}/BitVectors.java + -d ${EXAMPLES_API_JAVA_BIN_DIR} + DEPENDS cvc4jar) +add_dependencies(examples BitVectorsjava) + +add_custom_target(BitVectorsAndArraysjava + COMMAND + ${Java_JAVAC_EXECUTABLE} + -cp ${EXAMPLES_JAVA_CLASSPATH} ${CMAKE_CURRENT_SOURCE_DIR}/BitVectorsAndArrays.java + -d ${EXAMPLES_API_JAVA_BIN_DIR} + DEPENDS cvc4jar) +add_dependencies(examples BitVectorsAndArraysjava) + +## disabled until bindings for the new API are in place (issue #2284) +# add_custom_target(CVC4Streamsjava +# COMMAND +# ${Java_JAVAC_EXECUTABLE} +# -cp ${EXAMPLES_JAVA_CLASSPATH} ${CMAKE_CURRENT_SOURCE_DIR}/CVC4Streams.java +# -d ${CMAKE_BINARY_DIR}/bin/examples/api/java +# DEPENDS cvc4jar) +# add_dependencies(examples CVC4Streamsjava) + +add_custom_target(Combinationjava + COMMAND + ${Java_JAVAC_EXECUTABLE} + -cp ${EXAMPLES_JAVA_CLASSPATH} ${CMAKE_CURRENT_SOURCE_DIR}/Combination.java + -d ${EXAMPLES_API_JAVA_BIN_DIR} + DEPENDS cvc4jar) +add_dependencies(examples Combinationjava) + +add_custom_target(Datatypesjava + COMMAND + ${Java_JAVAC_EXECUTABLE} + -cp ${EXAMPLES_JAVA_CLASSPATH} ${CMAKE_CURRENT_SOURCE_DIR}/Datatypes.java + -d ${EXAMPLES_API_JAVA_BIN_DIR} + DEPENDS cvc4jar) +add_dependencies(examples Datatypesjava) + +add_custom_target(HelloWorldjava + COMMAND + ${Java_JAVAC_EXECUTABLE} + -cp ${EXAMPLES_JAVA_CLASSPATH} ${CMAKE_CURRENT_SOURCE_DIR}/HelloWorld.java + -d ${EXAMPLES_API_JAVA_BIN_DIR} + DEPENDS cvc4jar) +add_dependencies(examples HelloWorldjava) + +add_custom_target(LinearArithjava + COMMAND + ${Java_JAVAC_EXECUTABLE} + -cp ${EXAMPLES_JAVA_CLASSPATH} ${CMAKE_CURRENT_SOURCE_DIR}/LinearArith.java + -d ${EXAMPLES_API_JAVA_BIN_DIR} + DEPENDS cvc4jar) +add_dependencies(examples LinearArithjava) + +## disabled until bindings for the new API are in place (issue #2284) +# add_custom_target(PipedInputjava +# COMMAND +# ${Java_JAVAC_EXECUTABLE} +# -cp ${EXAMPLES_JAVA_CLASSPATH} ${CMAKE_CURRENT_SOURCE_DIR}/PipedInput.java +# -d ${EXAMPLES_API_JAVA_BIN_DIR} +# DEPENDS cvc4jar) +# add_dependencies(examples PipedInputjava) + +add_custom_target(Stringsjava + COMMAND + ${Java_JAVAC_EXECUTABLE} + -cp ${EXAMPLES_JAVA_CLASSPATH} ${CMAKE_CURRENT_SOURCE_DIR}/Strings.java + -d ${EXAMPLES_API_JAVA_BIN_DIR} + DEPENDS cvc4jar) +add_dependencies(examples Stringsjava) |