# Template file for 'idris'
pkgname=idris
version=1.1.0
revision=1
build_style=haskell-stack
hostmakedepends="ghc stack pkg-config"
makedepends="zlib-devel ncurses-devel"
short_desc="A dependently typed functional programming language"
maintainer="Getty Ritter <idris-pkg@infinitenegativeutility.com>"
license="BSD-3"
homepage="http://www.idris-lang.org/"
distfiles="https://github.com/idris-lang/Idris-dev/archive/v${version}.tar.gz>${pkgname}-${version}.tar.gz"
checksum=74d4a4fdfb4cb8cf86d3ea0487044fc58c65565f29a46ef1fc1a635fefab7df0
nopie=yes

function post_extract {
	mv /builddir/Idris-dev-${version} /builddir/${pkgname}-${version}
}