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

[Felix Yan]

    Date: Wednesday, February 19, 2020 @ 15:10:59
  Author: felixonmars
Revision: 576579

upgpkg: tamarin-prover 1.4.1-255: rebuild with binary-orphans 1.0.1

Modified:
  tamarin-prover/trunk/PKGBUILD

----------+
 PKGBUILD |    7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

Modified: PKGBUILD
===================================================================
--- PKGBUILD	2020-02-19 14:53:53 UTC (rev 576578)
+++ PKGBUILD	2020-02-19 15:10:59 UTC (rev 576579)
@@ -3,12 +3,12 @@
 
 pkgname=tamarin-prover
 pkgver=1.4.1
-pkgrel=254
+pkgrel=255
 pkgdesc="The Tamarin prover for security protocol analysis"
 url="https://tamarin-prover.github.io"
 license=("GPL")
 arch=('x86_64')
-depends=('ghc-libs' 'graphviz' 'maude' 'haskell-hunit' 'haskell-binary-orphans'
+depends=('ghc-libs' 'graphviz' 'maude' 'haskell-hunit' 'haskell-binary-instances' 'haskell-binary-orphans'
          'haskell-blaze-builder' 'haskell-blaze-html' 'haskell-cmdargs' 'haskell-conduit'
          'haskell-fclabels' 'haskell-file-embed' 'haskell-gitrev' 'haskell-http-types'
          'haskell-lifted-base' 'haskell-monad-unlift'
@@ -24,6 +24,9 @@
 prepare() {
     cd "${srcdir}/${pkgname}-${pkgver}"
     sed -i '/cp sapic/d' plugins/sapic/Makefile
+
+    sed -i 's/binary-orphans/binary-instances/' $pkgname.cabal
+    sed -i 's/Data.Binary.Orphans/Data.Binary.Instances/' src/Web/Types.hs
 }
 
 build() {