From: Morgan Deters <mdeters@gmail.com>
Date: Wed, 7 Jul 2010 00:36:20 +0000 (+0000)
Subject: competition submission should be fully static
X-Git-Tag: cvc5-1.0.0~8929
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=9d2d37a02675275fa15407088358a1644b506d83;p=cvc5.git

competition submission should be fully static
---

diff --git a/Makefile b/Makefile
index fc92ecc37..a9d266d5a 100644
--- a/Makefile
+++ b/Makefile
@@ -20,7 +20,7 @@ regress test: check
 
 submission:
 	if [ ! -e configure ]; then ./autogen.sh; fi
-	./configure competition
+	./configure competition --disable-shared --enable-static-binary
 	$(MAKE)
 	mkdir -p cvc4-smtcomp-2010
 	cp -p $(top_builddir)/bin/cvc4 cvc4-smtcomp-2010/run