diff options
author | Morgan Deters <mdeters@gmail.com> | 2010-07-07 00:11:05 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2010-07-07 00:11:05 +0000 |
commit | bdf92b5fb98aba9500236140233dcdf01b845912 (patch) | |
tree | 8acbcf14da78c0755e5586b44086871e731ab658 /Makefile | |
parent | 227961228dec11a2dae7d66ab7246014d0b491ba (diff) |
fixed submission target
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 3 |
1 files changed, 1 insertions, 2 deletions
@@ -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 |