Date: Tuesday, September 5, 2017 @ 18:40:34 Author: felixonmars Revision: 255889
archrelease: copy trunk to community-staging-i686, community-staging-x86_64 Added: tamarin-prover/repos/community-staging-i686/ tamarin-prover/repos/community-staging-i686/PKGBUILD (from rev 255887, tamarin-prover/trunk/PKGBUILD) tamarin-prover/repos/community-staging-x86_64/ tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 255888, tamarin-prover/trunk/PKGBUILD) -----------------------------------+ community-staging-i686/PKGBUILD | 51 ++++++++++++++++++++++++++++++++++++ community-staging-x86_64/PKGBUILD | 51 ++++++++++++++++++++++++++++++++++++ 2 files changed, 102 insertions(+) Copied: tamarin-prover/repos/community-staging-i686/PKGBUILD (from rev 255887, tamarin-prover/trunk/PKGBUILD) =================================================================== --- community-staging-i686/PKGBUILD (rev 0) +++ community-staging-i686/PKGBUILD 2017-09-05 18:40:34 UTC (rev 255889) @@ -0,0 +1,51 @@ +# $Id$ +# Maintainer: Felix Yan <felixonm...@archlinux.org> +# Contributor: Arch Haskell Team <arch-hask...@haskell.org> + +pkgname=tamarin-prover +pkgver=1.2.2 +pkgrel=11 +pkgdesc="The Tamarin prover for security protocol analysis" +url="http://tamarin-prover.github.io" +license=("GPL") +arch=('i686' '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-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") +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") +sha256sums=('f9b2d3acc01b89f71d2b246a6b3010ebab71e4fe309b3be8a8eac213422b43de') + +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/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 +} Copied: tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 255888, tamarin-prover/trunk/PKGBUILD) =================================================================== --- community-staging-x86_64/PKGBUILD (rev 0) +++ community-staging-x86_64/PKGBUILD 2017-09-05 18:40:34 UTC (rev 255889) @@ -0,0 +1,51 @@ +# $Id$ +# Maintainer: Felix Yan <felixonm...@archlinux.org> +# Contributor: Arch Haskell Team <arch-hask...@haskell.org> + +pkgname=tamarin-prover +pkgver=1.2.2 +pkgrel=11 +pkgdesc="The Tamarin prover for security protocol analysis" +url="http://tamarin-prover.github.io" +license=("GPL") +arch=('i686' '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-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") +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") +sha256sums=('f9b2d3acc01b89f71d2b246a6b3010ebab71e4fe309b3be8a8eac213422b43de') + +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/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 +}