Add script that builds releases.

7 months ago · 377548fc5a
parent a05f6a260e
commit 377548fc5a
1 changed files with 20 additions and 0 deletions
--- a/packaging/builddist.sh
+++ b/packaging/builddist.sh
@ -0,0 +1,20 @@
+#!/usr/bin/zsh
+
+# This script must be run from the source root.
+
+set -e
+
+GENDIR=distgendir
+
+rm -rf dist
+rm -rf $GENDIR
+mkdir dist
+mkdir $GENDIR
+cp -r .git $GENDIR
+cd $GENDIR
+git reset --hard
+#python3 setup.py sdist bdist
+python3 setup.py sdist
+cp dist/* ../dist
+cd ..
+rm -rf $GENDIR