From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Tue, 3 Jun 2014 23:59:32 +0000 (-0400)
Subject: Another check when making SMT-COMP submission zipfiles.
X-Git-Tag: cvc5-1.0.0~6864
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=c3e6b4f3b0e495b81a0ea6c0665984fc925f7395;p=cvc5.git

Another check when making SMT-COMP submission zipfiles.
---

diff --git a/Makefile b/Makefile
index 517d2a881..8e8a19952 100644
--- 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)