projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: ef83f67)
small fix for compat JNI library installation
authorMorgan Deters <mdeters@gmail.com>
Mon, 8 Oct 2012 19:31:01 +0000 (19:31 +0000)
committerMorgan Deters <mdeters@gmail.com>
Mon, 8 Oct 2012 19:31:01 +0000 (19:31 +0000)
src/bindings/compat/java/Makefile.am patch | blob | history

diff --git a/src/bindings/compat/java/Makefile.am b/src/bindings/compat/java/Makefile.am
index f0808334b6c8f8cee09b3e27283819e406cf177e..3794775b772b7012cb4d9d471b7d3c3bfd464b59 100644 (file)
--- a/src/bindings/compat/java/Makefile.am
+++ b/src/bindings/compat/java/Makefile.am
@@ -19,15 +19,17 @@ AM_CPPFLAGS = \
 AM_CXXFLAGS = -Wall
 
 javadatadir = $(datadir)/java
-lib_LTLIBRARIES =
+javalibdir = $(libdir)/jni
 javadata_DATA =
+javalib_LTLIBRARIES=
 BUILT_SOURCES =
 
 if CVC4_LANGUAGE_BINDING_JAVA
 
-lib_LTLIBRARIES += libcvc4compatjni.la
+javalib_LTLIBRARIES += libcvc4compatjni.la
 javadata_DATA += CVC4compat.jar
 libcvc4compatjni_la_LDFLAGS = \
+       -module \
        -version-info $(LIBCVC4BINDINGS_VERSION)
 libcvc4compatjni_la_LIBADD = \
        -L@builddir@/../../.. -lcvc4 \