[Unit tests] Fix path of Java bindings (#6616)
authorAndres Noetzli <andres.noetzli@gmail.com>
Tue, 25 May 2021 03:21:16 +0000 (20:21 -0700)
committerGitHub <noreply@github.com>
Tue, 25 May 2021 03:21:16 +0000 (03:21 +0000)
commit8e1eac35d265eacfbeb5f16be61e5d4caf45d1af
tree0cb4f15e26695cddc18a7de327d015e771fe1323
parent8b68ade92a8687c85a595b116da2da9ca03af5ed
[Unit tests] Fix path of Java bindings (#6616)

Currently, when configuring cvc5 with Java bindings, CMake complains
about `get_filename_component(CVC5_JNI_PATH ${CVC5_JAR_PATH} DIRECTORY)`
not using the correct number of arguments in the Java unit tests. The
issue is that `${CVC5_JAR_PATH}` is empty. The value of
`${CVC5_JAR_PATH}` was computed in the Java API bindings but then not
shared with the rest of the build system. Because `${CVC5_JAR_PATH}` is
not used anywhere else, this commit moves the computation of
`${CVC5_JAR_PATH}` to the unit tests. The commit also ensures that the
API subdirectories are processed before the test subdirectories.
CMakeLists.txt
src/api/java/CMakeLists.txt
test/unit/api/java/CMakeLists.txt