From 9d2d37a02675275fa15407088358a1644b506d83 Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@gmail.com>
Date: Wed, 7 Jul 2010 00:36:20 +0000
Subject: [PATCH] competition submission should be fully static

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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
-- 
2.30.2