From: Morgan Deters <mdeters@gmail.com>
Date: Sat, 26 Nov 2011 23:54:48 +0000 (+0000)
Subject: Fix Java JNI installation path
X-Git-Tag: cvc5-1.0.0~8375
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=8b202bab8442c927e9ac18a35c71a82444acf63b;p=cvc5.git

Fix Java JNI installation path
---

diff --git a/src/bindings/Makefile.am b/src/bindings/Makefile.am
index 5d372ce7d..b4e45c592 100644
--- 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