Add src/package_contrib.sh.

Eelis · Apr 22, 2010 · 76cb08a · 76cb08a
1 parent effae96
commit 76cb08a
Showing 1 changed file with 12 additions and 0 deletions.
diff --git a/src/package_contrib.sh b/src/package_contrib.sh
@@ -0,0 +1,12 @@
+#!/bin/sh
+
+set -ev
+
+coq_makefile *.v > Makefile
+touch .depend
+make depend
+mkdir QuicksortComplexity
+cp *.v LICENSE QuicksortComplexity/
+mv Makefile .depend QuicksortComplexity/
+tar -czf ../QuicksortComplexity-`date +"%Y%m%dT%H%M"`.tar.gz QuicksortComplexity
+rm -rf QuicksortComplexity