From 84f7eeae9d3713c99fcc8b2d33f5c004574a1c57 Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Sun, 15 Jun 2014 17:29:13 -0400 Subject: [PATCH] One last(?) fix for build script for smtcomp uploads. --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 \ -- 2.30.2