[arch-commits] Commit in idris/trunk (PKGBUILD)

[Felix Yan]

    Date: Saturday, July 9, 2022 @ 18:13:52
  Author: felixonmars
Revision: 1249224

upgpkg: idris 1.3.4-1

Modified:
  idris/trunk/PKGBUILD

----------+
 PKGBUILD |   14 +++++---------
 1 file changed, 5 insertions(+), 9 deletions(-)

Modified: PKGBUILD
===================================================================
--- PKGBUILD	2022-07-09 18:13:41 UTC (rev 1249223)
+++ PKGBUILD	2022-07-09 18:13:52 UTC (rev 1249224)
@@ -2,8 +2,8 @@
 # Contributor: Arch Haskell Team <arch-haskell at haskell.org>
 
 pkgname=idris
-pkgver=1.3.3
-pkgrel=394
+pkgver=1.3.4
+pkgrel=1
 pkgdesc="Functional Programming Language with Dependent Types"
 url="https://www.idris-lang.org/"
 license=("BSD")
@@ -18,18 +18,14 @@
          'haskell-vector-binary-instances' 'haskell-zip-archive')
 makedepends=('ghc' 'uusi' 'haskell-tagged' 'haskell-tasty' 'haskell-tasty-golden' 'haskell-tasty-rerun'
              'nodejs')
-source=("$pkgname-$pkgver.tar.gz::https://github.com/idris-lang/Idris-dev/archive/v$pkgver.tar.gz"
-        idris-haskeline-0.8.patch::https://github.com/idris-lang/Idris-dev/pull/4871.patch)
-sha512sums=('fc5c65847c8021ed691c7968043a04fcffaed3a44a6339f611fed616fddefa1b5bc2da8e7e6662dfa552981688a1c96571eadc197e4e50ba060de3c6ddbd03de'
-            '4400ea44d61ab5080926fb88c3a9195dda6dfcefb794a335ca00dcdbc9df8a1e6cb2a9b5ed1c906c34fedea8019281b395f030a6267708be68676c8cc6e5b6fa')
+source=("https://github.com/idris-lang/Idris-dev/archive/v$pkgver/$pkgname-$pkgver.tar.gz")
+sha512sums=('5c081c34cf09c130b213626e5cc4f85ae82fef3f7ac1c76636e497a472b31a638c829e29dfe81b9a240a068736fd27db0de592be9d1b48956b809908a913ad64')
 
 prepare() {
     cd Idris-dev-$pkgver
-    patch -p1 -i ../idris-haskeline-0.8.patch
     sed -i '1ioverride IDRIS := env LD_PRELOAD=$(shell ls ../../dist/build/libHSidris-*-ghc*.so) $(IDRIS)' \
         libs/*/Makefile
-    sed -i 's/Just sline/sline/' src/Idris/Parser/Stack.hs
-    uusi idris.cabal
+    uusi -u Cabal -u network idris.cabal
 }
 
 build() {