From e070c4a6d716407916c65a66ea9f019d1681ae8e Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Mon, 29 Apr 2013 18:03:28 -0400
Subject: Some fixes for GCC 4.2, and for Java on Mac

---
 src/bindings/Makefile.am | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/bindings')

diff --git a/src/bindings/Makefile.am b/src/bindings/Makefile.am
index dcc4bc858..cc2a7c53f 100644
--- a/src/bindings/Makefile.am
+++ b/src/bindings/Makefile.am
@@ -60,6 +60,7 @@ javalib_LTLIBRARIES += java/libcvc4jni.la
 javadata_DATA += CVC4.jar
 java_libcvc4jni_la_LDFLAGS = \
 	-module \
+	-shrext $(CVC4_JAVA_MODULE_EXT) \
 	-version-info $(LIBCVC4BINDINGS_VERSION)
 java_libcvc4jni_la_LIBADD = \
 	-L@builddir@/.. -lcvc4 \
-- 
cgit v1.2.3