From: Morgan Deters <mdeters@gmail.com>
Date: Wed, 7 Jul 2010 00:11:05 +0000 (+0000)
Subject: fixed submission target
X-Git-Tag: cvc5-1.0.0~8930
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=bdf92b5fb98aba9500236140233dcdf01b845912;p=cvc5.git

fixed submission target
---

diff --git a/Makefile b/Makefile
index f70caefa4..fc92ecc37 100644
--- 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