packaging/builddist.sh


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

#!/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_wheel
cp dist/* ../dist
cd ..
rm -rf $GENDIR