diff options
author | Mathias Preiner <mathias.preiner@gmail.com> | 2021-11-05 11:54:18 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-11-05 11:54:18 -0700 |
commit | 2223d830e299eee490165998d779cd1dcfb7b2df (patch) | |
tree | 0ec51d926687736c338f73da8e8ca6d910776df9 /src/api/java/CMakeLists.txt | |
parent | c01f386e85e7ae8628c42284872177d3c3687088 (diff) | |
parent | 51c3b3d6bb992550476220dd44a57a3e7987dce0 (diff) |
Merge branch 'master' into issue7569issue7569
Diffstat (limited to 'src/api/java/CMakeLists.txt')
-rw-r--r-- | src/api/java/CMakeLists.txt | 12 |
1 files changed, 5 insertions, 7 deletions
diff --git a/src/api/java/CMakeLists.txt b/src/api/java/CMakeLists.txt index ad4183f25..754e20bf8 100644 --- a/src/api/java/CMakeLists.txt +++ b/src/api/java/CMakeLists.txt @@ -14,15 +14,15 @@ ## # create directories -file(MAKE_DIRECTORY "${CMAKE_CURRENT_BINARY_DIR}/src/api/java/io/github/cvc5/api") -set(JNI_DIR "${CMAKE_CURRENT_BINARY_DIR}/src/api/java/jni") +file(MAKE_DIRECTORY "${CMAKE_CURRENT_BINARY_DIR}/io/github/cvc5/api") +set(JNI_DIR "${CMAKE_CURRENT_BINARY_DIR}/jni") file(MAKE_DIRECTORY ${JNI_DIR}) # Generate Kind.java configure_file(genkinds.py.in genkinds.py) set(JAVA_KIND_FILE - "${CMAKE_CURRENT_BINARY_DIR}/src/api/java/io/github/cvc5/api/Kind.java" + "${CMAKE_CURRENT_BINARY_DIR}/io/github/cvc5/api/Kind.java" ) add_custom_command( @@ -34,7 +34,7 @@ add_custom_command( "${PYTHON_EXECUTABLE}" "${CMAKE_CURRENT_BINARY_DIR}/genkinds.py" --kinds-header "${PROJECT_SOURCE_DIR}/src/api/cpp/cvc5_kind.h" - --kinds-file-prefix "${CMAKE_CURRENT_BINARY_DIR}/src/api/java/io/github/cvc5/api/Kind" + --kinds-file-prefix "${CMAKE_CURRENT_BINARY_DIR}/io/github/cvc5/api/Kind" DEPENDS "${CMAKE_CURRENT_BINARY_DIR}/genkinds.py" "${PROJECT_SOURCE_DIR}/src/api/cpp/cvc5_kind.h" @@ -76,15 +76,13 @@ set(JAVA_FILES # specify generated jni headers set(JNI_HEADERS - ${JNI_DIR}/cvc5_Solver.h + ${JNI_DIR}/io_github_cvc5_api_Solver.h ) # generate jni headers add_custom_command( OUTPUT ${JNI_HEADERS} - BYPRODUCTS - ${JNI_HEADERS} COMMAND # generate jni header files ${Java_JAVAC_EXECUTABLE} -h ${JNI_DIR} ${JAVA_FILES} -d ${JNI_DIR} |