[arch-commits] Commit in tamarin-prover/repos/community-staging-x86_64 (2 files)
Date: Wednesday, August 5, 2020 @ 17:15:09 Author: felixonmars Revision: 669672 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 669671, tamarin-prover/trunk/PKGBUILD) Deleted: tamarin-prover/repos/community-staging-x86_64/PKGBUILD --+ PKGBUILD | 108 ++--- 1 file changed, 54 insertions(+), 54 deletions(-) Deleted: PKGBUILD === --- PKGBUILD2020-08-05 17:14:56 UTC (rev 669671) +++ PKGBUILD2020-08-05 17:15:09 UTC (rev 669672) @@ -1,54 +0,0 @@ -# Maintainer: Felix Yan -# Contributor: Arch Haskell Team - -pkgname=tamarin-prover -pkgver=1.4.1 -pkgrel=387 -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-instances' '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 - -sed -i 's/binary-orphans/binary-instances/' $pkgname.cabal -sed -i 's/Data.Binary.Orphans/Data.Binary.Instances/' src/Web/Types.hs -} - -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 --ghc-option='-pie' -runhaskell Setup build $MAKEFLAGS - -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 -} Copied: tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 669671, tamarin-prover/trunk/PKGBUILD) === --- PKGBUILD(rev 0) +++ PKGBUILD2020-08-05 17:15:09 UTC (rev 669672) @@ -0,0 +1,54 @@ +# Maintainer: Felix Yan +# Contributor: Arch Haskell Team + +pkgname=tamarin-prover +pkgver=1.4.1 +pkgrel=388 +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-instances' '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 + +sed -i 's/binary-orphans/binary-instances/' $pkgname.cabal +sed -i 's/Data.Binary.Orphans/Data.Binary.Instances/' src/Web/Types.hs +} + +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 --ghc-option='-pie' +runhaskell
[arch-commits] Commit in tamarin-prover/repos/community-staging-x86_64 (2 files)
Date: Tuesday, August 4, 2020 @ 18:35:10 Author: felixonmars Revision: 669021 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 669020, tamarin-prover/trunk/PKGBUILD) Deleted: tamarin-prover/repos/community-staging-x86_64/PKGBUILD --+ PKGBUILD | 108 ++--- 1 file changed, 54 insertions(+), 54 deletions(-) Deleted: PKGBUILD === --- PKGBUILD2020-08-04 18:34:58 UTC (rev 669020) +++ PKGBUILD2020-08-04 18:35:10 UTC (rev 669021) @@ -1,54 +0,0 @@ -# Maintainer: Felix Yan -# Contributor: Arch Haskell Team - -pkgname=tamarin-prover -pkgver=1.4.1 -pkgrel=386 -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-instances' '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 - -sed -i 's/binary-orphans/binary-instances/' $pkgname.cabal -sed -i 's/Data.Binary.Orphans/Data.Binary.Instances/' src/Web/Types.hs -} - -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 --ghc-option='-pie' -runhaskell Setup build $MAKEFLAGS - -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 -} Copied: tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 669020, tamarin-prover/trunk/PKGBUILD) === --- PKGBUILD(rev 0) +++ PKGBUILD2020-08-04 18:35:10 UTC (rev 669021) @@ -0,0 +1,54 @@ +# Maintainer: Felix Yan +# Contributor: Arch Haskell Team + +pkgname=tamarin-prover +pkgver=1.4.1 +pkgrel=387 +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-instances' '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 + +sed -i 's/binary-orphans/binary-instances/' $pkgname.cabal +sed -i 's/Data.Binary.Orphans/Data.Binary.Instances/' src/Web/Types.hs +} + +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 --ghc-option='-pie' +runhaskell S
[arch-commits] Commit in tamarin-prover/repos/community-staging-x86_64 (2 files)
Date: Tuesday, August 4, 2020 @ 16:29:11 Author: felixonmars Revision: 668935 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 668934, tamarin-prover/trunk/PKGBUILD) Deleted: tamarin-prover/repos/community-staging-x86_64/PKGBUILD --+ PKGBUILD | 108 ++--- 1 file changed, 54 insertions(+), 54 deletions(-) Deleted: PKGBUILD === --- PKGBUILD2020-08-04 16:28:56 UTC (rev 668934) +++ PKGBUILD2020-08-04 16:29:11 UTC (rev 668935) @@ -1,54 +0,0 @@ -# Maintainer: Felix Yan -# Contributor: Arch Haskell Team - -pkgname=tamarin-prover -pkgver=1.4.1 -pkgrel=385 -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-instances' '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 - -sed -i 's/binary-orphans/binary-instances/' $pkgname.cabal -sed -i 's/Data.Binary.Orphans/Data.Binary.Instances/' src/Web/Types.hs -} - -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 --ghc-option='-pie' -runhaskell Setup build $MAKEFLAGS - -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 -} Copied: tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 668934, tamarin-prover/trunk/PKGBUILD) === --- PKGBUILD(rev 0) +++ PKGBUILD2020-08-04 16:29:11 UTC (rev 668935) @@ -0,0 +1,54 @@ +# Maintainer: Felix Yan +# Contributor: Arch Haskell Team + +pkgname=tamarin-prover +pkgver=1.4.1 +pkgrel=386 +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-instances' '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 + +sed -i 's/binary-orphans/binary-instances/' $pkgname.cabal +sed -i 's/Data.Binary.Orphans/Data.Binary.Instances/' src/Web/Types.hs +} + +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 --ghc-option='-pie' +runhaskell S
[arch-commits] Commit in tamarin-prover/repos/community-staging-x86_64 (2 files)
Date: Tuesday, August 4, 2020 @ 08:01:48 Author: felixonmars Revision: 668730 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 668729, tamarin-prover/trunk/PKGBUILD) Deleted: tamarin-prover/repos/community-staging-x86_64/PKGBUILD --+ PKGBUILD | 108 ++--- 1 file changed, 54 insertions(+), 54 deletions(-) Deleted: PKGBUILD === --- PKGBUILD2020-08-04 08:01:36 UTC (rev 668729) +++ PKGBUILD2020-08-04 08:01:48 UTC (rev 668730) @@ -1,54 +0,0 @@ -# Maintainer: Felix Yan -# Contributor: Arch Haskell Team - -pkgname=tamarin-prover -pkgver=1.4.1 -pkgrel=384 -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-instances' '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 - -sed -i 's/binary-orphans/binary-instances/' $pkgname.cabal -sed -i 's/Data.Binary.Orphans/Data.Binary.Instances/' src/Web/Types.hs -} - -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 --ghc-option='-pie' -runhaskell Setup build $MAKEFLAGS - -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 -} Copied: tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 668729, tamarin-prover/trunk/PKGBUILD) === --- PKGBUILD(rev 0) +++ PKGBUILD2020-08-04 08:01:48 UTC (rev 668730) @@ -0,0 +1,54 @@ +# Maintainer: Felix Yan +# Contributor: Arch Haskell Team + +pkgname=tamarin-prover +pkgver=1.4.1 +pkgrel=385 +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-instances' '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 + +sed -i 's/binary-orphans/binary-instances/' $pkgname.cabal +sed -i 's/Data.Binary.Orphans/Data.Binary.Instances/' src/Web/Types.hs +} + +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 --ghc-option='-pie' +runhaskell S
[arch-commits] Commit in tamarin-prover/repos/community-staging-x86_64 (2 files)
Date: Monday, August 3, 2020 @ 15:32:37 Author: felixonmars Revision: 668421 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 668420, tamarin-prover/trunk/PKGBUILD) Deleted: tamarin-prover/repos/community-staging-x86_64/PKGBUILD --+ PKGBUILD | 108 ++--- 1 file changed, 54 insertions(+), 54 deletions(-) Deleted: PKGBUILD === --- PKGBUILD2020-08-03 15:32:25 UTC (rev 668420) +++ PKGBUILD2020-08-03 15:32:37 UTC (rev 668421) @@ -1,54 +0,0 @@ -# Maintainer: Felix Yan -# Contributor: Arch Haskell Team - -pkgname=tamarin-prover -pkgver=1.4.1 -pkgrel=383 -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-instances' '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 - -sed -i 's/binary-orphans/binary-instances/' $pkgname.cabal -sed -i 's/Data.Binary.Orphans/Data.Binary.Instances/' src/Web/Types.hs -} - -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 --ghc-option='-pie' -runhaskell Setup build $MAKEFLAGS - -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 -} Copied: tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 668420, tamarin-prover/trunk/PKGBUILD) === --- PKGBUILD(rev 0) +++ PKGBUILD2020-08-03 15:32:37 UTC (rev 668421) @@ -0,0 +1,54 @@ +# Maintainer: Felix Yan +# Contributor: Arch Haskell Team + +pkgname=tamarin-prover +pkgver=1.4.1 +pkgrel=384 +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-instances' '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 + +sed -i 's/binary-orphans/binary-instances/' $pkgname.cabal +sed -i 's/Data.Binary.Orphans/Data.Binary.Instances/' src/Web/Types.hs +} + +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 --ghc-option='-pie' +runhaskell Se
[arch-commits] Commit in tamarin-prover/repos/community-staging-x86_64 (2 files)
Date: Sunday, August 2, 2020 @ 23:06:48 Author: felixonmars Revision: 667990 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 667989, tamarin-prover/trunk/PKGBUILD) Deleted: tamarin-prover/repos/community-staging-x86_64/PKGBUILD --+ PKGBUILD | 108 ++--- 1 file changed, 54 insertions(+), 54 deletions(-) Deleted: PKGBUILD === --- PKGBUILD2020-08-02 23:06:36 UTC (rev 667989) +++ PKGBUILD2020-08-02 23:06:48 UTC (rev 667990) @@ -1,54 +0,0 @@ -# Maintainer: Felix Yan -# Contributor: Arch Haskell Team - -pkgname=tamarin-prover -pkgver=1.4.1 -pkgrel=382 -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-instances' '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 - -sed -i 's/binary-orphans/binary-instances/' $pkgname.cabal -sed -i 's/Data.Binary.Orphans/Data.Binary.Instances/' src/Web/Types.hs -} - -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 --ghc-option='-pie' -runhaskell Setup build $MAKEFLAGS - -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 -} Copied: tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 667989, tamarin-prover/trunk/PKGBUILD) === --- PKGBUILD(rev 0) +++ PKGBUILD2020-08-02 23:06:48 UTC (rev 667990) @@ -0,0 +1,54 @@ +# Maintainer: Felix Yan +# Contributor: Arch Haskell Team + +pkgname=tamarin-prover +pkgver=1.4.1 +pkgrel=383 +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-instances' '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 + +sed -i 's/binary-orphans/binary-instances/' $pkgname.cabal +sed -i 's/Data.Binary.Orphans/Data.Binary.Instances/' src/Web/Types.hs +} + +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 --ghc-option='-pie' +runhaskell Se
[arch-commits] Commit in tamarin-prover/repos/community-staging-x86_64 (2 files)
Date: Sunday, August 2, 2020 @ 17:21:35 Author: felixonmars Revision: 667836 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 667835, tamarin-prover/trunk/PKGBUILD) Deleted: tamarin-prover/repos/community-staging-x86_64/PKGBUILD --+ PKGBUILD | 108 ++--- 1 file changed, 54 insertions(+), 54 deletions(-) Deleted: PKGBUILD === --- PKGBUILD2020-08-02 17:21:20 UTC (rev 667835) +++ PKGBUILD2020-08-02 17:21:35 UTC (rev 667836) @@ -1,54 +0,0 @@ -# Maintainer: Felix Yan -# Contributor: Arch Haskell Team - -pkgname=tamarin-prover -pkgver=1.4.1 -pkgrel=381 -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-instances' '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 - -sed -i 's/binary-orphans/binary-instances/' $pkgname.cabal -sed -i 's/Data.Binary.Orphans/Data.Binary.Instances/' src/Web/Types.hs -} - -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 --ghc-option='-pie' -runhaskell Setup build $MAKEFLAGS - -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 -} Copied: tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 667835, tamarin-prover/trunk/PKGBUILD) === --- PKGBUILD(rev 0) +++ PKGBUILD2020-08-02 17:21:35 UTC (rev 667836) @@ -0,0 +1,54 @@ +# Maintainer: Felix Yan +# Contributor: Arch Haskell Team + +pkgname=tamarin-prover +pkgver=1.4.1 +pkgrel=382 +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-instances' '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 + +sed -i 's/binary-orphans/binary-instances/' $pkgname.cabal +sed -i 's/Data.Binary.Orphans/Data.Binary.Instances/' src/Web/Types.hs +} + +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 --ghc-option='-pie' +runhaskell Se
[arch-commits] Commit in tamarin-prover/repos/community-staging-x86_64 (2 files)
Date: Monday, January 21, 2019 @ 18:52:01 Author: felixonmars Revision: 426299 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 426298, tamarin-prover/trunk/PKGBUILD) Deleted: tamarin-prover/repos/community-staging-x86_64/PKGBUILD --+ PKGBUILD | 102 ++--- 1 file changed, 51 insertions(+), 51 deletions(-) Deleted: PKGBUILD === --- PKGBUILD2019-01-21 18:51:44 UTC (rev 426298) +++ PKGBUILD2019-01-21 18:52:01 UTC (rev 426299) @@ -1,51 +0,0 @@ -# Maintainer: Felix Yan -# Contributor: Arch Haskell Team - -pkgname=tamarin-prover -pkgver=1.4.1 -pkgrel=3 -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/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 426298, tamarin-prover/trunk/PKGBUILD) === --- PKGBUILD(rev 0) +++ PKGBUILD2019-01-21 18:52:01 UTC (rev 426299) @@ -0,0 +1,51 @@ +# Maintainer: Felix Yan +# Contributor: Arch Haskell Team + +pkgname=tamarin-prover +pkgver=1.4.1 +pkgrel=4 +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/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/s
[arch-commits] Commit in tamarin-prover/repos/community-staging-x86_64 (2 files)
Date: Tuesday, May 22, 2018 @ 02:34:43 Author: felixonmars Revision: 326732 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 326731, tamarin-prover/trunk/PKGBUILD) Deleted: tamarin-prover/repos/community-staging-x86_64/PKGBUILD --+ PKGBUILD | 104 ++--- 1 file changed, 52 insertions(+), 52 deletions(-) Deleted: PKGBUILD === --- PKGBUILD2018-05-22 02:34:20 UTC (rev 326731) +++ PKGBUILD2018-05-22 02:34:43 UTC (rev 326732) @@ -1,52 +0,0 @@ -# $Id$ -# Maintainer: Felix Yan -# Contributor: Arch Haskell Team - -pkgname=tamarin-prover -pkgver=1.4.0 -pkgrel=13 -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=('7c1afe6a53b596c2ce01e9ad7a7f464af1f4efbc5f8edc13d5ec8bc32ce4e91ddde91dff6ab8e01cf3cf30a37a3a18953d937debc36c9df664f718d968e2ae74') - -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 326731, tamarin-prover/trunk/PKGBUILD) === --- PKGBUILD(rev 0) +++ PKGBUILD2018-05-22 02:34:43 UTC (rev 326732) @@ -0,0 +1,52 @@ +# $Id$ +# Maintainer: Felix Yan +# Contributor: Arch Haskell Team + +pkgname=tamarin-prover +pkgver=1.4.0 +pkgrel=14 +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=('7c1afe6a53b596c2ce01e9ad7a7f464af1f4efbc5f8edc13d5ec8bc32ce4e91ddde91dff6ab8e01cf3cf30a37a3a18953d937debc36c9df664f718d968e2ae74') + +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/vi
[arch-commits] Commit in tamarin-prover/repos/community-staging-x86_64 (2 files)
Date: Monday, May 21, 2018 @ 09:44:21 Author: felixonmars Revision: 325987 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 325986, tamarin-prover/trunk/PKGBUILD) Deleted: tamarin-prover/repos/community-staging-x86_64/PKGBUILD --+ PKGBUILD | 104 ++--- 1 file changed, 52 insertions(+), 52 deletions(-) Deleted: PKGBUILD === --- PKGBUILD2018-05-21 09:43:59 UTC (rev 325986) +++ PKGBUILD2018-05-21 09:44:21 UTC (rev 325987) @@ -1,52 +0,0 @@ -# $Id$ -# Maintainer: Felix Yan -# Contributor: Arch Haskell Team - -pkgname=tamarin-prover -pkgver=1.4.0 -pkgrel=12 -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=('7c1afe6a53b596c2ce01e9ad7a7f464af1f4efbc5f8edc13d5ec8bc32ce4e91ddde91dff6ab8e01cf3cf30a37a3a18953d937debc36c9df664f718d968e2ae74') - -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 325986, tamarin-prover/trunk/PKGBUILD) === --- PKGBUILD(rev 0) +++ PKGBUILD2018-05-21 09:44:21 UTC (rev 325987) @@ -0,0 +1,52 @@ +# $Id$ +# Maintainer: Felix Yan +# Contributor: Arch Haskell Team + +pkgname=tamarin-prover +pkgver=1.4.0 +pkgrel=13 +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=('7c1afe6a53b596c2ce01e9ad7a7f464af1f4efbc5f8edc13d5ec8bc32ce4e91ddde91dff6ab8e01cf3cf30a37a3a18953d937debc36c9df664f718d968e2ae74') + +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/vim
[arch-commits] Commit in tamarin-prover/repos/community-staging-x86_64 (2 files)
Date: Sunday, May 20, 2018 @ 14:41:22 Author: felixonmars Revision: 325361 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 325360, tamarin-prover/trunk/PKGBUILD) Deleted: tamarin-prover/repos/community-staging-x86_64/PKGBUILD --+ PKGBUILD | 104 ++--- 1 file changed, 52 insertions(+), 52 deletions(-) Deleted: PKGBUILD === --- PKGBUILD2018-05-20 14:41:00 UTC (rev 325360) +++ PKGBUILD2018-05-20 14:41:22 UTC (rev 325361) @@ -1,52 +0,0 @@ -# $Id$ -# Maintainer: Felix Yan -# Contributor: Arch Haskell Team - -pkgname=tamarin-prover -pkgver=1.4.0 -pkgrel=11 -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=('7c1afe6a53b596c2ce01e9ad7a7f464af1f4efbc5f8edc13d5ec8bc32ce4e91ddde91dff6ab8e01cf3cf30a37a3a18953d937debc36c9df664f718d968e2ae74') - -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 325360, tamarin-prover/trunk/PKGBUILD) === --- PKGBUILD(rev 0) +++ PKGBUILD2018-05-20 14:41:22 UTC (rev 325361) @@ -0,0 +1,52 @@ +# $Id$ +# Maintainer: Felix Yan +# Contributor: Arch Haskell Team + +pkgname=tamarin-prover +pkgver=1.4.0 +pkgrel=12 +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=('7c1afe6a53b596c2ce01e9ad7a7f464af1f4efbc5f8edc13d5ec8bc32ce4e91ddde91dff6ab8e01cf3cf30a37a3a18953d937debc36c9df664f718d968e2ae74') + +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/vim
[arch-commits] Commit in tamarin-prover/repos/community-staging-x86_64 (2 files)
Date: Sunday, May 20, 2018 @ 07:31:48 Author: felixonmars Revision: 325166 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 325165, tamarin-prover/trunk/PKGBUILD) Deleted: tamarin-prover/repos/community-staging-x86_64/PKGBUILD --+ PKGBUILD | 104 ++--- 1 file changed, 52 insertions(+), 52 deletions(-) Deleted: PKGBUILD === --- PKGBUILD2018-05-20 07:31:25 UTC (rev 325165) +++ PKGBUILD2018-05-20 07:31:48 UTC (rev 325166) @@ -1,52 +0,0 @@ -# $Id$ -# Maintainer: Felix Yan -# Contributor: Arch Haskell Team - -pkgname=tamarin-prover -pkgver=1.4.0 -pkgrel=10 -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=('7c1afe6a53b596c2ce01e9ad7a7f464af1f4efbc5f8edc13d5ec8bc32ce4e91ddde91dff6ab8e01cf3cf30a37a3a18953d937debc36c9df664f718d968e2ae74') - -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 325165, tamarin-prover/trunk/PKGBUILD) === --- PKGBUILD(rev 0) +++ PKGBUILD2018-05-20 07:31:48 UTC (rev 325166) @@ -0,0 +1,52 @@ +# $Id$ +# Maintainer: Felix Yan +# Contributor: Arch Haskell Team + +pkgname=tamarin-prover +pkgver=1.4.0 +pkgrel=11 +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=('7c1afe6a53b596c2ce01e9ad7a7f464af1f4efbc5f8edc13d5ec8bc32ce4e91ddde91dff6ab8e01cf3cf30a37a3a18953d937debc36c9df664f718d968e2ae74') + +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/vim
[arch-commits] Commit in tamarin-prover/repos/community-staging-x86_64 (2 files)
Date: Sunday, April 15, 2018 @ 17:01:02 Author: felixonmars Revision: 316423 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 316422, tamarin-prover/trunk/PKGBUILD) Deleted: tamarin-prover/repos/community-staging-x86_64/PKGBUILD --+ PKGBUILD | 102 ++--- 1 file changed, 51 insertions(+), 51 deletions(-) Deleted: PKGBUILD === --- PKGBUILD2018-04-15 17:00:35 UTC (rev 316422) +++ PKGBUILD2018-04-15 17:01:02 UTC (rev 316423) @@ -1,51 +0,0 @@ -# $Id$ -# Maintainer: Felix Yan -# Contributor: Arch Haskell Team - -pkgname=tamarin-prover -pkgver=1.2.3 -pkgrel=39 -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-mtl' 'haskell-parsec' '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";) -sha512sums=('3ec371f0abf1a391bbc2be0b3e3940b5f634515e443a6535ab3b8a5c6514004bbada35838b63e2c1e5edcbbdb230eae5be03dd8464f8516d3301bf02aad3d5ff') - -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 316422, tamarin-prover/trunk/PKGBUILD) === --- PKGBUILD(rev 0) +++ PKGBUILD2018-04-15 17:01:02 UTC (rev 316423) @@ -0,0 +1,51 @@ +# $Id$ +# Maintainer: Felix Yan +# Contributor: Arch Haskell Team + +pkgname=tamarin-prover +pkgver=1.2.3 +pkgrel=40 +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-mtl' 'haskell-parsec' '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";) +sha512sums=('3ec371f0abf1a391bbc2be0b3e3940b5f634515e443a6535ab3b8a5c6514004bbada35838b63e2c1e5edcbbdb230eae5be03dd8464f8516d3301bf02aad3d5ff') + +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.vi
[arch-commits] Commit in tamarin-prover/repos/community-staging-x86_64 (2 files)
Date: Sunday, April 15, 2018 @ 16:24:38 Author: felixonmars Revision: 316399 archrelease: copy trunk to community-staging-x86_64 Added: tamarin-prover/repos/community-staging-x86_64/PKGBUILD (from rev 316398, tamarin-prover/trunk/PKGBUILD) Deleted: tamarin-prover/repos/community-staging-x86_64/PKGBUILD --+ PKGBUILD | 102 ++--- 1 file changed, 51 insertions(+), 51 deletions(-) Deleted: PKGBUILD === --- PKGBUILD2018-04-15 16:24:10 UTC (rev 316398) +++ PKGBUILD2018-04-15 16:24:38 UTC (rev 316399) @@ -1,51 +0,0 @@ -# $Id$ -# Maintainer: Felix Yan -# Contributor: Arch Haskell Team - -pkgname=tamarin-prover -pkgver=1.2.3 -pkgrel=38 -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-mtl' 'haskell-parsec' '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";) -sha512sums=('3ec371f0abf1a391bbc2be0b3e3940b5f634515e443a6535ab3b8a5c6514004bbada35838b63e2c1e5edcbbdb230eae5be03dd8464f8516d3301bf02aad3d5ff') - -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 316398, tamarin-prover/trunk/PKGBUILD) === --- PKGBUILD(rev 0) +++ PKGBUILD2018-04-15 16:24:38 UTC (rev 316399) @@ -0,0 +1,51 @@ +# $Id$ +# Maintainer: Felix Yan +# Contributor: Arch Haskell Team + +pkgname=tamarin-prover +pkgver=1.2.3 +pkgrel=39 +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-mtl' 'haskell-parsec' '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";) +sha512sums=('3ec371f0abf1a391bbc2be0b3e3940b5f634515e443a6535ab3b8a5c6514004bbada35838b63e2c1e5edcbbdb230eae5be03dd8464f8516d3301bf02aad3d5ff') + +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.vi