diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-06-03 19:59:32 -0400 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2014-06-03 19:59:32 -0400 |
commit | c3e6b4f3b0e495b81a0ea6c0665984fc925f7395 (patch) | |
tree | 0bad6208ccd9b65705f59d9d47f68f800ddb7dd8 /Makefile | |
parent | 27e7c4c2a05fbaf5b2bf8fbcd495139fc725190d (diff) |
Another check when making SMT-COMP submission zipfiles.
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 18 |
1 files changed, 18 insertions, 0 deletions
@@ -47,6 +47,12 @@ submission submission-main: echo 'ERROR:' >&2; \ exit 1; \ fi + @if test -d cvc4-smtcomp-$(YEAR) || test -e cvc4-smtcomp-$(YEAR).zip; then \ + echo 'ERROR:' >&2; \ + echo 'ERROR: Please remove cvc4-smtcomp-$(YEAR) and cvc4-smtcomp-$(YEAR).zip first.' >&2; \ + echo 'ERROR:' >&2; \ + exit 1; \ + fi ./autogen.sh ./configure competition --disable-shared --enable-static-binary --with-cln --with-glpk --enable-gpl $(MAKE) @@ -68,6 +74,12 @@ submission-application: echo 'ERROR:' >&2; \ exit 1; \ fi + @if test -d cvc4-application-smtcomp-$(YEAR) || test -e cvc4-application-smtcomp-$(YEAR).zip; then \ + echo 'ERROR:' >&2; \ + echo 'ERROR: Please remove cvc4-application-smtcomp-$(YEAR) and cvc4-application-smtcomp-$(YEAR).zip first.' >&2; \ + echo 'ERROR:' >&2; \ + exit 1; \ + fi ./autogen.sh ./configure competition --disable-shared --enable-static-binary --with-cln --with-glpk --enable-gpl CXXFLAGS=-DCVC4_SMTCOMP_APPLICATION_TRACK CFLAGS=-DCVC4_SMTCOMP_APPLICATION_TRACK $(MAKE) @@ -89,6 +101,12 @@ submission-parallel: echo 'ERROR:' >&2; \ exit 1; \ fi + @if test -d cvc4-parallel-smtcomp-$(YEAR) || test -e cvc4-parallel-smtcomp-$(YEAR).zip; then \ + echo 'ERROR:' >&2; \ + echo 'ERROR: Please remove cvc4-parallel-smtcomp-$(YEAR) and cvc4-parallel-smtcomp-$(YEAR).zip first.' >&2; \ + echo 'ERROR:' >&2; \ + exit 1; \ + fi ./autogen.sh ./configure competition --disable-shared --enable-static-binary --with-gmp --with-portfolio --with-glpk --enable-gpl $(MAKE) |