@@ -0,0 +1,17 @@
1+#!/bin/sh
2+
3+echo "Building version-$VERSION\n\n"
4+echo "Have you: set the release flag, checked the demos and the tutorial?"
5+read $foo
6+
7+git tag version-$VERSION -a
8+
9+VERSION=$1
10+
11+cabal sdist
12+
13+cabal configure --prefix=/usr/local
14+cabal build
15+cabal copy --destdir=/tmp/idris-pkg/
16+pkgbuild --id org.idris-lang --root /tmp/idris-pkg/ idris-$VERSION.pkg
17+