for static linking of driver binary, list libmain.a first (fixes link errors in last...

diff --git a/src/main/Makefile.am b/src/main/Makefile.am
index 52a6593220bb1b5ef3220ef0aba8374c196e7113..764d5e062218f175b0bcf9a1fee53abf30fc392e 100644 (file)
--- a/src/main/Makefile.am
+++ b/src/main/Makefile.am
@@ -16,10 +16,10 @@ libmain_a_SOURCES = \
 
 cvc4_SOURCES =
 cvc4_LDADD = \
+       libmain.a \
        ../parser/libcvc4parser.la \
        ../libcvc4.la \
-       ../lib/libreplacements.la \
-       libmain.a
+       ../lib/libreplacements.la
 
 if STATIC_BINARY
 cvc4_LINK = $(CXXLINK) -all-static