projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 2279612)
fixed submission target
authorMorgan Deters <mdeters@gmail.com>
Wed, 7 Jul 2010 00:11:05 +0000 (00:11 +0000)
committerMorgan Deters <mdeters@gmail.com>
Wed, 7 Jul 2010 00:11:05 +0000 (00:11 +0000)
Makefile patch | blob | history

diff --git a/Makefile b/Makefile
index f70caefa45e18565a1626c59c615116bcd6ea9d1..fc92ecc37cb13b229d8fa417cd20074e48877522 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -23,6 +23,5 @@ submission:
        ./configure competition
        $(MAKE)
        mkdir -p cvc4-smtcomp-2010
-       cp -p $(top_builddir)/bin/cvc4 cvc4-smtcomp-2010/cvc4
-       cp -p contrib/run-smtcomp cvc4-smtcomp-2010/run
+       cp -p $(top_builddir)/bin/cvc4 cvc4-smtcomp-2010/run
        tar cfz cvc4-smtcomp-2010.tgz cvc4-smtcomp-2010