From 227961228dec11a2dae7d66ab7246014d0b491ba Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@gmail.com>
Date: Wed, 7 Jul 2010 00:04:41 +0000
Subject: things for competition upload: new "make submission" target

---
 Makefile | 9 +++++++++
 1 file changed, 9 insertions(+)

(limited to 'Makefile')

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
-- 
cgit v1.2.3