blob: 049d390bd73bd8c4803f81f5b5712d4e8895636e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
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)
|
