diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-08-05 20:47:36 -0400 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2014-08-06 15:51:00 -0400 |
commit | 35e40fdadd220663259bdb4f1a9ddcf043b7294b (patch) | |
tree | de51c88099e16907c7c87a2dd518a7522a31bc5a /src/bindings/compat | |
parent | c0693d3718cd40fc40ae109a7a46e6a5a6b1987e (diff) |
First crack at fixing double-linking issues in build system.
Diffstat (limited to 'src/bindings/compat')
-rw-r--r-- | src/bindings/compat/c/Makefile.am | 4 | ||||
-rw-r--r-- | src/bindings/compat/java/Makefile.am | 4 |
2 files changed, 4 insertions, 4 deletions
diff --git a/src/bindings/compat/c/Makefile.am b/src/bindings/compat/c/Makefile.am index 5a788f2bf..4ec4626c6 100644 --- a/src/bindings/compat/c/Makefile.am +++ b/src/bindings/compat/c/Makefile.am @@ -25,8 +25,8 @@ lib_LTLIBRARIES += libcvc4bindings_c_compat.la libcvc4bindings_c_compat_la_LDFLAGS = \ -version-info $(LIBCVC4BINDINGS_VERSION) libcvc4bindings_c_compat_la_LIBADD = \ - -L@builddir@/../../../compat -lcvc4compat \ - -L@builddir@/../../.. -lcvc4 + @builddir@/../../../compat/libcvc4compat.la \ + @builddir@/../../../libcvc4.la endif diff --git a/src/bindings/compat/java/Makefile.am b/src/bindings/compat/java/Makefile.am index 9eb985822..5b052568d 100644 --- a/src/bindings/compat/java/Makefile.am +++ b/src/bindings/compat/java/Makefile.am @@ -33,8 +33,8 @@ libcvc4compatjni_la_LDFLAGS = \ -shrext $(CVC4_JAVA_MODULE_EXT) \ -version-info $(LIBCVC4BINDINGS_VERSION) libcvc4compatjni_la_LIBADD = \ - -L@builddir@/../../../compat -lcvc4compat \ - -L@builddir@/../../.. -lcvc4 + @builddir@/../../../compat/libcvc4compat.la \ + @builddir@/../../../libcvc4.la BUILT_SOURCES += $(JNI_CPP_FILES) endif |