diff options
Diffstat (limited to 'src')
-rw-r--r-- | src/bindings/compat/c/Makefile.am | 3 | ||||
-rw-r--r-- | src/bindings/compat/java/Makefile.am | 5 |
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 |