From 9e081f8915830d2b1ed3666cd851fce4ef458dd9 Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Mon, 11 Jul 2011 20:00:47 +0000 Subject: submission script --- Makefile | 16 +++++++++------- 1 file changed, 9 insertions(+), 7 deletions(-) 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) -- cgit v1.2.3