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] Add version to `com.microsoft.z3.jar`. On Linux systems

Browse source 
the ``.jar`` file is created as ``com.microsoft.z3-4.4.2.0.jar``
and a symlink named ``com.microsoft.z3.jar`` is created which points
to it in the build and install directory.
This commit is contained in:
Dan Liew 2016-04-18 11:31:09 +01:00
parent 8f69728703
commit a1e8311844
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -200,12 +200,12 @@ add_custom_target(build_z3_java_bindings
) )
# Rule to build ``com.microsoft.z3.jar`` # Rule to build ``com.microsoft.z3.jar``
# TODO: Add version
# TODO: Should we set ``CMAKE_JNI_TARGET`` to ``TRUE``? # TODO: Should we set ``CMAKE_JNI_TARGET`` to ``TRUE``?
add_jar(z3JavaJar add_jar(z3JavaJar
SOURCES ${Z3_JAVA_JAR_SOURCE_FILES_FULL_PATH} SOURCES ${Z3_JAVA_JAR_SOURCE_FILES_FULL_PATH}
OUTPUT_NAME ${Z3_JAVA_PACKAGE_NAME} OUTPUT_NAME ${Z3_JAVA_PACKAGE_NAME}
OUTPUT_DIR "${CMAKE_BINARY_DIR}" OUTPUT_DIR "${CMAKE_BINARY_DIR}"
VERSION "${Z3_VERSION}"
) )
############################################################################### ###############################################################################