mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-27 02:45:51 +00:00
Code Activity

[CMake] Fix installation location of `com.microsoft.z3.jar` when

Browse source 
using CMake 2.8.12.2. It seems ``install_jar()`` in the version of
``UseJava.cmake`` shipped with that version of CMake doesn't handle
the ``DESTINATION`` argument correctly and treats that as the
installation location so CMake would install to
``/usr/local/DESTINATION`` rather than ``/usr/locale/share``.
This commit is contained in:
Dan Liew 2016-04-18 12:07:18 +01:00
parent a1e8311844
commit a56a53e72d
1 changed files with 3 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

4
contrib/cmake/src/api/java/CMakeLists.txt
View file

@ -232,5 +232,7 @@ if (INSTALL_JAVA_BINDINGS)
install(TARGETS z3java
LIBRARY DESTINATION "${Z3_JAVA_JNI_LIB_INSTALLDIR}"
)
install_jar(z3JavaJar DESTINATION "${Z3_JAVA_JAR_INSTALLDIR}")
# Note: Don't use ``DESTINATION`` here as the version of ``UseJava.cmake`` shipped
# with CMake 2.8.12.2 handles that incorrectly.
install_jar(z3JavaJar "${Z3_JAVA_JAR_INSTALLDIR}")
endif()