[arch-commits] Commit in tamarin-prover/repos/community-x86_64 (PKGBUILD PKGBUILD)
Date: Saturday, August 29, 2020 @ 13:19:46 Author: juergen Revision: 692215 archrelease: copy trunk to community-x86_64 Added: tamarin-prover/repos/community-x86_64/PKGBUILD (from rev 692214, tamarin-prover/trunk/PKGBUILD) Deleted: tamarin-prover/repos/community-x86_64/PKGBUILD --+ PKGBUILD | 108 ++--- 1 file changed, 54 insertions(+), 54 deletions(-) Deleted: PKGBUILD === --- PKGBUILD2020-08-29 13:19:34 UTC (rev 692214) +++ PKGBUILD2020-08-29 13:19:46 UTC (rev 692215) @@ -1,54 +0,0 @@ -# Maintainer: Felix Yan -# Contributor: Arch Haskell Team - -pkgname=tamarin-prover -pkgver=1.4.1 -pkgrel=413 -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-x86_64/PKGBUILD (from rev 692214, tamarin-prover/trunk/PKGBUILD) === --- PKGBUILD(rev 0) +++ PKGBUILD2020-08-29 13:19:46 UTC (rev 692215) @@ -0,0 +1,54 @@ +# Maintainer: Felix Yan +# Contributor: Arch Haskell Team + +pkgname=tamarin-prover +pkgver=1.4.1 +pkgrel=414 +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>=4.11.0') +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 + +
[arch-commits] Commit in tamarin-prover/repos/community-x86_64 (PKGBUILD PKGBUILD)
Date: Monday, May 18, 2020 @ 17:45:45 Author: juergen Revision: 629592 archrelease: copy trunk to community-x86_64 Added: tamarin-prover/repos/community-x86_64/PKGBUILD (from rev 629591, tamarin-prover/trunk/PKGBUILD) Deleted: tamarin-prover/repos/community-x86_64/PKGBUILD --+ PKGBUILD | 108 ++--- 1 file changed, 54 insertions(+), 54 deletions(-) Deleted: PKGBUILD === --- PKGBUILD2020-05-18 17:45:41 UTC (rev 629591) +++ PKGBUILD2020-05-18 17:45:45 UTC (rev 629592) @@ -1,54 +0,0 @@ -# Maintainer: Felix Yan -# Contributor: Arch Haskell Team - -pkgname=tamarin-prover -pkgver=1.4.1 -pkgrel=336 -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 - -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-x86_64/PKGBUILD (from rev 629591, tamarin-prover/trunk/PKGBUILD) === --- PKGBUILD(rev 0) +++ PKGBUILD2020-05-18 17:45:45 UTC (rev 629592) @@ -0,0 +1,54 @@ +# Maintainer: Felix Yan +# Contributor: Arch Haskell Team + +pkgname=tamarin-prover +pkgver=1.4.1 +pkgrel=337 +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 + +cd plugins/sapic +make -j1 +
[arch-commits] Commit in tamarin-prover/repos/community-x86_64 (PKGBUILD PKGBUILD)
Date: Friday, October 11, 2019 @ 21:46:32 Author: jelle Revision: 515196 archrelease: copy trunk to community-x86_64 Added: tamarin-prover/repos/community-x86_64/PKGBUILD (from rev 515195, tamarin-prover/trunk/PKGBUILD) Deleted: tamarin-prover/repos/community-x86_64/PKGBUILD --+ PKGBUILD | 102 ++--- 1 file changed, 51 insertions(+), 51 deletions(-) Deleted: PKGBUILD === --- PKGBUILD2019-10-11 21:46:23 UTC (rev 515195) +++ PKGBUILD2019-10-11 21:46:32 UTC (rev 515196) @@ -1,51 +0,0 @@ -# Maintainer: Felix Yan -# Contributor: Arch Haskell Team - -pkgname=tamarin-prover -pkgver=1.4.1 -pkgrel=160 -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-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 -} Copied: tamarin-prover/repos/community-x86_64/PKGBUILD (from rev 515195, tamarin-prover/trunk/PKGBUILD) === --- PKGBUILD(rev 0) +++ PKGBUILD2019-10-11 21:46:32 UTC (rev 515196) @@ -0,0 +1,51 @@ +# Maintainer: Felix Yan +# Contributor: Arch Haskell Team + +pkgname=tamarin-prover +pkgver=1.4.1 +pkgrel=161 +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-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 --ghc-option='-pie' +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/synt
[arch-commits] Commit in tamarin-prover/repos/community-x86_64 (PKGBUILD PKGBUILD)
Date: Thursday, October 10, 2019 @ 12:02:49 Author: juergen Revision: 514450 archrelease: copy trunk to community-x86_64 Added: tamarin-prover/repos/community-x86_64/PKGBUILD (from rev 514449, tamarin-prover/trunk/PKGBUILD) Deleted: tamarin-prover/repos/community-x86_64/PKGBUILD --+ PKGBUILD | 102 ++--- 1 file changed, 51 insertions(+), 51 deletions(-) Deleted: PKGBUILD === --- PKGBUILD2019-10-10 12:02:27 UTC (rev 514449) +++ PKGBUILD2019-10-10 12:02:49 UTC (rev 514450) @@ -1,51 +0,0 @@ -# Maintainer: Felix Yan -# Contributor: Arch Haskell Team - -pkgname=tamarin-prover -pkgver=1.4.1 -pkgrel=157 -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-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 -} Copied: tamarin-prover/repos/community-x86_64/PKGBUILD (from rev 514449, tamarin-prover/trunk/PKGBUILD) === --- PKGBUILD(rev 0) +++ PKGBUILD2019-10-10 12:02:49 UTC (rev 514450) @@ -0,0 +1,51 @@ +# Maintainer: Felix Yan +# Contributor: Arch Haskell Team + +pkgname=tamarin-prover +pkgver=1.4.1 +pkgrel=157 +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-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 + +
[arch-commits] Commit in tamarin-prover/repos/community-x86_64 (PKGBUILD PKGBUILD)
Date: Thursday, October 10, 2019 @ 09:49:52 Author: juergen Revision: 514439 archrelease: copy trunk to community-x86_64 Added: tamarin-prover/repos/community-x86_64/PKGBUILD (from rev 514438, tamarin-prover/trunk/PKGBUILD) Deleted: tamarin-prover/repos/community-x86_64/PKGBUILD --+ PKGBUILD | 102 ++--- 1 file changed, 51 insertions(+), 51 deletions(-) Deleted: PKGBUILD === --- PKGBUILD2019-10-10 09:49:35 UTC (rev 514438) +++ PKGBUILD2019-10-10 09:49:52 UTC (rev 514439) @@ -1,51 +0,0 @@ -# Maintainer: Felix Yan -# Contributor: Arch Haskell Team - -pkgname=tamarin-prover -pkgver=1.4.1 -pkgrel=156 -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-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 -} Copied: tamarin-prover/repos/community-x86_64/PKGBUILD (from rev 514438, tamarin-prover/trunk/PKGBUILD) === --- PKGBUILD(rev 0) +++ PKGBUILD2019-10-10 09:49:52 UTC (rev 514439) @@ -0,0 +1,51 @@ +# Maintainer: Felix Yan +# Contributor: Arch Haskell Team + +pkgname=tamarin-prover +pkgver=1.4.1 +pkgrel=157 +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-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 + +
[arch-commits] Commit in tamarin-prover/repos/community-x86_64 (PKGBUILD PKGBUILD)
Date: Saturday, August 24, 2019 @ 12:47:27 Author: juergen Revision: 501492 archrelease: copy trunk to community-x86_64 Added: tamarin-prover/repos/community-x86_64/PKGBUILD (from rev 501491, tamarin-prover/trunk/PKGBUILD) Deleted: tamarin-prover/repos/community-x86_64/PKGBUILD --+ PKGBUILD | 102 ++--- 1 file changed, 51 insertions(+), 51 deletions(-) Deleted: PKGBUILD === --- PKGBUILD2019-08-24 12:47:18 UTC (rev 501491) +++ PKGBUILD2019-08-24 12:47:27 UTC (rev 501492) @@ -1,51 +0,0 @@ -# Maintainer: Felix Yan -# Contributor: Arch Haskell Team - -pkgname=tamarin-prover -pkgver=1.4.1 -pkgrel=134 -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-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 -} Copied: tamarin-prover/repos/community-x86_64/PKGBUILD (from rev 501491, tamarin-prover/trunk/PKGBUILD) === --- PKGBUILD(rev 0) +++ PKGBUILD2019-08-24 12:47:27 UTC (rev 501492) @@ -0,0 +1,51 @@ +# Maintainer: Felix Yan +# Contributor: Arch Haskell Team + +pkgname=tamarin-prover +pkgver=1.4.1 +pkgrel=135 +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-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 + +
[arch-commits] Commit in tamarin-prover/repos/community-x86_64 (PKGBUILD PKGBUILD)
Date: Friday, August 16, 2019 @ 06:35:34 Author: juergen Revision: 499763 archrelease: copy trunk to community-x86_64 Added: tamarin-prover/repos/community-x86_64/PKGBUILD (from rev 499762, tamarin-prover/trunk/PKGBUILD) Deleted: tamarin-prover/repos/community-x86_64/PKGBUILD --+ PKGBUILD | 102 ++--- 1 file changed, 51 insertions(+), 51 deletions(-) Deleted: PKGBUILD === --- PKGBUILD2019-08-16 06:35:19 UTC (rev 499762) +++ PKGBUILD2019-08-16 06:35:34 UTC (rev 499763) @@ -1,51 +0,0 @@ -# Maintainer: Felix Yan -# Contributor: Arch Haskell Team - -pkgname=tamarin-prover -pkgver=1.4.1 -pkgrel=129 -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-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 -} Copied: tamarin-prover/repos/community-x86_64/PKGBUILD (from rev 499762, tamarin-prover/trunk/PKGBUILD) === --- PKGBUILD(rev 0) +++ PKGBUILD2019-08-16 06:35:34 UTC (rev 499763) @@ -0,0 +1,51 @@ +# Maintainer: Felix Yan +# Contributor: Arch Haskell Team + +pkgname=tamarin-prover +pkgver=1.4.1 +pkgrel=130 +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-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 + +