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

[Felix Yan]

    Date: Friday, July 31, 2020 @ 07:01:00
  Author: felixonmars
Revision: 666046

upgpkg: agda 2.6.1-68: add symlink to avoid wring into /usr

Modified:
  agda/trunk/PKGBUILD

----------+
 PKGBUILD |   11 +++++++----
 1 file changed, 7 insertions(+), 4 deletions(-)

Modified: PKGBUILD
===================================================================
--- PKGBUILD	2020-07-31 06:58:22 UTC (rev 666045)
+++ PKGBUILD	2020-07-31 07:01:00 UTC (rev 666046)
@@ -4,7 +4,7 @@
 _hkgname=Agda
 pkgname=agda
 pkgver=2.6.1
-pkgrel=67
+pkgrel=68
 pkgdesc="A dependently typed functional programming language and proof assistant"
 url="https://wiki.portal.chalmers.se/agda/"
 license=("custom")
@@ -21,10 +21,8 @@
 sha512sums=('e8dffa93e477dff44a91132f6163165dcb9f8804d68c4e218f5ce6ff297349c139c6aac0e52e4113d0fbe82e11b2b04ab47fce03f7b6a768b22fbcaeeb759f6f')
 
 prepare() {
-    mkdir -p lib-target
-    cp -a $pkgname-$pkgver/src/data/lib lib-target/lib
-
     cd $pkgname-$pkgver
+    sed -i '/fno-warn-overlapping-patterns/a \        , "-dynamic"' src/full/Agda/Compiler/MAlonzo/Compiler.hs
     sed -e "s|(\"Agda_datadir\", agda_datadir) : e|[(\"Agda_datadir\", agda_datadir), (\"LD_LIBRARY_PATH\", \"$PWD/dist/build\")] ++ e|" \
         -i Setup.hs
     sed -i 's/< *1.5/<2/' $_hkgname.cabal
@@ -50,6 +48,11 @@
     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}"
+
+    # Symlink to avoid writing to this place when agda-lib is present
+    install -dm755 "$pkgdir"/usr/share/agda/lib/_build/$pkgver/agda
+    ln -s ../../../prim "$pkgdir"/usr/share/agda/lib/_build/$pkgver/agda/
+
     install -D -m644 LICENSE "$pkgdir"/usr/share/licenses/$pkgname/LICENSE
     rm -f "$pkgdir"/usr/share/doc/$pkgname/LICENSE
 }