1 files changed, 1 insertions, 1 deletions
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