diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-04-29 18:03:28 -0400 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-04-29 19:25:40 -0400 |
commit | e070c4a6d716407916c65a66ea9f019d1681ae8e (patch) | |
tree | 0bc25d1889866944515c8ccb504c0f2da0c95325 /src/bindings | |
parent | dde893d63a162346fc35663118f9d341524e578b (diff) |
Some fixes for GCC 4.2, and for Java on Mac
Diffstat (limited to 'src/bindings')
-rw-r--r-- | src/bindings/Makefile.am | 1 |
1 files changed, 1 insertions, 0 deletions
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 \ |