diff options
| author | Morgan Deters <mdeters@gmail.com> | 2011-04-10 00:44:20 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2011-04-10 00:44:20 +0000 |
| commit | 969b144a5f9630d646afdf0ff0a053df38d0ed1a (patch) | |
| tree | 92eb38ad161abfe3af979a86285549168d118c5e /Makefile | |
| parent | 8495ee8e7de4a7e472d72cfb20290940c59794e3 (diff) | |
merge from replay branch
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -32,6 +32,6 @@ submission: if [ ! -e configure ]; then ./autogen.sh; fi ./configure competition --disable-shared --enable-static-binary $(MAKE) - mkdir -p cvc4-smtcomp-2010 - cp -p $(top_builddir)/bin/cvc4 cvc4-smtcomp-2010/run - tar cfz cvc4-smtcomp-2010.tgz cvc4-smtcomp-2010 + mkdir -p cvc4-smtcomp-2011 + cp -p $(top_builddir)/bin/cvc4 cvc4-smtcomp-2011/run + tar cfz cvc4-smtcomp-2011.tgz cvc4-smtcomp-2011 |