From bdf92b5fb98aba9500236140233dcdf01b845912 Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Wed, 7 Jul 2010 00:11:05 +0000 Subject: [PATCH] fixed submission target --- Makefile | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) 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 -- 2.30.2