projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 6ec8f46)
Fix submission script (again).
authorMorgan Deters <mdeters@cs.nyu.edu>
Fri, 6 Jun 2014 21:36:16 +0000 (17:36 -0400)
committerMorgan Deters <mdeters@cs.nyu.edu>
Fri, 6 Jun 2014 21:36:16 +0000 (17:36 -0400)
Makefile patch | blob | history

diff --git a/Makefile b/Makefile
index ac0433103a3aea0fdeb0ae7273f1311e7076da0c..f5d379d6becc7a94177bd6acdb45bc601dde773f 100644 (file)
--- 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