diff options
| author | Morgan Deters <mdeters@gmail.com> | 2011-10-31 19:32:55 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2011-10-31 19:32:55 +0000 |
| commit | 5a58d660b78c7dee35b0cbd1063a89dc4e73d226 (patch) | |
| tree | d30836b752aeb217bf8e752cf8d780d8aa032ba9 /src/bindings | |
| parent | 64143d6aa74c9a9140b11fa021c254910bf495a0 (diff) | |
fix to "make install"
Diffstat (limited to 'src/bindings')
| -rw-r--r-- | src/bindings/Makefile.am | 5 | ||||
| -rw-r--r-- | src/bindings/compat/java/Makefile.am | 5 |
2 files changed, 6 insertions, 4 deletions
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 = \ |