summaryrefslogtreecommitdiff
path: root/src/bindings
diff options
context:
space:
mode:
Diffstat (limited to 'src/bindings')
-rw-r--r--src/bindings/compat/c/Makefile.am3
-rw-r--r--src/bindings/compat/java/Makefile.am5
2 files changed, 4 insertions, 4 deletions
diff --git a/src/bindings/compat/c/Makefile.am b/src/bindings/compat/c/Makefile.am
index 3d9966d41..5a788f2bf 100644
--- a/src/bindings/compat/c/Makefile.am
+++ b/src/bindings/compat/c/Makefile.am
@@ -25,7 +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@/../../../compat -lcvc4compat \
+ -L@builddir@/../../.. -lcvc4
endif
diff --git a/src/bindings/compat/java/Makefile.am b/src/bindings/compat/java/Makefile.am
index 53e0cc3cd..5e2911af0 100644
--- a/src/bindings/compat/java/Makefile.am
+++ b/src/bindings/compat/java/Makefile.am
@@ -33,9 +33,8 @@ libcvc4compatjni_la_LDFLAGS = \
-shrext $(CVC4_JAVA_MODULE_EXT) \
-version-info $(LIBCVC4BINDINGS_VERSION)
libcvc4compatjni_la_LIBADD = \
- -L@builddir@/../../.. -lcvc4 \
- -L@builddir@/../../../parser -lcvc4parser \
- -L@builddir@/../../../compat -lcvc4compat
+ -L@builddir@/../../../compat -lcvc4compat \
+ -L@builddir@/../../.. -lcvc4
BUILT_SOURCES += $(JNI_CPP_FILES)
endif
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback