From 2ad8e376c43eded3c9da313d372689514abe63e1 Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@gmail.com>
Date: Mon, 8 Oct 2012 19:31:01 +0000
Subject: [PATCH] small fix for compat JNI library installation

---
 src/bindings/compat/java/Makefile.am | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

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 \
-- 
2.30.2