From: Morgan Deters <mdeters@gmail.com>
Date: Mon, 11 Jul 2011 20:00:47 +0000 (+0000)
Subject: submission script
X-Git-Tag: cvc5-1.0.0~8500
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=9e081f8915830d2b1ed3666cd851fce4ef458dd9;p=cvc5.git

submission script
---

diff --git a/Makefile b/Makefile
index 810c4b3c5..6f7356ad7 100644
--- a/Makefile
+++ b/Makefile
@@ -27,14 +27,16 @@ test: check
 .PHONY: doc
 doc: doc-builds
 
+YEAR := $(shell date +%Y)
 submission:
 	if [ ! -e configure ]; then ./autogen.sh; fi
-	./configure competition --disable-shared --enable-static-binary
+	./configure competition --disable-shared --enable-static-binary --with-cln
 	$(MAKE)
-	mkdir -p cvc4-smtcomp-2011
-	cp -p $(top_builddir)/bin/cvc4 cvc4-smtcomp-2011/cvc4
-	strip cvc4-smtcomp-2011/cvc4
+	strip builds/bin/cvc4
+	$(MAKE) regress1
+	mkdir -p cvc4-smtcomp-$(YEAR)
+	cp -p builds/bin/cvc4 cvc4-smtcomp-$(YEAR)/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
+	  echo 'exec ./cvc4 -L smt2 --no-interactive' ) > cvc4-smtcomp-$(YEAR)/run
+	chmod 755 cvc4-smtcomp-$(YEAR)/run
+	tar cf cvc4-smtcomp-$(YEAR).tar cvc4-smtcomp-$(YEAR)