agda-executable/PKGBUILD

   1 # custom variables
   2 _hkgname=Agda-executable
   3 _licensefile=LICENSE
   4
   5 # PKGBUILD options/directives
   6 pkgname=agda-executable
   7 pkgver=2.2.10
   8 pkgrel=3
   9 pkgdesc="Command-line program for type-checking and compiling Agda programs"
  10 url="http://wiki.portal.chalmers.se/agda/"
  11 license=("OtherLicense")
  12 arch=('i686' 'x86_64')
  13 makedepends=("ghc=7.0.3-2"
  14              "haskell-agda=2.2.10-3")
  15 depends=()
  16 options=('strip')
  17 source=("http://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz")
  18
  19 sha256sums=("c65fda739b23d1c996918e8adaf5d8bf7d4a37479e05cd9d56377cb5cb5f544a")
  20
  21 # PKGBUILD functions
  22 build() {
  23     cd ${srcdir}/${_hkgname}-${pkgver}
  24
  25     runhaskell Setup configure -O --prefix=/usr --docdir=/usr/share/doc/${pkgname}
  26     runhaskell Setup build
  27 }
  28
  29 package() {
  30     cd ${srcdir}/${_hkgname}-${pkgver}
  31     runhaskell Setup copy --destdir=${pkgdir}
  32 }