From a1e831184494da6b69bd95be022fe0518b2c632d Mon Sep 17 00:00:00 2001 From: Dan Liew Date: Mon, 18 Apr 2016 11:31:09 +0100 Subject: [PATCH] [CMake] Add version to ``com.microsoft.z3.jar``. On Linux systems 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. --- contrib/cmake/src/api/java/CMakeLists.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/contrib/cmake/src/api/java/CMakeLists.txt b/contrib/cmake/src/api/java/CMakeLists.txt index b0ac2bedb..3663422f0 100644 --- a/contrib/cmake/src/api/java/CMakeLists.txt +++ b/contrib/cmake/src/api/java/CMakeLists.txt @@ -200,12 +200,12 @@ add_custom_target(build_z3_java_bindings ) # Rule to build ``com.microsoft.z3.jar`` -# TODO: Add version # TODO: Should we set ``CMAKE_JNI_TARGET`` to ``TRUE``? add_jar(z3JavaJar SOURCES ${Z3_JAVA_JAR_SOURCE_FILES_FULL_PATH} OUTPUT_NAME ${Z3_JAVA_PACKAGE_NAME} OUTPUT_DIR "${CMAKE_BINARY_DIR}" + VERSION "${Z3_VERSION}" ) ###############################################################################