competition submission should be fully static

diff --git a/Makefile b/Makefile
index fc92ecc37cb13b229d8fa417cd20074e48877522..a9d266d5a863f165687754b33aeaa4e9b142a1b8 100644 (file)
--- 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