git.iko.soy/Idris-dev
on v0.99 help sign in
Idris-dev/mkpkg.sh
26 lines 703 B history raw
1#!/bin/sh
3VERSION=$1
5echo "Building version-$VERSION\n\n"
6echo "Have you: set the release flag, checked the demos and the tutorial?"
7read $foo
9git tag v$VERSION -a
11cabal sdist
13# Generate Idris library docs and put them in lib_docs.tar.gz in the root
14make lib_doc
15DOCDIR=`mktemp -d /tmp/docsXXXXX`
16cp -r libs/base/base_doc "$DOCDIR"
17cp -r libs/prelude/prelude_doc "$DOCDIR"
18cp -r libs/effects/effects_doc "$DOCDIR"
19cp -r libs/contrib/contrib_doc "$DOCDIR"
20tar -czvf lib_docs.tar.gz -C "$DOCDIR" prelude_doc base_doc effects_doc contrib_doc
22cabal configure --prefix=/usr/local
23cabal build
24cabal copy --destdir=/tmp/idris-pkg/
25pkgbuild --id org.idris-lang --root /tmp/idris-pkg/ idris-$VERSION.pkg