diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-06-21 17:28:01 -0400 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2014-06-21 19:13:05 -0400 |
commit | faa803ebfae243cf4739a3f2249c3f57b0e56a19 (patch) | |
tree | 8469c77b57c4685caf130cf13a87e008d2ea4054 /src | |
parent | 32c2090301d549efcb8a6ad7034b0553ed99b433 (diff) |
Adjust library dependencies to be more correct (fixes lintian warnings).
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 |