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/api/java | |
| parent | 565ed50072d7bf5d12ae4d93571b41e25c93fc28 (diff) | |
cmake: Added java examples
Diffstat (limited to 'examples/api/java')
| -rw-r--r-- | examples/api/java/CMakeLists.txt | 76 |
1 files changed, 76 insertions, 0 deletions
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) |