diff options
Diffstat (limited to 'script')
| -rwxr-xr-x | script/gen-deb.sh | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/script/gen-deb.sh b/script/gen-deb.sh new file mode 100755 index 0000000..d817ad2 --- /dev/null +++ b/script/gen-deb.sh @@ -0,0 +1,24 @@ +#!/bin/sh +set -e +debroot=out/debroot +version="$(git describe --always --dirty)" +rm -rf $debroot +mkdir -p $debroot +mkdir -p $debroot/usr/share/doc/substitute +cp doc/installed-README.txt $debroot/usr/share/doc/README.txt +cp substrate/lgpl-3.0.tar.xz $debroot/usr/share/doc/ +mkdir -p $debroot/usr/lib +cp out/libsubstitute.dylib $debroot/usr/lib/libsubstitute.0.dylib +ln -s libsubstitute.0.dylib $debroot/usr/lib/libsubstitute.dylib +mkdir -p $debroot/usr/include/substitute +cp lib/substitute.h $debroot/usr/include/substitute/ +cp substrate/substrate.h $debroot/usr/include/substitute/ +cp -a DEBIAN $debroot/ +sed "s#{VERSION}#$version#g" DEBIAN/control > $debroot/DEBIAN/control +#... add bootstrap stuff +# yay, old forks and deprecated compression +dpkg-deb -Zlzma -b $debroot out/com.ex.substitute-$version.deb + + + + |