Date: Thursday, April 11, 2019 @ 06:41:11 Author: felixonmars Revision: 451009
archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 451008, tamarin-prover/trunk/PKGBUILD) ----------+ PKGBUILD | 51 +++++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 51 insertions(+) Copied: tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 451008, tamarin-prover/trunk/PKGBUILD) =================================================================== --- community-staging-x86_64/PKGBUILD (rev 0) +++ community-staging-x86_64/PKGBUILD 2019-04-11 06:41:11 UTC (rev 451009) @@ -0,0 +1,51 @@ +# Maintainer: Felix Yan <felixonm...@archlinux.org> +# Contributor: Arch Haskell Team <arch-hask...@haskell.org> + +pkgname=tamarin-prover +pkgver=1.4.1 +pkgrel=47 +pkgdesc="The Tamarin prover for security protocol analysis" +url="http://tamarin-prover.github.io" +license=("GPL") +arch=('x86_64') +depends=('ghc-libs' 'graphviz' 'maude' 'haskell-hunit' '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' + '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') +optdepends=('ocaml: for sapic support') +makedepends=('ghc' 'ocaml') +source=("tamarin-prover-$pkgver.tar.gz::https://github.com/tamarin-prover/tamarin-prover/archive/$pkgver.tar.gz") +sha512sums=('4d3aeae02be5d430bff6c55d78656e3c9a648674d235bfeb36ce227a39abd3054a132b99ff8040abf05d8e26506fe85d21ecfb6fce73062dd45b5ba98d941144') + +prepare() { + cd "${srcdir}/${pkgname}-${pkgver}" + sed -i '/cp sapic/d' plugins/sapic/Makefile +} + +build() { + cd "${srcdir}/${pkgname}-${pkgver}" + + runhaskell Setup configure -O --enable-executable-dynamic --prefix=/usr \ + --docdir="/usr/share/doc/${pkgname}" --datasubdir="$pkgname" \ + -fthreaded -ftest-coverage -f-build-tests + runhaskell Setup build + + cd plugins/sapic + make -j1 +} + +package() { + cd "${srcdir}/${pkgname}-${pkgver}" + runhaskell Setup copy --destdir="${pkgdir}" + + install -Dm644 etc/filetype.vim "$pkgdir"/usr/share/vim/vimfiles/ftdetect/tamarin.vim + install -Dm644 etc/spthy.vim "$pkgdir"/usr/share/vim/vimfiles/syntax/spthy.vim + install -Dm644 etc/sapic.vim "$pkgdir"/usr/share/vim/vimfiles/syntax/sapic.vim + + cd plugins/sapic + install -Dm755 sapic "$pkgdir"/usr/bin/sapic +}