diff options
-rw-r--r-- | Makefile | 9 | ||||
-rwxr-xr-x | contrib/switch-config | 3 |
2 files changed, 11 insertions, 1 deletions
@@ -17,3 +17,12 @@ all %: # synonyms for "check" .PHONY: regress test regress test: check + +submission: + if [ ! -e configure ]; then ./autogen.sh; fi + ./configure competition + $(MAKE) + mkdir -p cvc4-smtcomp-2010 + cp -p $(top_builddir)/bin/cvc4 cvc4-smtcomp-2010/cvc4 + cp -p contrib/run-smtcomp cvc4-smtcomp-2010/run + tar cfz cvc4-smtcomp-2010.tgz cvc4-smtcomp-2010 diff --git a/contrib/switch-config b/contrib/switch-config index ad28464e7..83351da29 100755 --- a/contrib/switch-config +++ b/contrib/switch-config @@ -51,7 +51,8 @@ if ! [ -d "builds/$arch" ] || ! [ -d "builds/$arch/$build" ] || [ ${#builds[@]} fi function switchto { - perl -pi -e 's,^CURRENT_BUILD *= *.*,CURRENT_BUILD = '$arch/$1',' builds/current + config/mkbuilddir "$arch" "$1" >/dev/null + #perl -pi -e 's,^CURRENT_BUILD *= *.*,CURRENT_BUILD = '$arch/$1',' builds/current echo "Current build switched to \`$1'." } |