From: Morgan Deters 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