projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 28bb258)
Fix Java JNI installation path
authorMorgan Deters <mdeters@gmail.com>
Sat, 26 Nov 2011 23:54:48 +0000 (23:54 +0000)
committerMorgan Deters <mdeters@gmail.com>
Sat, 26 Nov 2011 23:54:48 +0000 (23:54 +0000)
src/bindings/Makefile.am patch | blob | history

diff --git a/src/bindings/Makefile.am b/src/bindings/Makefile.am
index 5d372ce7de7235ea77fb8f079ce554ae939ce562..b4e45c59281e0dea909a52982b2bbd48ad5c2c92 100644 (file)
--- a/src/bindings/Makefile.am
+++ b/src/bindings/Makefile.am
@@ -27,7 +27,7 @@ java_cpp_SWIGFLAGS = -package edu.nyu.acsys.CVC4
 lib_LTLIBRARIES =
 bin_PROGRAMS =
 javadatadir = $(datadir)/java
-javalibdir = $(datadir)/java
+javalibdir = $(libdir)/jni
 ocamldatadir = $(libdir)/ocaml/cvc4
 ocamllibdir = $(libdir)/ocaml/cvc4
 perldatadir = $(datadir)/perl5