From: Morgan Deters <mdeters@gmail.com>
Date: Mon, 8 Oct 2012 19:31:01 +0000 (+0000)
Subject: small fix for compat JNI library installation
X-Git-Tag: cvc5-1.0.0~7728
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=2ad8e376c43eded3c9da313d372689514abe63e1;p=cvc5.git

small fix for compat JNI library installation
---

diff --git a/src/bindings/compat/java/Makefile.am b/src/bindings/compat/java/Makefile.am
index f0808334b..3794775b7 100644
--- 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 \