git.iko.soy/Idris-dev
on 9302221 help sign in
Idris-dev/mkpkg.sh
17 lines 339 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
13cabal configure --prefix=/usr/local
14cabal build
15cabal copy --destdir=/tmp/idris-pkg/
16pkgbuild --id org.idris-lang --root /tmp/idris-pkg/ idris-$VERSION.pkg