From 45cc885eceb8f2a0c2f19df20502d762eb5be0e5 Mon Sep 17 00:00:00 2001 From: rs Date: Fri, 8 Jun 2012 16:28:57 +0100 Subject: [PATCH] add dist creation script --- dist.sh | 20 ++++++++++++++++++++ dist.version | 1 + 2 files changed, 21 insertions(+) create mode 100755 dist.sh create mode 100644 dist.version diff --git a/dist.sh b/dist.sh new file mode 100755 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 index 0000000..cd08b8d --- /dev/null +++ b/dist.version @@ -0,0 +1 @@ +version=1 \ No newline at end of file