Date: Sunday, August 6, 2017 @ 16:59:50 Author: felixonmars Revision: 249057
addpkg: tamarin-prover 1.2.2-1 Added: tamarin-prover/ tamarin-prover/repos/ tamarin-prover/trunk/ tamarin-prover/trunk/PKGBUILD ----------+ PKGBUILD | 34 ++++++++++++++++++++++++++++++++++ 1 file changed, 34 insertions(+) Added: tamarin-prover/trunk/PKGBUILD =================================================================== --- tamarin-prover/trunk/PKGBUILD (rev 0) +++ tamarin-prover/trunk/PKGBUILD 2017-08-06 16:59:50 UTC (rev 249057) @@ -0,0 +1,34 @@ +# $Id$ +# Maintainer: Felix Yan <felixonm...@archlinux.org> +# Contributor: Arch Haskell Team <arch-hask...@haskell.org> + +pkgname=tamarin-prover +pkgver=1.2.2 +pkgrel=1 +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") +source=("tamarin-prover-$pkgver.tar.gz::https://github.com/tamarin-prover/tamarin-prover/archive/$pkgver.tar.gz";) +sha256sums=('f9b2d3acc01b89f71d2b246a6b3010ebab71e4fe309b3be8a8eac213422b43de') + +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 +} + +package() { + cd "${srcdir}/${pkgname}-${pkgver}" + runhaskell Setup copy --destdir="${pkgdir}" +} Property changes on: tamarin-prover/trunk/PKGBUILD ___________________________________________________________________ Added: svn:keywords ## -0,0 +1 ## +Id \ No newline at end of property
