diff options
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) |