Date: Monday, April 18, 2016 @ 05:40:44 Author: fyan Revision: 171284
upgpkg: agda-stdlib 0.12-1 Modified: agda-stdlib/trunk/PKGBUILD Deleted: agda-stdlib/trunk/agda-stdlib.install ---------------------+ PKGBUILD | 27 ++++----------------------- agda-stdlib.install | 18 ------------------ 2 files changed, 4 insertions(+), 41 deletions(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2016-04-18 03:38:48 UTC (rev 171283) +++ PKGBUILD 2016-04-18 03:40:44 UTC (rev 171284) @@ -3,15 +3,14 @@ # Contributor: Arch Haskell Team <[email protected]> pkgname=agda-stdlib -pkgver=0.11 +pkgver=0.12 pkgrel=1 pkgdesc="Agda standard libraries" url="https://github.com/agda/agda-stdlib"; license=("MIT") arch=('i686' 'x86_64') -depends=("ghc=7.10.3" "agda") -makedepends=("git" "haskell-filemanip") -install=$pkgname.install +depends=("agda") +makedepends=("ghc" "git" "haskell-filemanip") options=('staticlibs') source=("git+https://github.com/agda/agda-stdlib.git#tag=v$pkgver";) sha256sums=('SKIP') @@ -24,30 +23,12 @@ dist/build/GenerateEverything/GenerateEverything - cd ffi - runhaskell Setup configure -O --enable-library-profiling --enable-shared \ - --prefix=/usr --docdir="/usr/share/doc/agda-lib-ffi" \ - --libsubdir=\$compiler/site-local/\$pkgid - runhaskell Setup build - runhaskell Setup haddock --hoogle --html - runhaskell Setup register --gen-script - runhaskell Setup unregister --gen-script - sed -i -r -e "s|ghc-pkg.*unregister[^ ]* |&'--force' |" unregister.sh - - cd .. agda -i. -isrc Everything.agda agda --html -i. -isrc README.agda } package() { - cd "${srcdir}/${pkgname}/ffi" - install -D -m744 register.sh "${pkgdir}/usr/share/haskell/agda-lib-ffi/register.sh" - install -m744 unregister.sh "${pkgdir}/usr/share/haskell/agda-lib-ffi/unregister.sh" - install -d -m755 "${pkgdir}/usr/share/doc/ghc/html/libraries" - ln -s "/usr/share/doc/agda-lib-ffi/html" "${pkgdir}/usr/share/doc/ghc/html/libraries/agda-lib-ffi" - runhaskell Setup copy --destdir="${pkgdir}" - - cd .. + cd "${srcdir}/${pkgname}" install -dm755 "$pkgdir/usr/share/agda/lib/prim" cp -pr Everything.agda* src/* "$pkgdir/usr/share/agda/lib/prim" install -D -m644 "LICENCE" "${pkgdir}/usr/share/licenses/${pkgname}/LICENCE" Deleted: agda-stdlib.install =================================================================== --- agda-stdlib.install 2016-04-18 03:38:48 UTC (rev 171283) +++ agda-stdlib.install 2016-04-18 03:40:44 UTC (rev 171284) @@ -1,18 +0,0 @@ -HS_DIR=usr/share/haskell/agda-lib-ffi -post_install() { - ${HS_DIR}/register.sh - (cd usr/share/doc/ghc/html/libraries; ./gen_contents_index) -} -pre_upgrade() { - ${HS_DIR}/unregister.sh -} -post_upgrade() { - ${HS_DIR}/register.sh - (cd usr/share/doc/ghc/html/libraries; ./gen_contents_index) -} -pre_remove() { - ${HS_DIR}/unregister.sh -} -post_remove() { - (cd usr/share/doc/ghc/html/libraries; ./gen_contents_index) -}
