diff options
author | Morgan Deters <mdeters@gmail.com> | 2011-07-11 20:00:47 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2011-07-11 20:00:47 +0000 |
commit | 9e081f8915830d2b1ed3666cd851fce4ef458dd9 (patch) | |
tree | ea2b161bac945b70a825312bba12ede8d238668a /Makefile | |
parent | d5a9c8b28a0bda8ca340848aaa9fa95d17ef0df2 (diff) |
submission script
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 16 |
1 files changed, 9 insertions, 7 deletions
@@ -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) |