Another check when making SMT-COMP submission zipfiles.

diff --git a/Makefile b/Makefile
index 517d2a88152a55325e9601c157b1818fbe4dc219..8e8a19952818acbb026715e993fd30cd8f9ac200 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -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)