diff options
| author | Morgan Deters <mdeters@gmail.com> | 2012-06-16 22:29:44 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2012-06-16 22:29:44 +0000 |
| commit | 243d4906d201aa3d809ccd40ee15216ba86ea801 (patch) | |
| tree | b6ec3818892ca3e365823b7f16f33dc08362c978 /Makefile | |
| parent | bc36750b551f1d0b571af1e2265b5dea42544e7d (diff) | |
updated build script for smt-comp submission
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 32 |
1 files changed, 22 insertions, 10 deletions
@@ -42,15 +42,15 @@ examples: all (cd examples && $(MAKE) $(AM_MAKEFLAGS)) YEAR := $(shell date +%Y) -submission: +submission submission-main: @if [ -n "`ls src/parser/*/generated`" ]; then \ echo 'ERROR:' >&2; \ echo 'ERROR: Please make maintainer-clean first.' >&2; \ echo 'ERROR:' >&2; \ exit 1; \ fi - if [ ! -e configure ]; then ./autogen.sh; fi - ./configure competition --disable-shared --enable-static-binary --with-cln + ./autogen.sh + ./configure competition --disable-shared --enable-static-binary --with-cln --without-cudd $(MAKE) strip builds/bin/cvc4 $(MAKE) check @@ -62,10 +62,16 @@ submission: echo 'exec ./cvc4 -L smt2 --no-checking --no-interactive' ) > cvc4-smtcomp-$(YEAR)/run chmod 755 cvc4-smtcomp-$(YEAR)/run tar cf cvc4-smtcomp-$(YEAR).tar cvc4-smtcomp-$(YEAR) - # application track is a separate build too :-( - make maintainer-clean - if [ ! -e configure ]; then ./autogen.sh; fi - ./configure competition --disable-shared --enable-static-binary --with-cln CXXFLAGS=-DCVC4_SMTCOMP_APPLICATION_TRACK CFLAGS=-DCVC4_SMTCOMP_APPLICATION_TRACK +submission-application: + # application track is a separate build because it has different preprocessor #defines + @if [ -n "`ls src/parser/*/generated`" ]; then \ + echo 'ERROR:' >&2; \ + echo 'ERROR: Please make maintainer-clean first.' >&2; \ + echo 'ERROR:' >&2; \ + exit 1; \ + fi + ./autogen.sh + ./configure competition --disable-shared --enable-static-binary --with-cln --without-cudd CXXFLAGS=-DCVC4_SMTCOMP_APPLICATION_TRACK CFLAGS=-DCVC4_SMTCOMP_APPLICATION_TRACK $(MAKE) strip builds/bin/cvc4 $(MAKE) check @@ -77,10 +83,16 @@ submission: echo 'exec ./cvc4 -L smt2 --no-checking --no-interactive --incremental' ) > cvc4-application-smtcomp-$(YEAR)/run chmod 755 cvc4-application-smtcomp-$(YEAR)/run 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 - make maintainer-clean - if [ ! -e configure ]; then ./autogen.sh; fi - ./configure competition --disable-shared --enable-static-binary --with-gmp --with-portfolio + @if [ -n "`ls src/parser/*/generated`" ]; then \ + echo 'ERROR:' >&2; \ + echo 'ERROR: Please make maintainer-clean first.' >&2; \ + echo 'ERROR:' >&2; \ + exit 1; \ + fi + ./autogen.sh + ./configure competition --disable-shared --enable-static-binary --with-gmp --without-cudd --with-portfolio $(MAKE) strip builds/bin/pcvc4 # some test cases fail (and are known to fail) |