Date: Sunday, August 6, 2017 @ 19:14:28 Author: felixonmars Revision: 249080
upgpkg: tamarin-prover 1.2.2-2 add missing dependencies and build sapic Modified: tamarin-prover/trunk/PKGBUILD ----------+ PKGBUILD | 31 +++++++++++++++++++++++-------- 1 file changed, 23 insertions(+), 8 deletions(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2017-08-06 18:45:03 UTC (rev 249079) +++ PKGBUILD 2017-08-06 19:14:28 UTC (rev 249080) @@ -4,21 +4,26 @@ pkgname=tamarin-prover pkgver=1.2.2 -pkgrel=1 +pkgrel=2 pkgdesc="The Tamarin prover for security protocol analysis" url="http://tamarin-prover.github.io"; license=("GPL") arch=('i686' 'x86_64') -depends=('ghc' "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-mtl" - "haskell-resourcet" "haskell-safe" "haskell-shakespeare" "haskell-text" "haskell-threads" - "haskell-wai" "haskell-warp" "haskell-yesod-core" "haskell-yesod-static" - "haskell-tamarin-prover-utils" "haskell-tamarin-prover-term" - "haskell-tamarin-prover-theory") +depends=('graphviz' 'maude' 'ocaml' 'ghc' "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-mtl" "haskell-resourcet" "haskell-safe" + "haskell-shakespeare" "haskell-text" "haskell-threads" "haskell-wai" "haskell-warp" + "haskell-yesod-core" "haskell-yesod-static" "haskell-tamarin-prover-utils" + "haskell-tamarin-prover-term" "haskell-tamarin-prover-theory") source=("tamarin-prover-$pkgver.tar.gz::https://github.com/tamarin-prover/tamarin-prover/archive/$pkgver.tar.gz";) sha256sums=('f9b2d3acc01b89f71d2b246a6b3010ebab71e4fe309b3be8a8eac213422b43de') +prepare() { + cd "${srcdir}/${pkgname}-${pkgver}" + sed -i '/cp sapic/d' plugins/sapic/Makefile +} + build() { cd "${srcdir}/${pkgname}-${pkgver}" @@ -26,9 +31,19 @@ --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/filetype.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 }
