Date: Monday, June 19, 2017 @ 08:53:58
  Author: felixonmars
Revision: 238133

upgpkg: idris 1.0-35

rebuild with ghc,8.0.2

Modified:
  idris/trunk/PKGBUILD

----------+
 PKGBUILD |   47 ++++++++++++++++++++++++++++++++---------------
 1 file changed, 32 insertions(+), 15 deletions(-)

Modified: PKGBUILD
===================================================================
--- PKGBUILD    2017-06-19 08:24:00 UTC (rev 238132)
+++ PKGBUILD    2017-06-19 08:53:58 UTC (rev 238133)
@@ -4,36 +4,53 @@
 
 pkgname=idris
 pkgver=1.0
-pkgrel=34
+pkgrel=35
 pkgdesc="Functional Programming Language with Dependent Types"
 url="http://www.idris-lang.org/";
 license=("custom:BSD3")
 arch=('i686' 'x86_64')
-depends=('gmp' 'libffi' 'zlib' 'gcc')
-makedepends=("ghc=8.0.1" "haskell-aeson" "haskell-annotated-wl-pprint" 
"haskell-ansi-terminal"
-             "haskell-ansi-wl-pprint" "haskell-async" 
"haskell-base64-bytestring"
-             "haskell-blaze-html" "haskell-blaze-markup" "haskell-cheapskate" 
"haskell-code-page"
-             "haskell-fingertree" "haskell-fsnotify" "haskell-ieee754" 
"haskell-mtl"
-             "haskell-libffi" "haskell-network" "haskell-optparse-applicative" 
"haskell-parsers"
-             "haskell-regex-tdfa" "haskell-safe" "haskell-split" 
"haskell-terminal-size"
-             "haskell-text" "haskell-transformers-compat" "haskell-trifecta" 
"haskell-uniplate"
-             "haskell-unordered-containers" "haskell-utf8-string" 
"haskell-vector"
-             "haskell-vector-binary-instances" "haskell-zip-archive")
+depends=("ghc" "haskell-aeson" "haskell-annotated-wl-pprint" 
"haskell-ansi-terminal"
+         "haskell-ansi-wl-pprint" "haskell-async" "haskell-base64-bytestring" 
"haskell-blaze-html"
+         "haskell-blaze-markup" "haskell-cheapskate" "haskell-code-page" 
"haskell-fingertree"
+         "haskell-fsnotify" "haskell-ieee754" "haskell-mtl" "haskell-libffi" 
"haskell-network"
+         "haskell-optparse-applicative" "haskell-parsers" "haskell-regex-tdfa" 
"haskell-safe"
+         "haskell-split" "haskell-terminal-size" "haskell-text" 
"haskell-transformers-compat"
+         "haskell-trifecta" "haskell-uniplate" "haskell-unordered-containers" 
"haskell-utf8-string"
+         "haskell-vector" "haskell-vector-binary-instances" 
"haskell-zip-archive")
 
source=("$pkgname-$pkgver.tar.gz::https://github.com/idris-lang/Idris-dev/archive/v$pkgver.tar.gz";)
 
sha512sums=('a350004a8510f01d1cc8f965a9a4e2dab219f003980b98354ebb5ae42f73b32c90c98dce193943e9709d994cb92ad35814a46b79412a1afc85d42e1018c6ba10')
 
+prepare() {
+    sed -i '1ioverride IDRIS := env LD_PRELOAD=$(shell ls 
../../dist/build/libHSidris-*-ghc*.so) $(IDRIS)' \
+        Idris-dev-$pkgver/libs/*/Makefile
+}
+
 build() {
     cd "$srcdir"/Idris-dev-$pkgver
 
-    runhaskell Setup configure -O --enable-library-profiling --enable-shared \
-        --prefix=/usr --docdir="/usr/share/doc/$pkgname" 
--datasubdir="$pkgname" \
+    runhaskell Setup configure -O --enable-shared --enable-executable-dynamic \
+        --prefix=/usr --docdir="/usr/share/doc/${pkgname}" \
         --libsubdir=\$compiler/site-local/\$pkgid \
             -fFFI -fGMP -frelease -f-freestanding -f-CI -f-execonly
     LC_CTYPE=en_US.UTF-8 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.*update[^ ]* |&'--force' |" register.sh
+    sed -i -r -e "s|ghc-pkg.*unregister[^ ]* |&'--force' |" unregister.sh
 }
 
 package() {
     cd "$srcdir"/Idris-dev-$pkgver
-    runhaskell Setup copy --destdir="$pkgdir"
-    rm -r "$pkgdir"/usr/{lib,share/doc}
+    
+    install -D -m744 register.sh   
"${pkgdir}/usr/share/haskell/register/${pkgname}.sh"
+    install -D -m744 unregister.sh 
"${pkgdir}/usr/share/haskell/unregister/${pkgname}.sh"
+    install -d -m755 "${pkgdir}/usr/share/doc/ghc/html/libraries"
+    ln -s "/usr/share/doc/${pkgname}/html" 
"${pkgdir}/usr/share/doc/ghc/html/libraries/${pkgname}"
+    runhaskell Setup copy --destdir="${pkgdir}"
+    install -D -m644 "LICENSE" 
"${pkgdir}/usr/share/licenses/${pkgname}/LICENSE"
+    rm -f "${pkgdir}/usr/share/doc/${pkgname}/LICENSE"
+
+    # Remove static libs
+    find "$pkgdir"/usr/lib -name "*.a" -delete
 }

Reply via email to