From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Fri, 6 Jun 2014 21:36:16 +0000 (-0400)
Subject: Fix submission script (again).
X-Git-Tag: cvc5-1.0.0~6853
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=112a151a577d05ede080e5f75d5bae2c6ace5dde;p=cvc5.git

Fix submission script (again).
---

diff --git a/Makefile b/Makefile
index ac0433103..f5d379d6b 100644
--- a/Makefile
+++ b/Makefile
@@ -60,7 +60,7 @@ submission submission-main:
 	$(MAKE) check
 	#$(MAKE) -C test/regress/regress1 check
 	# main track
-	mkdir -p cvc4-smtcomp-$(YEAR)
+	mkdir -p cvc4-smtcomp-$(YEAR)/bin
 	cp -p builds/bin/cvc4 cvc4-smtcomp-$(YEAR)/bin/cvc4
 	cp contrib/run-script-smtcomp2014 cvc4-smtcomp-$(YEAR)/bin/starexec_run_default
 	chmod 755 cvc4-smtcomp-$(YEAR)/bin/starexec_run_default