From 9400454b997b381c7683205fef94325ed673c1f6 Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Mon, 25 Oct 2010 15:42:56 +0000 Subject: [PATCH] for static linking of driver binary, list libmain.a first (fixes link errors in last night's regressions) --- src/main/Makefile.am | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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 -- 2.30.2