Felix Yan pushed to branch main at Arch Linux / Packaging / Packages / tamarin-prover
Commits: 29a7a8e0 by Felix Yan at 2023-09-07T23:04:54+03:00 upgpkg: 1.8.0-1: rebuild with tamarin-prover-utils 1.8.0, tamarin-prover-term 1.8.0, tamarin-prover-theory 1.8.0, tamarin-prover-sapic 1.8.0, tamarin-prover-export 1.8.0, tamarin-prover-accountability 1.8.0, tamarin-prover 1.8.0 - - - - - 1 changed file: - PKGBUILD Changes: ===================================== PKGBUILD ===================================== @@ -2,31 +2,23 @@ # Contributor: Arch Haskell Team <[email protected]> pkgname=tamarin-prover -pkgver=1.6.1 -pkgrel=351 +pkgver=1.8.0 +pkgrel=1 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' 'haskell-binary-instances' - 'haskell-blaze-builder' 'haskell-blaze-html' 'haskell-cmdargs' 'haskell-conduit' - 'haskell-fclabels' 'haskell-file-embed' 'haskell-gitrev' 'haskell-http-types' - 'haskell-lifted-base' 'haskell-resourcet' 'haskell-safe' +depends=('ghc-libs' 'graphviz' 'maude' 'haskell-hunit' 'haskell-binary-orphans' + 'haskell-binary-instances' 'haskell-blaze-builder' 'haskell-blaze-html' 'haskell-cmdargs' + 'haskell-conduit' 'haskell-fclabels' 'haskell-file-embed' 'haskell-gitrev' + 'haskell-http-types' 'haskell-lifted-base' 'haskell-resourcet' 'haskell-safe' 'haskell-shakespeare' 'haskell-threads' 'haskell-wai' 'haskell-warp' 'haskell-yesod-core' 'haskell-yesod-static' 'haskell-tamarin-prover-utils' 'haskell-tamarin-prover-term' - 'haskell-tamarin-prover-theory' 'haskell-tamarin-prover-sapic') -optdepends=('ocaml: for sapic support') -makedepends=('ghc' 'ocaml>=4.13.1') + 'haskell-tamarin-prover-theory' 'haskell-tamarin-prover-sapic' + 'haskell-tamarin-prover-export' 'haskell-tamarin-prover-accountability') +makedepends=('ghc') source=("https://github.com/tamarin-prover/tamarin-prover/archive/$pkgver/tamarin-prover-$pkgver.tar.gz";) -sha512sums=('dc6b91b1669055913a0aefc9a969812bf252185480fbf67588e7458289b1e1b64bf0729e9bee043513ecd5a57cd0c9477512e80861c6956c08b5e29d90211f62') - -prepare() { - cd $pkgname-$pkgver - sed -i '/cp sapic/d' plugins/sapic/Makefile - - # Maude 3.2.1 - sed -i 's/"3.0", "3.1"]/"3.0", "3.1", "3.2.1", "3.2.2"]/' src/Main/Environment.hs -} +sha512sums=('62d8da7a46d521f85fa4544c676b5c7a6d0f26770eb4169fc3aef66e9b1df61753fc1e1fca9531cbe29d971807cc04f7af80c4c9f9c4bb2bae632c6e1fb32662') build() { cd $pkgname-$pkgver @@ -35,9 +27,6 @@ build() { --docdir=/usr/share/doc/$pkgname --datasubdir=$pkgname \ -fthreaded -ftest-coverage -f-build-tests --ghc-option='-pie' runhaskell Setup build $MAKEFLAGS - - cd plugins/sapic - make -j1 } check() { @@ -52,7 +41,4 @@ package() { install -Dm644 etc/filetype.vim "$pkgdir"/usr/share/vim/vimfiles/ftdetect/tamarin.vim install -Dm644 etc/syntax/spthy.vim "$pkgdir"/usr/share/vim/vimfiles/syntax/spthy.vim ln -s spthy.vim "$pkgdir"/usr/share/vim/vimfiles/syntax/sapic.vim - - cd plugins/sapic - install -Dm755 sapic "$pkgdir"/usr/bin/sapic } View it on GitLab: https://gitlab.archlinux.org/archlinux/packaging/packages/tamarin-prover/-/commit/29a7a8e0ebbc864fa0eae7bd80d854f706d8a9ff -- View it on GitLab: https://gitlab.archlinux.org/archlinux/packaging/packages/tamarin-prover/-/commit/29a7a8e0ebbc864fa0eae7bd80d854f706d8a9ff You're receiving this email because of your account on gitlab.archlinux.org.
