From: Morgan Deters <mdeters@gmail.com>
Date: Wed, 7 Jul 2010 00:04:41 +0000 (+0000)
Subject: things for competition upload: new "make submission" target
X-Git-Tag: cvc5-1.0.0~8931
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=227961228dec11a2dae7d66ab7246014d0b491ba;p=cvc5.git

things for competition upload: new "make submission" target
---

diff --git a/Makefile b/Makefile
index 7e0e0261b..f70caefa4 100644
--- a/Makefile
+++ b/Makefile
@@ -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'."
 }