From: Morgan Deters <mdeters@gmail.com>
Date: Mon, 25 Oct 2010 15:42:56 +0000 (+0000)
Subject: for static linking of driver binary, list libmain.a first (fixes link errors in last... 
X-Git-Tag: cvc5-1.0.0~8779
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=9400454b997b381c7683205fef94325ed673c1f6;p=cvc5.git

for static linking of driver binary, list libmain.a first (fixes link errors in last night's regressions)
---

diff --git a/src/main/Makefile.am b/src/main/Makefile.am
index 52a659322..764d5e062 100644
--- 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