From: Morgan Deters <mdeters@gmail.com>
Date: Sat, 9 Jul 2011 03:11:58 +0000 (+0000)
Subject: fix submission makefile
X-Git-Tag: cvc5-1.0.0~8517
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=dd7011ca35bf5a6bdfcbbdb3cd4657c8828fefae;p=cvc5.git

fix submission 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