From c6965d5cb2f8868a8a05c9b0fef5833e065e9378 Mon Sep 17 00:00:00 2001 From: Dan Liew Date: Mon, 18 Apr 2016 14:07:09 +0100 Subject: [PATCH] [CMake] Try to fix the Windows build when building the Java bindings. On Windows the ``z3java`` target is not a ``LIBRARY`` target so just drop the ``LIBRARY`` keyword here. --- contrib/cmake/src/api/java/CMakeLists.txt | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/contrib/cmake/src/api/java/CMakeLists.txt b/contrib/cmake/src/api/java/CMakeLists.txt index 49d4a8841..6e16ddb74 100644 --- a/contrib/cmake/src/api/java/CMakeLists.txt +++ b/contrib/cmake/src/api/java/CMakeLists.txt @@ -229,9 +229,7 @@ if (INSTALL_JAVA_BINDINGS) PATH "Directory to install Z3 Java JNI bridge library relative to install prefix" ) - install(TARGETS z3java - LIBRARY DESTINATION "${Z3_JAVA_JNI_LIB_INSTALLDIR}" - ) + install(TARGETS z3java DESTINATION "${Z3_JAVA_JNI_LIB_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}")