diff options
| author | Emanuel Amaral Couto | 2017-12-17 14:36:56 +0000 |
|---|---|---|
| committer | Emanuel Amaral Couto | 2017-12-17 14:36:56 +0000 |
| commit | dd40770581f94e340b34cddd657e41112c7d1f4a (patch) | |
| tree | 791f444e9401319504b13ad24d5c38fbd67f72ff | |
| download | aur-dd40770581f94e340b34cddd657e41112c7d1f4a.tar.gz | |
Initial commit
| -rw-r--r-- | .SRCINFO | 15 | ||||
| -rw-r--r-- | PKGBUILD | 38 |
2 files changed, 53 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..9d12a3c1aa5a --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,15 @@ +pkgbase = haskell-finite-typelits + pkgdesc = A type inhabited by finitely many values, indexed by type-level naturals + pkgver = 0.1.3.0 + pkgrel = 1 + url = https://github.com/mniip/finite-typelits + arch = i686 + arch = x86_64 + license = custom:BSD3 + makedepends = ghc + depends = ghc-libs + source = https://hackage.haskell.org/packages/archive/finite-typelits/0.1.3.0/finite-typelits-0.1.3.0.tar.gz + md5sums = feada7d084a4f6eb9bde926d588babf4 + +pkgname = haskell-finite-typelits + diff --git a/PKGBUILD b/PKGBUILD new file mode 100644 index 000000000000..7c3a9fd0daa6 --- /dev/null +++ b/PKGBUILD @@ -0,0 +1,38 @@ +# $Id$ +# Maintainer: Emanuel Couto <unit73e at gmail dot com> + +_hkgname=finite-typelits +pkgname=haskell-finite-typelits +pkgver=0.1.3.0 +pkgrel=1 +pkgdesc="A type inhabited by finitely many values, indexed by type-level naturals" +url="https://github.com/mniip/finite-typelits" +license=('custom:BSD3') +arch=('i686' 'x86_64') +depends=('ghc-libs') +makedepends=('ghc') +source=("https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz") +sha256sums=('db733336de7ba5a2650f33f0b6a82dfe6699124f673b4506ffedaa4b6513489d') + +build() { + cd "${srcdir}/${_hkgname}-${pkgver}" + + runhaskell Setup configure -O --enable-shared --enable-executable-dynamic --disable-library-vanilla \ + --prefix=/usr --docdir="/usr/share/doc/${pkgname}" \ + --dynlibdir=/usr/lib --libsubdir=\$compiler/site-local/\$pkgid + runhaskell Setup build + runhaskell Setup register --gen-script + runhaskell Setup unregister --gen-script + sed -i -r -e "s|ghc-pkg.*update[^ ]* |&'--force' |" register.sh + sed -i -r -e "s|ghc-pkg.*unregister[^ ]* |&'--force' |" unregister.sh +} + +package() { + cd "${srcdir}/${_hkgname}-${pkgver}" + + install -D -m744 register.sh "${pkgdir}/usr/share/haskell/register/${pkgname}.sh" + install -D -m744 unregister.sh "${pkgdir}/usr/share/haskell/unregister/${pkgname}.sh" + runhaskell Setup copy --destdir="${pkgdir}" + install -D -m644 "LICENSE" "${pkgdir}/usr/share/licenses/${pkgname}/LICENSE" + rm -f "${pkgdir}/usr/share/doc/${pkgname}/LICENSE" +} |