From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Sun, 15 Jun 2014 21:29:13 +0000 (-0400)
Subject: One last(?) fix for build script for smtcomp uploads.
X-Git-Tag: cvc5-1.0.0~6806
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=84f7eeae9d3713c99fcc8b2d33f5c004574a1c57;p=cvc5.git

One last(?) fix for build script for smtcomp uploads.
---

diff --git a/Makefile b/Makefile
index 0fb2be3b1..473bd84c3 100644
--- a/Makefile
+++ b/Makefile
@@ -66,7 +66,7 @@ submission:
 	cp -p cvc4-smtcomp-application-$(YEAR)/bin/cvc4 cvc4-smtcomp-$(YEAR)/bin/cvc4-application
 	cp -p cvc4-smtcomp-application-$(YEAR)/bin/starexec_run_default cvc4-smtcomp-$(YEAR)/bin/starexec_run_application
 	cp -p cvc4-smtcomp-parallel-$(YEAR)/bin/pcvc4 cvc4-smtcomp-$(YEAR)/bin/pcvc4
-	cp -p cvc4-smtcomp-parallel-$(YEAR)/bin/starexec_run_default cvc4-smtcomp-$(YEAR)/bin/starexec_run_parallel
+	#cp -p cvc4-smtcomp-parallel-$(YEAR)/bin/starexec_run_default cvc4-smtcomp-$(YEAR)/bin/starexec_run_parallel
 	cat cvc4-smtcomp-main-$(YEAR)/starexec_description.txt \
 	    cvc4-smtcomp-application-$(YEAR)/starexec_description.txt \
 	    cvc4-smtcomp-parallel-$(YEAR)/starexec_description.txt \