From dd7011ca35bf5a6bdfcbbdb3cd4657c8828fefae Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@gmail.com>
Date: Sat, 9 Jul 2011 03:11:58 +0000
Subject: fix submission makefile

---
 Makefile | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 8737dae1f..810c4b3c5 100644
--- a/Makefile
+++ b/Makefile
@@ -32,5 +32,9 @@ submission:
 	./configure competition --disable-shared --enable-static-binary
 	$(MAKE)
 	mkdir -p cvc4-smtcomp-2011
-	cp -p $(top_builddir)/bin/cvc4 cvc4-smtcomp-2011/run
-	tar cfz cvc4-smtcomp-2011.tgz cvc4-smtcomp-2011
+	cp -p $(top_builddir)/bin/cvc4 cvc4-smtcomp-2011/cvc4
+	strip cvc4-smtcomp-2011/cvc4
+	( echo '#!/bin/sh'; \
+	  echo 'exec ./cvc4 -L smt2 --no-interactive' ) > cvc4-smtcomp-2011/run
+	chmod 755 cvc4-smtcomp-2011/run
+	tar cf cvc4-smtcomp-2011.tar cvc4-smtcomp-2011
-- 
cgit v1.2.3