diff options
| author | Morgan Deters <mdeters@gmail.com> | 2012-06-18 21:33:00 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2012-06-18 21:33:00 +0000 |
| commit | 09590d6e174d810cde3c223da375ac798901aa3d (patch) | |
| tree | 87f258c90a243d906ed8367b97ad97e382bf7d94 /Makefile | |
| parent | 8adb4e13c5c28059ed9271522137daf341942a75 (diff) | |
final sources (?) for competition
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 9 |
1 files changed, 4 insertions, 5 deletions
@@ -43,7 +43,7 @@ examples: all YEAR := $(shell date +%Y) submission submission-main: - @if [ -n "`ls src/parser/*/generated`" ]; then \ + @if [ -n "`ls src/parser/*/generated 2>/dev/null`" ]; then \ echo 'ERROR:' >&2; \ echo 'ERROR: Please make maintainer-clean first.' >&2; \ echo 'ERROR:' >&2; \ @@ -58,13 +58,12 @@ submission submission-main: # main track mkdir -p cvc4-smtcomp-$(YEAR) cp -p builds/bin/cvc4 cvc4-smtcomp-$(YEAR)/cvc4 - ( echo '#!/bin/sh'; \ - echo 'exec ./cvc4 -L smt2 --no-checking --no-interactive' ) > cvc4-smtcomp-$(YEAR)/run + cp contrib/run-script-smtcomp2012 cvc4-smtcomp-$(YEAR)/run chmod 755 cvc4-smtcomp-$(YEAR)/run tar cf cvc4-smtcomp-$(YEAR).tar cvc4-smtcomp-$(YEAR) submission-application: # application track is a separate build because it has different preprocessor #defines - @if [ -n "`ls src/parser/*/generated`" ]; then \ + @if [ -n "`ls src/parser/*/generated 2>/dev/null`" ]; then \ echo 'ERROR:' >&2; \ echo 'ERROR: Please make maintainer-clean first.' >&2; \ echo 'ERROR:' >&2; \ @@ -85,7 +84,7 @@ submission-application: tar cf cvc4-application-smtcomp-$(YEAR).tar cvc4-application-smtcomp-$(YEAR) submission-parallel: # parallel track can't be built with -cln, so it's a separate build - @if [ -n "`ls src/parser/*/generated`" ]; then \ + @if [ -n "`ls src/parser/*/generated 2>/dev/null`" ]; then \ echo 'ERROR:' >&2; \ echo 'ERROR: Please make maintainer-clean first.' >&2; \ echo 'ERROR:' >&2; \ |