fix to "make install"

diff --git a/src/bindings/Makefile.am b/src/bindings/Makefile.am
index e14527ede2cda3b56cbcab92bf048710a1a34088..53c29ff023dfa962b813dd24f9ce7845aafcc3e6 100644 (file)
--- 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 9fc25ed058a466c305aa68ebdd4c10283f60a8b4..e991274220d014dffabefb350d31d7ad545cc74d 100644 (file)
--- 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 = \