diff options
| author | Morgan Deters <mdeters@gmail.com> | 2011-07-09 03:11:58 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2011-07-09 03:11:58 +0000 |
| commit | dd7011ca35bf5a6bdfcbbdb3cd4657c8828fefae (patch) | |
| tree | 7f3fa5d16bcec95824e241349c2f37163ca6613f /Makefile | |
| parent | 7e9d980e1fbaffadd0c76511e6c42e12b8039585 (diff) | |
fix submission makefile
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 8 |
1 files changed, 6 insertions, 2 deletions
@@ -32,5 +32,9 @@ submission: ./configure competition --disable-shared --enable-static-binary $(MAKE) mkdir -p cvc4-smtcomp-2011 - cp -p $(top_builddir)/bin/cvc4 cvc4-smtcomp-2011/run - tar cfz cvc4-smtcomp-2011.tgz cvc4-smtcomp-2011 + cp -p $(top_builddir)/bin/cvc4 cvc4-smtcomp-2011/cvc4 + strip cvc4-smtcomp-2011/cvc4 + ( echo '#!/bin/sh'; \ + echo 'exec ./cvc4 -L smt2 --no-interactive' ) > cvc4-smtcomp-2011/run + chmod 755 cvc4-smtcomp-2011/run + tar cf cvc4-smtcomp-2011.tar cvc4-smtcomp-2011 |