projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1c334d3) | patch
Fix some issues with the java api (#7583)
authorGereon Kremer <nafur42@gmail.com>
Fri, 5 Nov 2021 18:53:54 +0000 (11:53 -0700)
committerGitHub <noreply@github.com>
Fri, 5 Nov 2021 18:53:54 +0000 (18:53 +0000)
commit51c3b3d6bb992550476220dd44a57a3e7987dce0
tree57a863c8274cd274f2a9a9eed33889e272541e07tree
parent1c334d32645c8f8930c50fee441f081051e2aadacommit | diff
Fix some issues with the java api (#7583)

This PR fixes two issues with the java api:
- the JNI_HEADERS variable was set to a non-existent file, which caused the generate-jni-headers target to always rebuilt.
- the directory structure was unnecessarily nested (probably because we use CMAKE_CURRENT_BINARY_DIR instead of CMAKE_BINARY_DIR).
src/api/java/CMakeLists.txt diff | blob | history