diff options
author | Morgan Deters <mdeters@gmail.com> | 2012-06-13 20:27:58 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2012-06-13 20:27:58 +0000 |
commit | 859dcf3feb5f34689c9423b6ad13030fc8f2e212 (patch) | |
tree | ac4c9aaa2531cbd6c4c08e00678068d5a0a9a8df /Makefile | |
parent | 4b3ce37b3d5245d8827d04e4f459c32631083613 (diff) |
revisions to the "make submission" target
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 24 |
1 files changed, 16 insertions, 8 deletions
@@ -50,12 +50,11 @@ submission: exit 1; \ fi if [ ! -e configure ]; then ./autogen.sh; fi - ./configure competition --disable-shared --enable-static-binary --with-cln --with-portfolio + ./configure competition --disable-shared --enable-static-binary --with-cln $(MAKE) strip builds/bin/cvc4 - $(MAKE) regress1 - strip builds/bin/pcvc4 - $(MAKE) regress1 BINARY=pcvc4 + $(MAKE) check + $(MAKE) -C test/regress/regress1 check # main track mkdir -p cvc4-smtcomp-$(YEAR) cp -p builds/bin/cvc4 cvc4-smtcomp-$(YEAR)/cvc4 @@ -63,20 +62,29 @@ submission: echo 'exec ./cvc4 -L smt2 --no-interactive' ) > cvc4-smtcomp-$(YEAR)/run chmod 755 cvc4-smtcomp-$(YEAR)/run tar cf cvc4-smtcomp-$(YEAR).tar cvc4-smtcomp-$(YEAR) - # parallel track + # 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 + $(MAKE) + strip builds/bin/pcvc4 + $(MAKE) check BINARY=pcvc4 + $(MAKE) -C test/regress/regress1 check BINARY=pcvc4 + # package the parallel track tarball mkdir -p cvc4-parallel-smtcomp-$(YEAR) cp -p builds/bin/pcvc4 cvc4-parallel-smtcomp-$(YEAR)/pcvc4 ( echo '#!/bin/sh'; \ - echo 'exec ./pcvc4 -L smt2 --no-interactive' ) > cvc4-parallel-smtcomp-$(YEAR)/run + echo 'exec ./pcvc4 --threads 2 -L smt2 --no-interactive' ) > cvc4-parallel-smtcomp-$(YEAR)/run chmod 755 cvc4-parallel-smtcomp-$(YEAR)/run tar cf cvc4-parallel-smtcomp-$(YEAR).tar cvc4-parallel-smtcomp-$(YEAR) - # application track is a separate build + # 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 $(MAKE) strip builds/bin/cvc4 - $(MAKE) regress1 + $(MAKE) check + $(MAKE) -C test/regress/regress1 check # package the application track tarball mkdir -p cvc4-application-smtcomp-$(YEAR) cp -p builds/bin/cvc4 cvc4-application-smtcomp-$(YEAR)/cvc4 |