add dist creation script

diff --git a/dist.sh b/dist.sh
new file mode 100755 (executable)
index 0000000..4c4fae5
--- /dev/null
+++ b/dist.sh
@@ -0,0 +1,20 @@
+#!/bin/bash
+
+me=$(readlink -f $0)
+parent=$(dirname $me)
+distname=$(basename $parent)
+
+build=$parent/build
+
+. $parent/dist.version
+
+[ -d "$build" ] && echo "Removing $build" && rm -rf "$build"
+
+scripts=$build/$distname/$version
+mkdir -p "$scripts"
+
+cp $parent/src/* $scripts/
+chmod +x $scripts/*.py
+
+cd $build
+tar zcf $distname-$version.tar.gz $distname

diff --git a/dist.version b/dist.version
new file mode 100644 (file)
index 0000000..cd08b8d
--- /dev/null
+++ b/dist.version
@@ -0,0 +1 @@
+version=1
\ No newline at end of file