mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-12 12:08:18 +00:00
Code Activity

[CMake] Change default install location for `com.microsoft.z3.jar`.

Browse source 
It seems ``.jar`` files are typically installed into
``/usr/share/java``.
This commit is contained in:
Dan Liew 2016-04-18 11:28:23 +01:00
parent 48550732bf
commit 8f69728703
1 changed files with 4 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -214,14 +214,15 @@ add_jar(z3JavaJar
option(INSTALL_JAVA_BINDINGS "Install Java bindings when invoking install target" ON) option(INSTALL_JAVA_BINDINGS "Install Java bindings when invoking install target" ON)
if (INSTALL_JAVA_BINDINGS) if (INSTALL_JAVA_BINDINGS)
# Provide cache variables for the install locations that the user can change. # Provide cache variables for the install locations that the user can change.
# FIXME: I don't think these defaults install locations conform to the Debian # This defaults to ``/usr/local/java`` which seems to be the location for ``.jar``
# packaging guidelines or any packaging guidelines for that matter... # files on Linux distributions
set(Z3_JAVA_JAR_INSTALLDIR set(Z3_JAVA_JAR_INSTALLDIR
"${CMAKE_INSTALL_LIBDIR}" "${CMAKE_INSTALL_DATAROOTDIR}/java"
CACHE CACHE
PATH PATH
"Directory to install Z3 Java jar file relative to install prefix" "Directory to install Z3 Java jar file relative to install prefix"
) )
# FIXME: I don't think this the right installation location
set(Z3_JAVA_JNI_LIB_INSTALLDIR set(Z3_JAVA_JNI_LIB_INSTALLDIR
"${CMAKE_INSTALL_LIBDIR}" "${CMAKE_INSTALL_LIBDIR}"
CACHE CACHE