From: Morgan Deters <mdeters@gmail.com>
Date: Mon, 31 Oct 2011 19:32:55 +0000 (+0000)
Subject: fix to "make install"
X-Git-Tag: cvc5-1.0.0~8399
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=5a58d660b78c7dee35b0cbd1063a89dc4e73d226;p=cvc5.git

fix to "make install"
---

diff --git a/src/bindings/Makefile.am b/src/bindings/Makefile.am
index e14527ede..53c29ff02 100644
--- a/src/bindings/Makefile.am
+++ b/src/bindings/Makefile.am
@@ -19,11 +19,12 @@ AM_CXXFLAGS = -Wall
 
 SUBDIRS = . compat
 
+javadatadir = $(datadir)/java
 lib_LTLIBRARIES =
-data_DATA =
+javadata_DATA =
 if CVC4_LANGUAGE_BINDING_JAVA
 lib_LTLIBRARIES += libcvc4bindings_java.la
-data_DATA += cvc4.jar
+javadata_DATA += cvc4.jar
 libcvc4bindings_java_la_LDFLAGS = \
 	-version-info $(LIBCVC4BINDINGS_VERSION)
 libcvc4bindings_java_la_LIBADD = \
diff --git a/src/bindings/compat/java/Makefile.am b/src/bindings/compat/java/Makefile.am
index 9fc25ed05..e99127422 100644
--- a/src/bindings/compat/java/Makefile.am
+++ b/src/bindings/compat/java/Makefile.am
@@ -17,14 +17,15 @@ AM_CPPFLAGS = \
 	-I@srcdir@/../../../include -I@srcdir@/../../.. -I@builddir@/../../.. -I@builddir@/cvc3
 AM_CXXFLAGS = -Wall
 
+javadatadir = $(datadir)/java
 lib_LTLIBRARIES =
-data_DATA =
+javadata_DATA =
 BUILT_SOURCES =
 
 if CVC4_LANGUAGE_BINDING_JAVA
 
 lib_LTLIBRARIES += libcvc4bindings_java_compat.la
-data_DATA += cvc4compat.jar
+javadata_DATA += cvc4compat.jar
 libcvc4bindings_java_compat_la_LDFLAGS = \
 	-version-info $(LIBCVC4BINDINGS_VERSION)
 libcvc4bindings_java_compat_la_LIBADD = \