First crack at fixing double-linking issues in build system.

diff --git a/src/bindings/Makefile.am b/src/bindings/Makefile.am
index 2214d9b88e93c30ceb34e008215b6a2945126bb6..e7548bbe143a835f1dc42c41e73f6c4ef6ccf62a 100644 (file)
--- a/src/bindings/Makefile.am
+++ b/src/bindings/Makefile.am
@@ -63,8 +63,8 @@ java_libcvc4jni_la_LDFLAGS = \
        -shrext $(CVC4_JAVA_MODULE_EXT) \
        -version-info $(LIBCVC4BINDINGS_VERSION)
 java_libcvc4jni_la_LIBADD = \
-       -L@builddir@/.. -lcvc4 \
-       -L@builddir@/../parser -lcvc4parser
+       @builddir@/../libcvc4.la \
+       @builddir@/../parser/libcvc4parser.la
 endif
 if CVC4_LANGUAGE_BINDING_CSHARP
 csharplib_LTLIBRARIES += csharp/CVC4.la
@@ -72,8 +72,8 @@ csharp_CVC4_la_LDFLAGS = \
        -module \
        -version-info $(LIBCVC4BINDINGS_VERSION)
 csharp_CVC4_la_LIBADD = \
-       -L@builddir@/.. -lcvc4 \
-       -L@builddir@/../parser -lcvc4parser
+       @builddir@/../libcvc4.la \
+       @builddir@/../parser/libcvc4parser.la
 endif
 if CVC4_LANGUAGE_BINDING_PERL
 perllib_LTLIBRARIES += perl/CVC4.la
@@ -81,8 +81,8 @@ perl_CVC4_la_LDFLAGS = \
        -module \
        -version-info $(LIBCVC4BINDINGS_VERSION)
 perl_CVC4_la_LIBADD = \
-       -L@builddir@/.. -lcvc4 \
-       -L@builddir@/../parser -lcvc4parser
+       @builddir@/../libcvc4.la \
+       @builddir@/../parser/libcvc4parser.la
 perldata_DATA += perl/CVC4.pm
 endif
 if CVC4_LANGUAGE_BINDING_PHP
@@ -91,8 +91,8 @@ php_CVC4_la_LDFLAGS = \
        -module \
        -version-info $(LIBCVC4BINDINGS_VERSION)
 php_CVC4_la_LIBADD = \
-       -L@builddir@/.. -lcvc4 \
-       -L@builddir@/../parser -lcvc4parser
+       @builddir@/../libcvc4.la \
+       @builddir@/../parser/libcvc4parser.la
 phpdata_DATA += php/CVC4.php
 endif
 if CVC4_LANGUAGE_BINDING_PYTHON
@@ -102,8 +102,8 @@ python_CVC4_la_LDFLAGS = \
        -module \
        -version-info $(LIBCVC4BINDINGS_VERSION)
 python_CVC4_la_LIBADD = \
-       -L@builddir@/.. -lcvc4 \
-       -L@builddir@/../parser -lcvc4parser
+       @builddir@/../libcvc4.la \
+       @builddir@/../parser/libcvc4parser.la
 pythondata_DATA += python/CVC4.py
 endif
 if CVC4_LANGUAGE_BINDING_OCAML
@@ -117,8 +117,8 @@ ocaml_CVC4_la_LDFLAGS = \
        -module \
        -version-info $(LIBCVC4BINDINGS_VERSION)
 ocaml_CVC4_la_LIBADD = \
-       -L@builddir@/.. -lcvc4 \
-       -L@builddir@/../parser -lcvc4parser
+       @builddir@/../libcvc4.la \
+       @builddir@/../parser/libcvc4parser.la
 endif
 if CVC4_LANGUAGE_BINDING_RUBY
 rubylib_LTLIBRARIES += ruby/CVC4.la
@@ -126,8 +126,8 @@ ruby_CVC4_la_LDFLAGS = \
        -module \
        -version-info $(LIBCVC4BINDINGS_VERSION)
 ruby_CVC4_la_LIBADD = \
-       -L@builddir@/.. -lcvc4 \
-       -L@builddir@/../parser -lcvc4parser
+       @builddir@/../libcvc4.la \
+       @builddir@/../parser/libcvc4parser.la
 endif
 if CVC4_LANGUAGE_BINDING_TCL
 tcllib_LTLIBRARIES += tcl/CVC4.la
@@ -135,8 +135,8 @@ tcl_CVC4_la_LDFLAGS = \
        -module \
        -version-info $(LIBCVC4BINDINGS_VERSION)
 tcl_CVC4_la_LIBADD = \
-       -L@builddir@/.. -lcvc4 \
-       -L@builddir@/../parser -lcvc4parser
+       @builddir@/../libcvc4.la \
+       @builddir@/../parser/libcvc4parser.la
 endif
 # this endif matches the "if CVC4_HAS_SWIG" above
 endif

diff --git a/src/bindings/compat/c/Makefile.am b/src/bindings/compat/c/Makefile.am
index 5a788f2bfa6a73183cebb5203c55b8e792202dc7..4ec4626c6bc4f5fa04e4b739c58abafefdcef32d 100644 (file)
--- 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 9eb985822b701f49430e2c611270a60de16cacef..5b052568d266e40d9e064081cc479d06d3f0fd09 100644 (file)
--- 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

diff --git a/src/compat/Makefile.am b/src/compat/Makefile.am
index 5a8bd454ebe0eba4926a4805ed24bfd0370b8ec1..ebb13426da21bfda5857944a673070dd1c7157c4 100644 (file)
--- a/src/compat/Makefile.am
+++ b/src/compat/Makefile.am
@@ -25,8 +25,8 @@ libcvc4compat_la_LDFLAGS = \
        -version-info $(LIBCVC4COMPAT_VERSION)
 
 libcvc4compat_la_LIBADD = \
-       -L@builddir@/.. -lcvc4 \
-       -L@builddir@/../parser -lcvc4parser
+       @builddir@/../libcvc4.la \
+       @builddir@/../parser/libcvc4parser.la
 
 if CVC4_NEEDS_REPLACEMENT_FUNCTIONS
 libcvc4compat_la_LIBADD += \

diff --git a/src/parser/Makefile.am b/src/parser/Makefile.am
index a178f8dd55b0800ec9fcf62cf758f1840f24a337..c8a8cc941f96bb9af4260770d6b43ad7a861d554 100644 (file)
--- a/src/parser/Makefile.am
+++ b/src/parser/Makefile.am
@@ -29,7 +29,7 @@ libcvc4parser_la_LIBADD = \
        @builddir@/smt2/libparsersmt2.la \
        @builddir@/tptp/libparsertptp.la \
        @builddir@/cvc/libparsercvc.la \
-       -L@builddir@/.. -lcvc4
+       @builddir@/../libcvc4.la
 
 if CVC4_NEEDS_REPLACEMENT_FUNCTIONS
 libcvc4parser_la_LIBADD += \