subject:"\[arch\-commits\] Commit in haskell\-tamarin\-prover\-sapic\/repos \(2 files\)"

[arch-commits] Commit in haskell-tamarin-prover-sapic/repos (2 files)

2020-12-29 Thread Felix Yan via arch-commits

Date: Tuesday, December 29, 2020 @ 10:48:32
  Author: felixonmars
Revision: 796805

archrelease: copy trunk to community-staging-x86_64

Added:
  haskell-tamarin-prover-sapic/repos/community-staging-x86_64/
  haskell-tamarin-prover-sapic/repos/community-staging-x86_64/PKGBUILD
(from rev 796804, haskell-tamarin-prover-sapic/trunk/PKGBUILD)

--+
 PKGBUILD |   43 +++
 1 file changed, 43 insertions(+)

Copied: haskell-tamarin-prover-sapic/repos/community-staging-x86_64/PKGBUILD 
(from rev 796804, haskell-tamarin-prover-sapic/trunk/PKGBUILD)
===
--- community-staging-x86_64/PKGBUILD   (rev 0)
+++ community-staging-x86_64/PKGBUILD   2020-12-29 10:48:32 UTC (rev 796805)
@@ -0,0 +1,43 @@
+# Maintainer: Felix Yan 
+
+_hkgname=tamarin-prover-sapic
+pkgname=haskell-tamarin-prover-sapic
+pkgver=1.6.0
+pkgrel=36
+pkgdesc="Library for input processes in SAPIC calculus for the tamarin prover"
+url="http://www.infsec.ethz.ch/research/software/tamarin;
+license=("GPL")
+arch=('x86_64')
+depends=('ghc-libs' 'haskell-aeson' 'haskell-aeson-pretty' 'haskell-dlist' 
'haskell-fclabels'
+ 'haskell-parallel' 'haskell-safe' 'haskell-uniplate' 
'haskell-raw-strings-qq'
+ 'haskell-tamarin-prover-utils' 'haskell-tamarin-prover-term' 
'haskell-tamarin-prover-theory')
+makedepends=('ghc')
+source=("tamarin-prover-$pkgver.tar.gz::https://github.com/tamarin-prover/tamarin-prover/archive/$pkgver.tar.gz;)
+sha512sums=('7f3569f740d63d715b92a8f073eaecb8b32efe59b910b246977d36bb9e873765440e72feb6e76c7cbafab0495b88cfc666bb1dd12f685627c60d5cbd97b2973e')
+
+prepare() {
+cd tamarin-prover-$pkgver/lib/sapic
+echo -e "import Distribution.Simple\nmain = defaultMain" > Setup.hs
+}
+
+build() {
+cd tamarin-prover-$pkgver/lib/sapic
+
+runhaskell Setup configure -O --enable-shared --enable-executable-dynamic 
--disable-library-vanilla \
+--prefix=/usr --docdir=/usr/share/doc/$pkgname \
+--dynlibdir=/usr/lib --libsubdir=\$compiler/site-local/\$pkgid
+runhaskell Setup build $MAKEFLAGS
+runhaskell Setup register --gen-script
+runhaskell Setup unregister --gen-script
+sed -i -r -e "s|ghc-pkg.*update[^ ]* |&'--force' |" register.sh
+sed -i -r -e "s|ghc-pkg.*unregister[^ ]* |&'--force' |" unregister.sh
+}
+
+package() {
+cd tamarin-prover-$pkgver/lib/sapic
+
+install -D -m744 register.sh 
"$pkgdir"/usr/share/haskell/register/$pkgname.sh
+install -D -m744 unregister.sh 
"$pkgdir"/usr/share/haskell/unregister/$pkgname.sh
+runhaskell Setup copy --destdir="$pkgdir"
+rm -f "$pkgdir"/usr/share/doc/$pkgname/LICENSE
+}

[arch-commits] Commit in haskell-tamarin-prover-sapic/repos (2 files)

2020-12-28 Thread Felix Yan via arch-commits

Date: Monday, December 28, 2020 @ 14:09:16
  Author: felixonmars
Revision: 794973

archrelease: copy trunk to community-staging-x86_64

Added:
  haskell-tamarin-prover-sapic/repos/community-staging-x86_64/
  haskell-tamarin-prover-sapic/repos/community-staging-x86_64/PKGBUILD
(from rev 794972, haskell-tamarin-prover-sapic/trunk/PKGBUILD)

--+
 PKGBUILD |   43 +++
 1 file changed, 43 insertions(+)

Copied: haskell-tamarin-prover-sapic/repos/community-staging-x86_64/PKGBUILD 
(from rev 794972, haskell-tamarin-prover-sapic/trunk/PKGBUILD)
===
--- community-staging-x86_64/PKGBUILD   (rev 0)
+++ community-staging-x86_64/PKGBUILD   2020-12-28 14:09:16 UTC (rev 794973)
@@ -0,0 +1,43 @@
+# Maintainer: Felix Yan 
+
+_hkgname=tamarin-prover-sapic
+pkgname=haskell-tamarin-prover-sapic
+pkgver=1.6.0
+pkgrel=35
+pkgdesc="Library for input processes in SAPIC calculus for the tamarin prover"
+url="http://www.infsec.ethz.ch/research/software/tamarin;
+license=("GPL")
+arch=('x86_64')
+depends=('ghc-libs' 'haskell-aeson' 'haskell-aeson-pretty' 'haskell-dlist' 
'haskell-fclabels'
+ 'haskell-parallel' 'haskell-safe' 'haskell-uniplate' 
'haskell-raw-strings-qq'
+ 'haskell-tamarin-prover-utils' 'haskell-tamarin-prover-term' 
'haskell-tamarin-prover-theory')
+makedepends=('ghc')
+source=("tamarin-prover-$pkgver.tar.gz::https://github.com/tamarin-prover/tamarin-prover/archive/$pkgver.tar.gz;)
+sha512sums=('7f3569f740d63d715b92a8f073eaecb8b32efe59b910b246977d36bb9e873765440e72feb6e76c7cbafab0495b88cfc666bb1dd12f685627c60d5cbd97b2973e')
+
+prepare() {
+cd tamarin-prover-$pkgver/lib/sapic
+echo -e "import Distribution.Simple\nmain = defaultMain" > Setup.hs
+}
+
+build() {
+cd tamarin-prover-$pkgver/lib/sapic
+
+runhaskell Setup configure -O --enable-shared --enable-executable-dynamic 
--disable-library-vanilla \
+--prefix=/usr --docdir=/usr/share/doc/$pkgname \
+--dynlibdir=/usr/lib --libsubdir=\$compiler/site-local/\$pkgid
+runhaskell Setup build $MAKEFLAGS
+runhaskell Setup register --gen-script
+runhaskell Setup unregister --gen-script
+sed -i -r -e "s|ghc-pkg.*update[^ ]* |&'--force' |" register.sh
+sed -i -r -e "s|ghc-pkg.*unregister[^ ]* |&'--force' |" unregister.sh
+}
+
+package() {
+cd tamarin-prover-$pkgver/lib/sapic
+
+install -D -m744 register.sh 
"$pkgdir"/usr/share/haskell/register/$pkgname.sh
+install -D -m744 unregister.sh 
"$pkgdir"/usr/share/haskell/unregister/$pkgname.sh
+runhaskell Setup copy --destdir="$pkgdir"
+rm -f "$pkgdir"/usr/share/doc/$pkgname/LICENSE
+}

[arch-commits] Commit in haskell-tamarin-prover-sapic/repos (2 files)

2020-12-25 Thread Felix Yan via arch-commits

Date: Saturday, December 26, 2020 @ 05:45:08
  Author: felixonmars
Revision: 792030

archrelease: copy trunk to community-staging-x86_64

Added:
  haskell-tamarin-prover-sapic/repos/community-staging-x86_64/
  haskell-tamarin-prover-sapic/repos/community-staging-x86_64/PKGBUILD
(from rev 792029, haskell-tamarin-prover-sapic/trunk/PKGBUILD)

--+
 PKGBUILD |   43 +++
 1 file changed, 43 insertions(+)

Copied: haskell-tamarin-prover-sapic/repos/community-staging-x86_64/PKGBUILD 
(from rev 792029, haskell-tamarin-prover-sapic/trunk/PKGBUILD)
===
--- community-staging-x86_64/PKGBUILD   (rev 0)
+++ community-staging-x86_64/PKGBUILD   2020-12-26 05:45:08 UTC (rev 792030)
@@ -0,0 +1,43 @@
+# Maintainer: Felix Yan 
+
+_hkgname=tamarin-prover-sapic
+pkgname=haskell-tamarin-prover-sapic
+pkgver=1.6.0
+pkgrel=34
+pkgdesc="Library for input processes in SAPIC calculus for the tamarin prover"
+url="http://www.infsec.ethz.ch/research/software/tamarin;
+license=("GPL")
+arch=('x86_64')
+depends=('ghc-libs' 'haskell-aeson' 'haskell-aeson-pretty' 'haskell-dlist' 
'haskell-fclabels'
+ 'haskell-parallel' 'haskell-safe' 'haskell-uniplate' 
'haskell-raw-strings-qq'
+ 'haskell-tamarin-prover-utils' 'haskell-tamarin-prover-term' 
'haskell-tamarin-prover-theory')
+makedepends=('ghc')
+source=("tamarin-prover-$pkgver.tar.gz::https://github.com/tamarin-prover/tamarin-prover/archive/$pkgver.tar.gz;)
+sha512sums=('7f3569f740d63d715b92a8f073eaecb8b32efe59b910b246977d36bb9e873765440e72feb6e76c7cbafab0495b88cfc666bb1dd12f685627c60d5cbd97b2973e')
+
+prepare() {
+cd tamarin-prover-$pkgver/lib/sapic
+echo -e "import Distribution.Simple\nmain = defaultMain" > Setup.hs
+}
+
+build() {
+cd tamarin-prover-$pkgver/lib/sapic
+
+runhaskell Setup configure -O --enable-shared --enable-executable-dynamic 
--disable-library-vanilla \
+--prefix=/usr --docdir=/usr/share/doc/$pkgname \
+--dynlibdir=/usr/lib --libsubdir=\$compiler/site-local/\$pkgid
+runhaskell Setup build $MAKEFLAGS
+runhaskell Setup register --gen-script
+runhaskell Setup unregister --gen-script
+sed -i -r -e "s|ghc-pkg.*update[^ ]* |&'--force' |" register.sh
+sed -i -r -e "s|ghc-pkg.*unregister[^ ]* |&'--force' |" unregister.sh
+}
+
+package() {
+cd tamarin-prover-$pkgver/lib/sapic
+
+install -D -m744 register.sh 
"$pkgdir"/usr/share/haskell/register/$pkgname.sh
+install -D -m744 unregister.sh 
"$pkgdir"/usr/share/haskell/unregister/$pkgname.sh
+runhaskell Setup copy --destdir="$pkgdir"
+rm -f "$pkgdir"/usr/share/doc/$pkgname/LICENSE
+}

[arch-commits] Commit in haskell-tamarin-prover-sapic/repos (2 files)

2020-12-24 Thread Felix Yan via arch-commits

Date: Friday, December 25, 2020 @ 04:04:00
  Author: felixonmars
Revision: 789568

archrelease: copy trunk to community-staging-x86_64

Added:
  haskell-tamarin-prover-sapic/repos/community-staging-x86_64/
  haskell-tamarin-prover-sapic/repos/community-staging-x86_64/PKGBUILD
(from rev 789567, haskell-tamarin-prover-sapic/trunk/PKGBUILD)

--+
 PKGBUILD |   43 +++
 1 file changed, 43 insertions(+)

Copied: haskell-tamarin-prover-sapic/repos/community-staging-x86_64/PKGBUILD 
(from rev 789567, haskell-tamarin-prover-sapic/trunk/PKGBUILD)
===
--- community-staging-x86_64/PKGBUILD   (rev 0)
+++ community-staging-x86_64/PKGBUILD   2020-12-25 04:04:00 UTC (rev 789568)
@@ -0,0 +1,43 @@
+# Maintainer: Felix Yan 
+
+_hkgname=tamarin-prover-sapic
+pkgname=haskell-tamarin-prover-sapic
+pkgver=1.6.0
+pkgrel=33
+pkgdesc="Library for input processes in SAPIC calculus for the tamarin prover"
+url="http://www.infsec.ethz.ch/research/software/tamarin;
+license=("GPL")
+arch=('x86_64')
+depends=('ghc-libs' 'haskell-aeson' 'haskell-aeson-pretty' 'haskell-dlist' 
'haskell-fclabels'
+ 'haskell-parallel' 'haskell-safe' 'haskell-uniplate' 
'haskell-raw-strings-qq'
+ 'haskell-tamarin-prover-utils' 'haskell-tamarin-prover-term' 
'haskell-tamarin-prover-theory')
+makedepends=('ghc')
+source=("tamarin-prover-$pkgver.tar.gz::https://github.com/tamarin-prover/tamarin-prover/archive/$pkgver.tar.gz;)
+sha512sums=('7f3569f740d63d715b92a8f073eaecb8b32efe59b910b246977d36bb9e873765440e72feb6e76c7cbafab0495b88cfc666bb1dd12f685627c60d5cbd97b2973e')
+
+prepare() {
+cd tamarin-prover-$pkgver/lib/sapic
+echo -e "import Distribution.Simple\nmain = defaultMain" > Setup.hs
+}
+
+build() {
+cd tamarin-prover-$pkgver/lib/sapic
+
+runhaskell Setup configure -O --enable-shared --enable-executable-dynamic 
--disable-library-vanilla \
+--prefix=/usr --docdir=/usr/share/doc/$pkgname \
+--dynlibdir=/usr/lib --libsubdir=\$compiler/site-local/\$pkgid
+runhaskell Setup build $MAKEFLAGS
+runhaskell Setup register --gen-script
+runhaskell Setup unregister --gen-script
+sed -i -r -e "s|ghc-pkg.*update[^ ]* |&'--force' |" register.sh
+sed -i -r -e "s|ghc-pkg.*unregister[^ ]* |&'--force' |" unregister.sh
+}
+
+package() {
+cd tamarin-prover-$pkgver/lib/sapic
+
+install -D -m744 register.sh 
"$pkgdir"/usr/share/haskell/register/$pkgname.sh
+install -D -m744 unregister.sh 
"$pkgdir"/usr/share/haskell/unregister/$pkgname.sh
+runhaskell Setup copy --destdir="$pkgdir"
+rm -f "$pkgdir"/usr/share/doc/$pkgname/LICENSE
+}

[arch-commits] Commit in haskell-tamarin-prover-sapic/repos (2 files)

2020-12-24 Thread Felix Yan via arch-commits

Date: Thursday, December 24, 2020 @ 14:41:05
  Author: felixonmars
Revision: 788177

archrelease: copy trunk to community-staging-x86_64

Added:
  haskell-tamarin-prover-sapic/repos/community-staging-x86_64/
  haskell-tamarin-prover-sapic/repos/community-staging-x86_64/PKGBUILD
(from rev 788176, haskell-tamarin-prover-sapic/trunk/PKGBUILD)

--+
 PKGBUILD |   43 +++
 1 file changed, 43 insertions(+)

Copied: haskell-tamarin-prover-sapic/repos/community-staging-x86_64/PKGBUILD 
(from rev 788176, haskell-tamarin-prover-sapic/trunk/PKGBUILD)
===
--- community-staging-x86_64/PKGBUILD   (rev 0)
+++ community-staging-x86_64/PKGBUILD   2020-12-24 14:41:05 UTC (rev 788177)
@@ -0,0 +1,43 @@
+# Maintainer: Felix Yan 
+
+_hkgname=tamarin-prover-sapic
+pkgname=haskell-tamarin-prover-sapic
+pkgver=1.6.0
+pkgrel=32
+pkgdesc="Library for input processes in SAPIC calculus for the tamarin prover"
+url="http://www.infsec.ethz.ch/research/software/tamarin;
+license=("GPL")
+arch=('x86_64')
+depends=('ghc-libs' 'haskell-aeson' 'haskell-aeson-pretty' 'haskell-dlist' 
'haskell-fclabels'
+ 'haskell-parallel' 'haskell-safe' 'haskell-uniplate' 
'haskell-raw-strings-qq'
+ 'haskell-tamarin-prover-utils' 'haskell-tamarin-prover-term' 
'haskell-tamarin-prover-theory')
+makedepends=('ghc')
+source=("tamarin-prover-$pkgver.tar.gz::https://github.com/tamarin-prover/tamarin-prover/archive/$pkgver.tar.gz;)
+sha512sums=('7f3569f740d63d715b92a8f073eaecb8b32efe59b910b246977d36bb9e873765440e72feb6e76c7cbafab0495b88cfc666bb1dd12f685627c60d5cbd97b2973e')
+
+prepare() {
+cd tamarin-prover-$pkgver/lib/sapic
+echo -e "import Distribution.Simple\nmain = defaultMain" > Setup.hs
+}
+
+build() {
+cd tamarin-prover-$pkgver/lib/sapic
+
+runhaskell Setup configure -O --enable-shared --enable-executable-dynamic 
--disable-library-vanilla \
+--prefix=/usr --docdir=/usr/share/doc/$pkgname \
+--dynlibdir=/usr/lib --libsubdir=\$compiler/site-local/\$pkgid
+runhaskell Setup build $MAKEFLAGS
+runhaskell Setup register --gen-script
+runhaskell Setup unregister --gen-script
+sed -i -r -e "s|ghc-pkg.*update[^ ]* |&'--force' |" register.sh
+sed -i -r -e "s|ghc-pkg.*unregister[^ ]* |&'--force' |" unregister.sh
+}
+
+package() {
+cd tamarin-prover-$pkgver/lib/sapic
+
+install -D -m744 register.sh 
"$pkgdir"/usr/share/haskell/register/$pkgname.sh
+install -D -m744 unregister.sh 
"$pkgdir"/usr/share/haskell/unregister/$pkgname.sh
+runhaskell Setup copy --destdir="$pkgdir"
+rm -f "$pkgdir"/usr/share/doc/$pkgname/LICENSE
+}

[arch-commits] Commit in haskell-tamarin-prover-sapic/repos (2 files)

2020-12-24 Thread Felix Yan via arch-commits

Date: Thursday, December 24, 2020 @ 13:05:51
  Author: felixonmars
Revision: 787209

archrelease: copy trunk to community-staging-x86_64

Added:
  haskell-tamarin-prover-sapic/repos/community-staging-x86_64/
  haskell-tamarin-prover-sapic/repos/community-staging-x86_64/PKGBUILD
(from rev 787208, haskell-tamarin-prover-sapic/trunk/PKGBUILD)

--+
 PKGBUILD |   43 +++
 1 file changed, 43 insertions(+)

Copied: haskell-tamarin-prover-sapic/repos/community-staging-x86_64/PKGBUILD 
(from rev 787208, haskell-tamarin-prover-sapic/trunk/PKGBUILD)
===
--- community-staging-x86_64/PKGBUILD   (rev 0)
+++ community-staging-x86_64/PKGBUILD   2020-12-24 13:05:51 UTC (rev 787209)
@@ -0,0 +1,43 @@
+# Maintainer: Felix Yan 
+
+_hkgname=tamarin-prover-sapic
+pkgname=haskell-tamarin-prover-sapic
+pkgver=1.6.0
+pkgrel=31
+pkgdesc="Library for input processes in SAPIC calculus for the tamarin prover"
+url="http://www.infsec.ethz.ch/research/software/tamarin;
+license=("GPL")
+arch=('x86_64')
+depends=('ghc-libs' 'haskell-aeson' 'haskell-aeson-pretty' 'haskell-dlist' 
'haskell-fclabels'
+ 'haskell-parallel' 'haskell-safe' 'haskell-uniplate' 
'haskell-raw-strings-qq'
+ 'haskell-tamarin-prover-utils' 'haskell-tamarin-prover-term' 
'haskell-tamarin-prover-theory')
+makedepends=('ghc')
+source=("tamarin-prover-$pkgver.tar.gz::https://github.com/tamarin-prover/tamarin-prover/archive/$pkgver.tar.gz;)
+sha512sums=('7f3569f740d63d715b92a8f073eaecb8b32efe59b910b246977d36bb9e873765440e72feb6e76c7cbafab0495b88cfc666bb1dd12f685627c60d5cbd97b2973e')
+
+prepare() {
+cd tamarin-prover-$pkgver/lib/sapic
+echo -e "import Distribution.Simple\nmain = defaultMain" > Setup.hs
+}
+
+build() {
+cd tamarin-prover-$pkgver/lib/sapic
+
+runhaskell Setup configure -O --enable-shared --enable-executable-dynamic 
--disable-library-vanilla \
+--prefix=/usr --docdir=/usr/share/doc/$pkgname \
+--dynlibdir=/usr/lib --libsubdir=\$compiler/site-local/\$pkgid
+runhaskell Setup build $MAKEFLAGS
+runhaskell Setup register --gen-script
+runhaskell Setup unregister --gen-script
+sed -i -r -e "s|ghc-pkg.*update[^ ]* |&'--force' |" register.sh
+sed -i -r -e "s|ghc-pkg.*unregister[^ ]* |&'--force' |" unregister.sh
+}
+
+package() {
+cd tamarin-prover-$pkgver/lib/sapic
+
+install -D -m744 register.sh 
"$pkgdir"/usr/share/haskell/register/$pkgname.sh
+install -D -m744 unregister.sh 
"$pkgdir"/usr/share/haskell/unregister/$pkgname.sh
+runhaskell Setup copy --destdir="$pkgdir"
+rm -f "$pkgdir"/usr/share/doc/$pkgname/LICENSE
+}

[arch-commits] Commit in haskell-tamarin-prover-sapic/repos (2 files)

2020-12-22 Thread Felix Yan via arch-commits

Date: Wednesday, December 23, 2020 @ 07:47:47
  Author: felixonmars
Revision: 783883

archrelease: copy trunk to community-staging-x86_64

Added:
  haskell-tamarin-prover-sapic/repos/community-staging-x86_64/
  haskell-tamarin-prover-sapic/repos/community-staging-x86_64/PKGBUILD
(from rev 783882, haskell-tamarin-prover-sapic/trunk/PKGBUILD)

--+
 PKGBUILD |   43 +++
 1 file changed, 43 insertions(+)

Copied: haskell-tamarin-prover-sapic/repos/community-staging-x86_64/PKGBUILD 
(from rev 783882, haskell-tamarin-prover-sapic/trunk/PKGBUILD)
===
--- community-staging-x86_64/PKGBUILD   (rev 0)
+++ community-staging-x86_64/PKGBUILD   2020-12-23 07:47:47 UTC (rev 783883)
@@ -0,0 +1,43 @@
+# Maintainer: Felix Yan 
+
+_hkgname=tamarin-prover-sapic
+pkgname=haskell-tamarin-prover-sapic
+pkgver=1.6.0
+pkgrel=30
+pkgdesc="Library for input processes in SAPIC calculus for the tamarin prover"
+url="http://www.infsec.ethz.ch/research/software/tamarin;
+license=("GPL")
+arch=('x86_64')
+depends=('ghc-libs' 'haskell-aeson' 'haskell-aeson-pretty' 'haskell-dlist' 
'haskell-fclabels'
+ 'haskell-parallel' 'haskell-safe' 'haskell-uniplate' 
'haskell-raw-strings-qq'
+ 'haskell-tamarin-prover-utils' 'haskell-tamarin-prover-term' 
'haskell-tamarin-prover-theory')
+makedepends=('ghc')
+source=("tamarin-prover-$pkgver.tar.gz::https://github.com/tamarin-prover/tamarin-prover/archive/$pkgver.tar.gz;)
+sha512sums=('7f3569f740d63d715b92a8f073eaecb8b32efe59b910b246977d36bb9e873765440e72feb6e76c7cbafab0495b88cfc666bb1dd12f685627c60d5cbd97b2973e')
+
+prepare() {
+cd tamarin-prover-$pkgver/lib/sapic
+echo -e "import Distribution.Simple\nmain = defaultMain" > Setup.hs
+}
+
+build() {
+cd tamarin-prover-$pkgver/lib/sapic
+
+runhaskell Setup configure -O --enable-shared --enable-executable-dynamic 
--disable-library-vanilla \
+--prefix=/usr --docdir=/usr/share/doc/$pkgname \
+--dynlibdir=/usr/lib --libsubdir=\$compiler/site-local/\$pkgid
+runhaskell Setup build $MAKEFLAGS
+runhaskell Setup register --gen-script
+runhaskell Setup unregister --gen-script
+sed -i -r -e "s|ghc-pkg.*update[^ ]* |&'--force' |" register.sh
+sed -i -r -e "s|ghc-pkg.*unregister[^ ]* |&'--force' |" unregister.sh
+}
+
+package() {
+cd tamarin-prover-$pkgver/lib/sapic
+
+install -D -m744 register.sh 
"$pkgdir"/usr/share/haskell/register/$pkgname.sh
+install -D -m744 unregister.sh 
"$pkgdir"/usr/share/haskell/unregister/$pkgname.sh
+runhaskell Setup copy --destdir="$pkgdir"
+rm -f "$pkgdir"/usr/share/doc/$pkgname/LICENSE
+}

[arch-commits] Commit in haskell-tamarin-prover-sapic/repos (2 files)

2020-12-21 Thread Felix Yan via arch-commits

Date: Monday, December 21, 2020 @ 21:01:45
  Author: felixonmars
Revision: 781567

archrelease: copy trunk to community-staging-x86_64

Added:
  haskell-tamarin-prover-sapic/repos/community-staging-x86_64/
  haskell-tamarin-prover-sapic/repos/community-staging-x86_64/PKGBUILD
(from rev 781566, haskell-tamarin-prover-sapic/trunk/PKGBUILD)

--+
 PKGBUILD |   43 +++
 1 file changed, 43 insertions(+)

Copied: haskell-tamarin-prover-sapic/repos/community-staging-x86_64/PKGBUILD 
(from rev 781566, haskell-tamarin-prover-sapic/trunk/PKGBUILD)
===
--- community-staging-x86_64/PKGBUILD   (rev 0)
+++ community-staging-x86_64/PKGBUILD   2020-12-21 21:01:45 UTC (rev 781567)
@@ -0,0 +1,43 @@
+# Maintainer: Felix Yan 
+
+_hkgname=tamarin-prover-sapic
+pkgname=haskell-tamarin-prover-sapic
+pkgver=1.6.0
+pkgrel=29
+pkgdesc="Library for input processes in SAPIC calculus for the tamarin prover"
+url="http://www.infsec.ethz.ch/research/software/tamarin;
+license=("GPL")
+arch=('x86_64')
+depends=('ghc-libs' 'haskell-aeson' 'haskell-aeson-pretty' 'haskell-dlist' 
'haskell-fclabels'
+ 'haskell-parallel' 'haskell-safe' 'haskell-uniplate' 
'haskell-raw-strings-qq'
+ 'haskell-tamarin-prover-utils' 'haskell-tamarin-prover-term' 
'haskell-tamarin-prover-theory')
+makedepends=('ghc')
+source=("tamarin-prover-$pkgver.tar.gz::https://github.com/tamarin-prover/tamarin-prover/archive/$pkgver.tar.gz;)
+sha512sums=('7f3569f740d63d715b92a8f073eaecb8b32efe59b910b246977d36bb9e873765440e72feb6e76c7cbafab0495b88cfc666bb1dd12f685627c60d5cbd97b2973e')
+
+prepare() {
+cd tamarin-prover-$pkgver/lib/sapic
+echo -e "import Distribution.Simple\nmain = defaultMain" > Setup.hs
+}
+
+build() {
+cd tamarin-prover-$pkgver/lib/sapic
+
+runhaskell Setup configure -O --enable-shared --enable-executable-dynamic 
--disable-library-vanilla \
+--prefix=/usr --docdir=/usr/share/doc/$pkgname \
+--dynlibdir=/usr/lib --libsubdir=\$compiler/site-local/\$pkgid
+runhaskell Setup build $MAKEFLAGS
+runhaskell Setup register --gen-script
+runhaskell Setup unregister --gen-script
+sed -i -r -e "s|ghc-pkg.*update[^ ]* |&'--force' |" register.sh
+sed -i -r -e "s|ghc-pkg.*unregister[^ ]* |&'--force' |" unregister.sh
+}
+
+package() {
+cd tamarin-prover-$pkgver/lib/sapic
+
+install -D -m744 register.sh 
"$pkgdir"/usr/share/haskell/register/$pkgname.sh
+install -D -m744 unregister.sh 
"$pkgdir"/usr/share/haskell/unregister/$pkgname.sh
+runhaskell Setup copy --destdir="$pkgdir"
+rm -f "$pkgdir"/usr/share/doc/$pkgname/LICENSE
+}

[arch-commits] Commit in haskell-tamarin-prover-sapic/repos (2 files)

2020-12-17 Thread Felix Yan via arch-commits

Date: Thursday, December 17, 2020 @ 22:39:26
  Author: felixonmars
Revision: 778216

archrelease: copy trunk to community-staging-x86_64

Added:
  haskell-tamarin-prover-sapic/repos/community-staging-x86_64/
  haskell-tamarin-prover-sapic/repos/community-staging-x86_64/PKGBUILD
(from rev 778215, haskell-tamarin-prover-sapic/trunk/PKGBUILD)

--+
 PKGBUILD |   43 +++
 1 file changed, 43 insertions(+)

Copied: haskell-tamarin-prover-sapic/repos/community-staging-x86_64/PKGBUILD 
(from rev 778215, haskell-tamarin-prover-sapic/trunk/PKGBUILD)
===
--- community-staging-x86_64/PKGBUILD   (rev 0)
+++ community-staging-x86_64/PKGBUILD   2020-12-17 22:39:26 UTC (rev 778216)
@@ -0,0 +1,43 @@
+# Maintainer: Felix Yan 
+
+_hkgname=tamarin-prover-sapic
+pkgname=haskell-tamarin-prover-sapic
+pkgver=1.6.0
+pkgrel=28
+pkgdesc="Library for input processes in SAPIC calculus for the tamarin prover"
+url="http://www.infsec.ethz.ch/research/software/tamarin;
+license=("GPL")
+arch=('x86_64')
+depends=('ghc-libs' 'haskell-aeson' 'haskell-aeson-pretty' 'haskell-dlist' 
'haskell-fclabels'
+ 'haskell-parallel' 'haskell-safe' 'haskell-uniplate' 
'haskell-raw-strings-qq'
+ 'haskell-tamarin-prover-utils' 'haskell-tamarin-prover-term' 
'haskell-tamarin-prover-theory')
+makedepends=('ghc')
+source=("tamarin-prover-$pkgver.tar.gz::https://github.com/tamarin-prover/tamarin-prover/archive/$pkgver.tar.gz;)
+sha512sums=('7f3569f740d63d715b92a8f073eaecb8b32efe59b910b246977d36bb9e873765440e72feb6e76c7cbafab0495b88cfc666bb1dd12f685627c60d5cbd97b2973e')
+
+prepare() {
+cd tamarin-prover-$pkgver/lib/sapic
+echo -e "import Distribution.Simple\nmain = defaultMain" > Setup.hs
+}
+
+build() {
+cd tamarin-prover-$pkgver/lib/sapic
+
+runhaskell Setup configure -O --enable-shared --enable-executable-dynamic 
--disable-library-vanilla \
+--prefix=/usr --docdir=/usr/share/doc/$pkgname \
+--dynlibdir=/usr/lib --libsubdir=\$compiler/site-local/\$pkgid
+runhaskell Setup build $MAKEFLAGS
+runhaskell Setup register --gen-script
+runhaskell Setup unregister --gen-script
+sed -i -r -e "s|ghc-pkg.*update[^ ]* |&'--force' |" register.sh
+sed -i -r -e "s|ghc-pkg.*unregister[^ ]* |&'--force' |" unregister.sh
+}
+
+package() {
+cd tamarin-prover-$pkgver/lib/sapic
+
+install -D -m744 register.sh 
"$pkgdir"/usr/share/haskell/register/$pkgname.sh
+install -D -m744 unregister.sh 
"$pkgdir"/usr/share/haskell/unregister/$pkgname.sh
+runhaskell Setup copy --destdir="$pkgdir"
+rm -f "$pkgdir"/usr/share/doc/$pkgname/LICENSE
+}

[arch-commits] Commit in haskell-tamarin-prover-sapic/repos (2 files)

2020-12-15 Thread Felix Yan via arch-commits

Date: Tuesday, December 15, 2020 @ 18:59:17
  Author: felixonmars
Revision: 776077

archrelease: copy trunk to community-staging-x86_64

Added:
  haskell-tamarin-prover-sapic/repos/community-staging-x86_64/
  haskell-tamarin-prover-sapic/repos/community-staging-x86_64/PKGBUILD
(from rev 776076, haskell-tamarin-prover-sapic/trunk/PKGBUILD)

--+
 PKGBUILD |   43 +++
 1 file changed, 43 insertions(+)

Copied: haskell-tamarin-prover-sapic/repos/community-staging-x86_64/PKGBUILD 
(from rev 776076, haskell-tamarin-prover-sapic/trunk/PKGBUILD)
===
--- community-staging-x86_64/PKGBUILD   (rev 0)
+++ community-staging-x86_64/PKGBUILD   2020-12-15 18:59:17 UTC (rev 776077)
@@ -0,0 +1,43 @@
+# Maintainer: Felix Yan 
+
+_hkgname=tamarin-prover-sapic
+pkgname=haskell-tamarin-prover-sapic
+pkgver=1.6.0
+pkgrel=27
+pkgdesc="Library for input processes in SAPIC calculus for the tamarin prover"
+url="http://www.infsec.ethz.ch/research/software/tamarin;
+license=("GPL")
+arch=('x86_64')
+depends=('ghc-libs' 'haskell-aeson' 'haskell-aeson-pretty' 'haskell-dlist' 
'haskell-fclabels'
+ 'haskell-parallel' 'haskell-safe' 'haskell-uniplate' 
'haskell-raw-strings-qq'
+ 'haskell-tamarin-prover-utils' 'haskell-tamarin-prover-term' 
'haskell-tamarin-prover-theory')
+makedepends=('ghc')
+source=("tamarin-prover-$pkgver.tar.gz::https://github.com/tamarin-prover/tamarin-prover/archive/$pkgver.tar.gz;)
+sha512sums=('7f3569f740d63d715b92a8f073eaecb8b32efe59b910b246977d36bb9e873765440e72feb6e76c7cbafab0495b88cfc666bb1dd12f685627c60d5cbd97b2973e')
+
+prepare() {
+cd tamarin-prover-$pkgver/lib/sapic
+echo -e "import Distribution.Simple\nmain = defaultMain" > Setup.hs
+}
+
+build() {
+cd tamarin-prover-$pkgver/lib/sapic
+
+runhaskell Setup configure -O --enable-shared --enable-executable-dynamic 
--disable-library-vanilla \
+--prefix=/usr --docdir=/usr/share/doc/$pkgname \
+--dynlibdir=/usr/lib --libsubdir=\$compiler/site-local/\$pkgid
+runhaskell Setup build $MAKEFLAGS
+runhaskell Setup register --gen-script
+runhaskell Setup unregister --gen-script
+sed -i -r -e "s|ghc-pkg.*update[^ ]* |&'--force' |" register.sh
+sed -i -r -e "s|ghc-pkg.*unregister[^ ]* |&'--force' |" unregister.sh
+}
+
+package() {
+cd tamarin-prover-$pkgver/lib/sapic
+
+install -D -m744 register.sh 
"$pkgdir"/usr/share/haskell/register/$pkgname.sh
+install -D -m744 unregister.sh 
"$pkgdir"/usr/share/haskell/unregister/$pkgname.sh
+runhaskell Setup copy --destdir="$pkgdir"
+rm -f "$pkgdir"/usr/share/doc/$pkgname/LICENSE
+}

[arch-commits] Commit in haskell-tamarin-prover-sapic/repos (2 files)

2020-12-13 Thread Felix Yan via arch-commits

Date: Sunday, December 13, 2020 @ 22:26:14
  Author: felixonmars
Revision: 774598

archrelease: copy trunk to community-staging-x86_64

Added:
  haskell-tamarin-prover-sapic/repos/community-staging-x86_64/
  haskell-tamarin-prover-sapic/repos/community-staging-x86_64/PKGBUILD
(from rev 774597, haskell-tamarin-prover-sapic/trunk/PKGBUILD)

--+
 PKGBUILD |   43 +++
 1 file changed, 43 insertions(+)

Copied: haskell-tamarin-prover-sapic/repos/community-staging-x86_64/PKGBUILD 
(from rev 774597, haskell-tamarin-prover-sapic/trunk/PKGBUILD)
===
--- community-staging-x86_64/PKGBUILD   (rev 0)
+++ community-staging-x86_64/PKGBUILD   2020-12-13 22:26:14 UTC (rev 774598)
@@ -0,0 +1,43 @@
+# Maintainer: Felix Yan 
+
+_hkgname=tamarin-prover-sapic
+pkgname=haskell-tamarin-prover-sapic
+pkgver=1.6.0
+pkgrel=26
+pkgdesc="Library for input processes in SAPIC calculus for the tamarin prover"
+url="http://www.infsec.ethz.ch/research/software/tamarin;
+license=("GPL")
+arch=('x86_64')
+depends=('ghc-libs' 'haskell-aeson' 'haskell-aeson-pretty' 'haskell-dlist' 
'haskell-fclabels'
+ 'haskell-parallel' 'haskell-safe' 'haskell-uniplate' 
'haskell-raw-strings-qq'
+ 'haskell-tamarin-prover-utils' 'haskell-tamarin-prover-term' 
'haskell-tamarin-prover-theory')
+makedepends=('ghc')
+source=("tamarin-prover-$pkgver.tar.gz::https://github.com/tamarin-prover/tamarin-prover/archive/$pkgver.tar.gz;)
+sha512sums=('7f3569f740d63d715b92a8f073eaecb8b32efe59b910b246977d36bb9e873765440e72feb6e76c7cbafab0495b88cfc666bb1dd12f685627c60d5cbd97b2973e')
+
+prepare() {
+cd tamarin-prover-$pkgver/lib/sapic
+echo -e "import Distribution.Simple\nmain = defaultMain" > Setup.hs
+}
+
+build() {
+cd tamarin-prover-$pkgver/lib/sapic
+
+runhaskell Setup configure -O --enable-shared --enable-executable-dynamic 
--disable-library-vanilla \
+--prefix=/usr --docdir=/usr/share/doc/$pkgname \
+--dynlibdir=/usr/lib --libsubdir=\$compiler/site-local/\$pkgid
+runhaskell Setup build $MAKEFLAGS
+runhaskell Setup register --gen-script
+runhaskell Setup unregister --gen-script
+sed -i -r -e "s|ghc-pkg.*update[^ ]* |&'--force' |" register.sh
+sed -i -r -e "s|ghc-pkg.*unregister[^ ]* |&'--force' |" unregister.sh
+}
+
+package() {
+cd tamarin-prover-$pkgver/lib/sapic
+
+install -D -m744 register.sh 
"$pkgdir"/usr/share/haskell/register/$pkgname.sh
+install -D -m744 unregister.sh 
"$pkgdir"/usr/share/haskell/unregister/$pkgname.sh
+runhaskell Setup copy --destdir="$pkgdir"
+rm -f "$pkgdir"/usr/share/doc/$pkgname/LICENSE
+}

[arch-commits] Commit in haskell-tamarin-prover-sapic/repos (2 files)

2020-12-07 Thread Felix Yan via arch-commits

Date: Monday, December 7, 2020 @ 22:06:32
  Author: felixonmars
Revision: 771641

archrelease: copy trunk to community-staging-x86_64

Added:
  haskell-tamarin-prover-sapic/repos/community-staging-x86_64/
  haskell-tamarin-prover-sapic/repos/community-staging-x86_64/PKGBUILD
(from rev 771640, haskell-tamarin-prover-sapic/trunk/PKGBUILD)

--+
 PKGBUILD |   43 +++
 1 file changed, 43 insertions(+)

Copied: haskell-tamarin-prover-sapic/repos/community-staging-x86_64/PKGBUILD 
(from rev 771640, haskell-tamarin-prover-sapic/trunk/PKGBUILD)
===
--- community-staging-x86_64/PKGBUILD   (rev 0)
+++ community-staging-x86_64/PKGBUILD   2020-12-07 22:06:32 UTC (rev 771641)
@@ -0,0 +1,43 @@
+# Maintainer: Felix Yan 
+
+_hkgname=tamarin-prover-sapic
+pkgname=haskell-tamarin-prover-sapic
+pkgver=1.6.0
+pkgrel=25
+pkgdesc="Library for input processes in SAPIC calculus for the tamarin prover"
+url="http://www.infsec.ethz.ch/research/software/tamarin;
+license=("GPL")
+arch=('x86_64')
+depends=('ghc-libs' 'haskell-aeson' 'haskell-aeson-pretty' 'haskell-dlist' 
'haskell-fclabels'
+ 'haskell-parallel' 'haskell-safe' 'haskell-uniplate' 
'haskell-raw-strings-qq'
+ 'haskell-tamarin-prover-utils' 'haskell-tamarin-prover-term' 
'haskell-tamarin-prover-theory')
+makedepends=('ghc')
+source=("tamarin-prover-$pkgver.tar.gz::https://github.com/tamarin-prover/tamarin-prover/archive/$pkgver.tar.gz;)
+sha512sums=('7f3569f740d63d715b92a8f073eaecb8b32efe59b910b246977d36bb9e873765440e72feb6e76c7cbafab0495b88cfc666bb1dd12f685627c60d5cbd97b2973e')
+
+prepare() {
+cd tamarin-prover-$pkgver/lib/sapic
+echo -e "import Distribution.Simple\nmain = defaultMain" > Setup.hs
+}
+
+build() {
+cd tamarin-prover-$pkgver/lib/sapic
+
+runhaskell Setup configure -O --enable-shared --enable-executable-dynamic 
--disable-library-vanilla \
+--prefix=/usr --docdir=/usr/share/doc/$pkgname \
+--dynlibdir=/usr/lib --libsubdir=\$compiler/site-local/\$pkgid
+runhaskell Setup build $MAKEFLAGS
+runhaskell Setup register --gen-script
+runhaskell Setup unregister --gen-script
+sed -i -r -e "s|ghc-pkg.*update[^ ]* |&'--force' |" register.sh
+sed -i -r -e "s|ghc-pkg.*unregister[^ ]* |&'--force' |" unregister.sh
+}
+
+package() {
+cd tamarin-prover-$pkgver/lib/sapic
+
+install -D -m744 register.sh 
"$pkgdir"/usr/share/haskell/register/$pkgname.sh
+install -D -m744 unregister.sh 
"$pkgdir"/usr/share/haskell/unregister/$pkgname.sh
+runhaskell Setup copy --destdir="$pkgdir"
+rm -f "$pkgdir"/usr/share/doc/$pkgname/LICENSE
+}

[arch-commits] Commit in haskell-tamarin-prover-sapic/repos (2 files)

2020-12-04 Thread Felix Yan via arch-commits

Date: Saturday, December 5, 2020 @ 01:38:29
  Author: felixonmars
Revision: 770384

archrelease: copy trunk to community-staging-x86_64

Added:
  haskell-tamarin-prover-sapic/repos/community-staging-x86_64/
  haskell-tamarin-prover-sapic/repos/community-staging-x86_64/PKGBUILD
(from rev 770383, haskell-tamarin-prover-sapic/trunk/PKGBUILD)

--+
 PKGBUILD |   43 +++
 1 file changed, 43 insertions(+)

Copied: haskell-tamarin-prover-sapic/repos/community-staging-x86_64/PKGBUILD 
(from rev 770383, haskell-tamarin-prover-sapic/trunk/PKGBUILD)
===
--- community-staging-x86_64/PKGBUILD   (rev 0)
+++ community-staging-x86_64/PKGBUILD   2020-12-05 01:38:29 UTC (rev 770384)
@@ -0,0 +1,43 @@
+# Maintainer: Felix Yan 
+
+_hkgname=tamarin-prover-sapic
+pkgname=haskell-tamarin-prover-sapic
+pkgver=1.6.0
+pkgrel=24
+pkgdesc="Library for input processes in SAPIC calculus for the tamarin prover"
+url="http://www.infsec.ethz.ch/research/software/tamarin;
+license=("GPL")
+arch=('x86_64')
+depends=('ghc-libs' 'haskell-aeson' 'haskell-aeson-pretty' 'haskell-dlist' 
'haskell-fclabels'
+ 'haskell-parallel' 'haskell-safe' 'haskell-uniplate' 
'haskell-raw-strings-qq'
+ 'haskell-tamarin-prover-utils' 'haskell-tamarin-prover-term' 
'haskell-tamarin-prover-theory')
+makedepends=('ghc')
+source=("tamarin-prover-$pkgver.tar.gz::https://github.com/tamarin-prover/tamarin-prover/archive/$pkgver.tar.gz;)
+sha512sums=('7f3569f740d63d715b92a8f073eaecb8b32efe59b910b246977d36bb9e873765440e72feb6e76c7cbafab0495b88cfc666bb1dd12f685627c60d5cbd97b2973e')
+
+prepare() {
+cd tamarin-prover-$pkgver/lib/sapic
+echo -e "import Distribution.Simple\nmain = defaultMain" > Setup.hs
+}
+
+build() {
+cd tamarin-prover-$pkgver/lib/sapic
+
+runhaskell Setup configure -O --enable-shared --enable-executable-dynamic 
--disable-library-vanilla \
+--prefix=/usr --docdir=/usr/share/doc/$pkgname \
+--dynlibdir=/usr/lib --libsubdir=\$compiler/site-local/\$pkgid
+runhaskell Setup build $MAKEFLAGS
+runhaskell Setup register --gen-script
+runhaskell Setup unregister --gen-script
+sed -i -r -e "s|ghc-pkg.*update[^ ]* |&'--force' |" register.sh
+sed -i -r -e "s|ghc-pkg.*unregister[^ ]* |&'--force' |" unregister.sh
+}
+
+package() {
+cd tamarin-prover-$pkgver/lib/sapic
+
+install -D -m744 register.sh 
"$pkgdir"/usr/share/haskell/register/$pkgname.sh
+install -D -m744 unregister.sh 
"$pkgdir"/usr/share/haskell/unregister/$pkgname.sh
+runhaskell Setup copy --destdir="$pkgdir"
+rm -f "$pkgdir"/usr/share/doc/$pkgname/LICENSE
+}

[arch-commits] Commit in haskell-tamarin-prover-sapic/repos (2 files)

2020-11-28 Thread Felix Yan via arch-commits

Date: Saturday, November 28, 2020 @ 18:57:10
  Author: felixonmars
Revision: 765443

archrelease: copy trunk to community-staging-x86_64

Added:
  haskell-tamarin-prover-sapic/repos/community-staging-x86_64/
  haskell-tamarin-prover-sapic/repos/community-staging-x86_64/PKGBUILD
(from rev 765442, haskell-tamarin-prover-sapic/trunk/PKGBUILD)

--+
 PKGBUILD |   43 +++
 1 file changed, 43 insertions(+)

Copied: haskell-tamarin-prover-sapic/repos/community-staging-x86_64/PKGBUILD 
(from rev 765442, haskell-tamarin-prover-sapic/trunk/PKGBUILD)
===
--- community-staging-x86_64/PKGBUILD   (rev 0)
+++ community-staging-x86_64/PKGBUILD   2020-11-28 18:57:10 UTC (rev 765443)
@@ -0,0 +1,43 @@
+# Maintainer: Felix Yan 
+
+_hkgname=tamarin-prover-sapic
+pkgname=haskell-tamarin-prover-sapic
+pkgver=1.6.0
+pkgrel=23
+pkgdesc="Library for input processes in SAPIC calculus for the tamarin prover"
+url="http://www.infsec.ethz.ch/research/software/tamarin;
+license=("GPL")
+arch=('x86_64')
+depends=('ghc-libs' 'haskell-aeson' 'haskell-aeson-pretty' 'haskell-dlist' 
'haskell-fclabels'
+ 'haskell-parallel' 'haskell-safe' 'haskell-uniplate' 
'haskell-raw-strings-qq'
+ 'haskell-tamarin-prover-utils' 'haskell-tamarin-prover-term' 
'haskell-tamarin-prover-theory')
+makedepends=('ghc')
+source=("tamarin-prover-$pkgver.tar.gz::https://github.com/tamarin-prover/tamarin-prover/archive/$pkgver.tar.gz;)
+sha512sums=('7f3569f740d63d715b92a8f073eaecb8b32efe59b910b246977d36bb9e873765440e72feb6e76c7cbafab0495b88cfc666bb1dd12f685627c60d5cbd97b2973e')
+
+prepare() {
+cd tamarin-prover-$pkgver/lib/sapic
+echo -e "import Distribution.Simple\nmain = defaultMain" > Setup.hs
+}
+
+build() {
+cd tamarin-prover-$pkgver/lib/sapic
+
+runhaskell Setup configure -O --enable-shared --enable-executable-dynamic 
--disable-library-vanilla \
+--prefix=/usr --docdir=/usr/share/doc/$pkgname \
+--dynlibdir=/usr/lib --libsubdir=\$compiler/site-local/\$pkgid
+runhaskell Setup build $MAKEFLAGS
+runhaskell Setup register --gen-script
+runhaskell Setup unregister --gen-script
+sed -i -r -e "s|ghc-pkg.*update[^ ]* |&'--force' |" register.sh
+sed -i -r -e "s|ghc-pkg.*unregister[^ ]* |&'--force' |" unregister.sh
+}
+
+package() {
+cd tamarin-prover-$pkgver/lib/sapic
+
+install -D -m744 register.sh 
"$pkgdir"/usr/share/haskell/register/$pkgname.sh
+install -D -m744 unregister.sh 
"$pkgdir"/usr/share/haskell/unregister/$pkgname.sh
+runhaskell Setup copy --destdir="$pkgdir"
+rm -f "$pkgdir"/usr/share/doc/$pkgname/LICENSE
+}

[arch-commits] Commit in haskell-tamarin-prover-sapic/repos (2 files)

2020-11-22 Thread Felix Yan via arch-commits

Date: Monday, November 23, 2020 @ 00:10:59
  Author: felixonmars
Revision: 759779

archrelease: copy trunk to community-staging-x86_64

Added:
  haskell-tamarin-prover-sapic/repos/community-staging-x86_64/
  haskell-tamarin-prover-sapic/repos/community-staging-x86_64/PKGBUILD
(from rev 759778, haskell-tamarin-prover-sapic/trunk/PKGBUILD)

--+
 PKGBUILD |   43 +++
 1 file changed, 43 insertions(+)

Copied: haskell-tamarin-prover-sapic/repos/community-staging-x86_64/PKGBUILD 
(from rev 759778, haskell-tamarin-prover-sapic/trunk/PKGBUILD)
===
--- community-staging-x86_64/PKGBUILD   (rev 0)
+++ community-staging-x86_64/PKGBUILD   2020-11-23 00:10:59 UTC (rev 759779)
@@ -0,0 +1,43 @@
+# Maintainer: Felix Yan 
+
+_hkgname=tamarin-prover-sapic
+pkgname=haskell-tamarin-prover-sapic
+pkgver=1.6.0
+pkgrel=22
+pkgdesc="Library for input processes in SAPIC calculus for the tamarin prover"
+url="http://www.infsec.ethz.ch/research/software/tamarin;
+license=("GPL")
+arch=('x86_64')
+depends=('ghc-libs' 'haskell-aeson' 'haskell-aeson-pretty' 'haskell-dlist' 
'haskell-fclabels'
+ 'haskell-parallel' 'haskell-safe' 'haskell-uniplate' 
'haskell-raw-strings-qq'
+ 'haskell-tamarin-prover-utils' 'haskell-tamarin-prover-term' 
'haskell-tamarin-prover-theory')
+makedepends=('ghc')
+source=("tamarin-prover-$pkgver.tar.gz::https://github.com/tamarin-prover/tamarin-prover/archive/$pkgver.tar.gz;)
+sha512sums=('7f3569f740d63d715b92a8f073eaecb8b32efe59b910b246977d36bb9e873765440e72feb6e76c7cbafab0495b88cfc666bb1dd12f685627c60d5cbd97b2973e')
+
+prepare() {
+cd tamarin-prover-$pkgver/lib/sapic
+echo -e "import Distribution.Simple\nmain = defaultMain" > Setup.hs
+}
+
+build() {
+cd tamarin-prover-$pkgver/lib/sapic
+
+runhaskell Setup configure -O --enable-shared --enable-executable-dynamic 
--disable-library-vanilla \
+--prefix=/usr --docdir=/usr/share/doc/$pkgname \
+--dynlibdir=/usr/lib --libsubdir=\$compiler/site-local/\$pkgid
+runhaskell Setup build $MAKEFLAGS
+runhaskell Setup register --gen-script
+runhaskell Setup unregister --gen-script
+sed -i -r -e "s|ghc-pkg.*update[^ ]* |&'--force' |" register.sh
+sed -i -r -e "s|ghc-pkg.*unregister[^ ]* |&'--force' |" unregister.sh
+}
+
+package() {
+cd tamarin-prover-$pkgver/lib/sapic
+
+install -D -m744 register.sh 
"$pkgdir"/usr/share/haskell/register/$pkgname.sh
+install -D -m744 unregister.sh 
"$pkgdir"/usr/share/haskell/unregister/$pkgname.sh
+runhaskell Setup copy --destdir="$pkgdir"
+rm -f "$pkgdir"/usr/share/doc/$pkgname/LICENSE
+}

[arch-commits] Commit in haskell-tamarin-prover-sapic/repos (2 files)

2020-11-20 Thread Felix Yan via arch-commits

Date: Friday, November 20, 2020 @ 23:29:10
  Author: felixonmars
Revision: 758239

archrelease: copy trunk to community-staging-x86_64

Added:
  haskell-tamarin-prover-sapic/repos/community-staging-x86_64/
  haskell-tamarin-prover-sapic/repos/community-staging-x86_64/PKGBUILD
(from rev 758238, haskell-tamarin-prover-sapic/trunk/PKGBUILD)

--+
 PKGBUILD |   43 +++
 1 file changed, 43 insertions(+)

Copied: haskell-tamarin-prover-sapic/repos/community-staging-x86_64/PKGBUILD 
(from rev 758238, haskell-tamarin-prover-sapic/trunk/PKGBUILD)
===
--- community-staging-x86_64/PKGBUILD   (rev 0)
+++ community-staging-x86_64/PKGBUILD   2020-11-20 23:29:10 UTC (rev 758239)
@@ -0,0 +1,43 @@
+# Maintainer: Felix Yan 
+
+_hkgname=tamarin-prover-sapic
+pkgname=haskell-tamarin-prover-sapic
+pkgver=1.6.0
+pkgrel=21
+pkgdesc="Library for input processes in SAPIC calculus for the tamarin prover"
+url="http://www.infsec.ethz.ch/research/software/tamarin;
+license=("GPL")
+arch=('x86_64')
+depends=('ghc-libs' 'haskell-aeson' 'haskell-aeson-pretty' 'haskell-dlist' 
'haskell-fclabels'
+ 'haskell-parallel' 'haskell-safe' 'haskell-uniplate' 
'haskell-raw-strings-qq'
+ 'haskell-tamarin-prover-utils' 'haskell-tamarin-prover-term' 
'haskell-tamarin-prover-theory')
+makedepends=('ghc')
+source=("tamarin-prover-$pkgver.tar.gz::https://github.com/tamarin-prover/tamarin-prover/archive/$pkgver.tar.gz;)
+sha512sums=('7f3569f740d63d715b92a8f073eaecb8b32efe59b910b246977d36bb9e873765440e72feb6e76c7cbafab0495b88cfc666bb1dd12f685627c60d5cbd97b2973e')
+
+prepare() {
+cd tamarin-prover-$pkgver/lib/sapic
+echo -e "import Distribution.Simple\nmain = defaultMain" > Setup.hs
+}
+
+build() {
+cd tamarin-prover-$pkgver/lib/sapic
+
+runhaskell Setup configure -O --enable-shared --enable-executable-dynamic 
--disable-library-vanilla \
+--prefix=/usr --docdir=/usr/share/doc/$pkgname \
+--dynlibdir=/usr/lib --libsubdir=\$compiler/site-local/\$pkgid
+runhaskell Setup build $MAKEFLAGS
+runhaskell Setup register --gen-script
+runhaskell Setup unregister --gen-script
+sed -i -r -e "s|ghc-pkg.*update[^ ]* |&'--force' |" register.sh
+sed -i -r -e "s|ghc-pkg.*unregister[^ ]* |&'--force' |" unregister.sh
+}
+
+package() {
+cd tamarin-prover-$pkgver/lib/sapic
+
+install -D -m744 register.sh 
"$pkgdir"/usr/share/haskell/register/$pkgname.sh
+install -D -m744 unregister.sh 
"$pkgdir"/usr/share/haskell/unregister/$pkgname.sh
+runhaskell Setup copy --destdir="$pkgdir"
+rm -f "$pkgdir"/usr/share/doc/$pkgname/LICENSE
+}

[arch-commits] Commit in haskell-tamarin-prover-sapic/repos (2 files)

2020-11-16 Thread Felix Yan via arch-commits

Date: Tuesday, November 17, 2020 @ 06:01:10
  Author: felixonmars
Revision: 755984

archrelease: copy trunk to community-staging-x86_64

Added:
  haskell-tamarin-prover-sapic/repos/community-staging-x86_64/
  haskell-tamarin-prover-sapic/repos/community-staging-x86_64/PKGBUILD
(from rev 755983, haskell-tamarin-prover-sapic/trunk/PKGBUILD)

--+
 PKGBUILD |   43 +++
 1 file changed, 43 insertions(+)

Copied: haskell-tamarin-prover-sapic/repos/community-staging-x86_64/PKGBUILD 
(from rev 755983, haskell-tamarin-prover-sapic/trunk/PKGBUILD)
===
--- community-staging-x86_64/PKGBUILD   (rev 0)
+++ community-staging-x86_64/PKGBUILD   2020-11-17 06:01:10 UTC (rev 755984)
@@ -0,0 +1,43 @@
+# Maintainer: Felix Yan 
+
+_hkgname=tamarin-prover-sapic
+pkgname=haskell-tamarin-prover-sapic
+pkgver=1.6.0
+pkgrel=20
+pkgdesc="Library for input processes in SAPIC calculus for the tamarin prover"
+url="http://www.infsec.ethz.ch/research/software/tamarin;
+license=("GPL")
+arch=('x86_64')
+depends=('ghc-libs' 'haskell-aeson' 'haskell-aeson-pretty' 'haskell-dlist' 
'haskell-fclabels'
+ 'haskell-parallel' 'haskell-safe' 'haskell-uniplate' 
'haskell-raw-strings-qq'
+ 'haskell-tamarin-prover-utils' 'haskell-tamarin-prover-term' 
'haskell-tamarin-prover-theory')
+makedepends=('ghc')
+source=("tamarin-prover-$pkgver.tar.gz::https://github.com/tamarin-prover/tamarin-prover/archive/$pkgver.tar.gz;)
+sha512sums=('7f3569f740d63d715b92a8f073eaecb8b32efe59b910b246977d36bb9e873765440e72feb6e76c7cbafab0495b88cfc666bb1dd12f685627c60d5cbd97b2973e')
+
+prepare() {
+cd tamarin-prover-$pkgver/lib/sapic
+echo -e "import Distribution.Simple\nmain = defaultMain" > Setup.hs
+}
+
+build() {
+cd tamarin-prover-$pkgver/lib/sapic
+
+runhaskell Setup configure -O --enable-shared --enable-executable-dynamic 
--disable-library-vanilla \
+--prefix=/usr --docdir=/usr/share/doc/$pkgname \
+--dynlibdir=/usr/lib --libsubdir=\$compiler/site-local/\$pkgid
+runhaskell Setup build $MAKEFLAGS
+runhaskell Setup register --gen-script
+runhaskell Setup unregister --gen-script
+sed -i -r -e "s|ghc-pkg.*update[^ ]* |&'--force' |" register.sh
+sed -i -r -e "s|ghc-pkg.*unregister[^ ]* |&'--force' |" unregister.sh
+}
+
+package() {
+cd tamarin-prover-$pkgver/lib/sapic
+
+install -D -m744 register.sh 
"$pkgdir"/usr/share/haskell/register/$pkgname.sh
+install -D -m744 unregister.sh 
"$pkgdir"/usr/share/haskell/unregister/$pkgname.sh
+runhaskell Setup copy --destdir="$pkgdir"
+rm -f "$pkgdir"/usr/share/doc/$pkgname/LICENSE
+}

[arch-commits] Commit in haskell-tamarin-prover-sapic/repos (2 files)

2020-11-08 Thread Felix Yan via arch-commits

Date: Sunday, November 8, 2020 @ 13:00:33
  Author: felixonmars
Revision: 746553

archrelease: copy trunk to community-staging-x86_64

Added:
  haskell-tamarin-prover-sapic/repos/community-staging-x86_64/
  haskell-tamarin-prover-sapic/repos/community-staging-x86_64/PKGBUILD
(from rev 746552, haskell-tamarin-prover-sapic/trunk/PKGBUILD)

--+
 PKGBUILD |   43 +++
 1 file changed, 43 insertions(+)

Copied: haskell-tamarin-prover-sapic/repos/community-staging-x86_64/PKGBUILD 
(from rev 746552, haskell-tamarin-prover-sapic/trunk/PKGBUILD)
===
--- community-staging-x86_64/PKGBUILD   (rev 0)
+++ community-staging-x86_64/PKGBUILD   2020-11-08 13:00:33 UTC (rev 746553)
@@ -0,0 +1,43 @@
+# Maintainer: Felix Yan 
+
+_hkgname=tamarin-prover-sapic
+pkgname=haskell-tamarin-prover-sapic
+pkgver=1.6.0
+pkgrel=19
+pkgdesc="Library for input processes in SAPIC calculus for the tamarin prover"
+url="http://www.infsec.ethz.ch/research/software/tamarin;
+license=("GPL")
+arch=('x86_64')
+depends=('ghc-libs' 'haskell-aeson' 'haskell-aeson-pretty' 'haskell-dlist' 
'haskell-fclabels'
+ 'haskell-parallel' 'haskell-safe' 'haskell-uniplate' 
'haskell-raw-strings-qq'
+ 'haskell-tamarin-prover-utils' 'haskell-tamarin-prover-term' 
'haskell-tamarin-prover-theory')
+makedepends=('ghc')
+source=("tamarin-prover-$pkgver.tar.gz::https://github.com/tamarin-prover/tamarin-prover/archive/$pkgver.tar.gz;)
+sha512sums=('7f3569f740d63d715b92a8f073eaecb8b32efe59b910b246977d36bb9e873765440e72feb6e76c7cbafab0495b88cfc666bb1dd12f685627c60d5cbd97b2973e')
+
+prepare() {
+cd tamarin-prover-$pkgver/lib/sapic
+echo -e "import Distribution.Simple\nmain = defaultMain" > Setup.hs
+}
+
+build() {
+cd tamarin-prover-$pkgver/lib/sapic
+
+runhaskell Setup configure -O --enable-shared --enable-executable-dynamic 
--disable-library-vanilla \
+--prefix=/usr --docdir=/usr/share/doc/$pkgname \
+--dynlibdir=/usr/lib --libsubdir=\$compiler/site-local/\$pkgid
+runhaskell Setup build $MAKEFLAGS
+runhaskell Setup register --gen-script
+runhaskell Setup unregister --gen-script
+sed -i -r -e "s|ghc-pkg.*update[^ ]* |&'--force' |" register.sh
+sed -i -r -e "s|ghc-pkg.*unregister[^ ]* |&'--force' |" unregister.sh
+}
+
+package() {
+cd tamarin-prover-$pkgver/lib/sapic
+
+install -D -m744 register.sh 
"$pkgdir"/usr/share/haskell/register/$pkgname.sh
+install -D -m744 unregister.sh 
"$pkgdir"/usr/share/haskell/unregister/$pkgname.sh
+runhaskell Setup copy --destdir="$pkgdir"
+rm -f "$pkgdir"/usr/share/doc/$pkgname/LICENSE
+}

[arch-commits] Commit in haskell-tamarin-prover-sapic/repos (2 files)

2020-11-07 Thread Felix Yan via arch-commits

Date: Saturday, November 7, 2020 @ 14:21:22
  Author: felixonmars
Revision: 745795

archrelease: copy trunk to community-staging-x86_64

Added:
  haskell-tamarin-prover-sapic/repos/community-staging-x86_64/
  haskell-tamarin-prover-sapic/repos/community-staging-x86_64/PKGBUILD
(from rev 745794, haskell-tamarin-prover-sapic/trunk/PKGBUILD)

--+
 PKGBUILD |   43 +++
 1 file changed, 43 insertions(+)

Copied: haskell-tamarin-prover-sapic/repos/community-staging-x86_64/PKGBUILD 
(from rev 745794, haskell-tamarin-prover-sapic/trunk/PKGBUILD)
===
--- community-staging-x86_64/PKGBUILD   (rev 0)
+++ community-staging-x86_64/PKGBUILD   2020-11-07 14:21:22 UTC (rev 745795)
@@ -0,0 +1,43 @@
+# Maintainer: Felix Yan 
+
+_hkgname=tamarin-prover-sapic
+pkgname=haskell-tamarin-prover-sapic
+pkgver=1.6.0
+pkgrel=18
+pkgdesc="Library for input processes in SAPIC calculus for the tamarin prover"
+url="http://www.infsec.ethz.ch/research/software/tamarin;
+license=("GPL")
+arch=('x86_64')
+depends=('ghc-libs' 'haskell-aeson' 'haskell-aeson-pretty' 'haskell-dlist' 
'haskell-fclabels'
+ 'haskell-parallel' 'haskell-safe' 'haskell-uniplate' 
'haskell-raw-strings-qq'
+ 'haskell-tamarin-prover-utils' 'haskell-tamarin-prover-term' 
'haskell-tamarin-prover-theory')
+makedepends=('ghc')
+source=("tamarin-prover-$pkgver.tar.gz::https://github.com/tamarin-prover/tamarin-prover/archive/$pkgver.tar.gz;)
+sha512sums=('7f3569f740d63d715b92a8f073eaecb8b32efe59b910b246977d36bb9e873765440e72feb6e76c7cbafab0495b88cfc666bb1dd12f685627c60d5cbd97b2973e')
+
+prepare() {
+cd tamarin-prover-$pkgver/lib/sapic
+echo -e "import Distribution.Simple\nmain = defaultMain" > Setup.hs
+}
+
+build() {
+cd tamarin-prover-$pkgver/lib/sapic
+
+runhaskell Setup configure -O --enable-shared --enable-executable-dynamic 
--disable-library-vanilla \
+--prefix=/usr --docdir=/usr/share/doc/$pkgname \
+--dynlibdir=/usr/lib --libsubdir=\$compiler/site-local/\$pkgid
+runhaskell Setup build $MAKEFLAGS
+runhaskell Setup register --gen-script
+runhaskell Setup unregister --gen-script
+sed -i -r -e "s|ghc-pkg.*update[^ ]* |&'--force' |" register.sh
+sed -i -r -e "s|ghc-pkg.*unregister[^ ]* |&'--force' |" unregister.sh
+}
+
+package() {
+cd tamarin-prover-$pkgver/lib/sapic
+
+install -D -m744 register.sh 
"$pkgdir"/usr/share/haskell/register/$pkgname.sh
+install -D -m744 unregister.sh 
"$pkgdir"/usr/share/haskell/unregister/$pkgname.sh
+runhaskell Setup copy --destdir="$pkgdir"
+rm -f "$pkgdir"/usr/share/doc/$pkgname/LICENSE
+}

[arch-commits] Commit in haskell-tamarin-prover-sapic/repos (2 files)

2020-11-06 Thread Felix Yan via arch-commits

Date: Friday, November 6, 2020 @ 13:47:23
  Author: felixonmars
Revision: 744287

archrelease: copy trunk to community-staging-x86_64

Added:
  haskell-tamarin-prover-sapic/repos/community-staging-x86_64/
  haskell-tamarin-prover-sapic/repos/community-staging-x86_64/PKGBUILD
(from rev 744286, haskell-tamarin-prover-sapic/trunk/PKGBUILD)

--+
 PKGBUILD |   43 +++
 1 file changed, 43 insertions(+)

Copied: haskell-tamarin-prover-sapic/repos/community-staging-x86_64/PKGBUILD 
(from rev 744286, haskell-tamarin-prover-sapic/trunk/PKGBUILD)
===
--- community-staging-x86_64/PKGBUILD   (rev 0)
+++ community-staging-x86_64/PKGBUILD   2020-11-06 13:47:23 UTC (rev 744287)
@@ -0,0 +1,43 @@
+# Maintainer: Felix Yan 
+
+_hkgname=tamarin-prover-sapic
+pkgname=haskell-tamarin-prover-sapic
+pkgver=1.6.0
+pkgrel=17
+pkgdesc="Library for input processes in SAPIC calculus for the tamarin prover"
+url="http://www.infsec.ethz.ch/research/software/tamarin;
+license=("GPL")
+arch=('x86_64')
+depends=('ghc-libs' 'haskell-aeson' 'haskell-aeson-pretty' 'haskell-dlist' 
'haskell-fclabels'
+ 'haskell-parallel' 'haskell-safe' 'haskell-uniplate' 
'haskell-raw-strings-qq'
+ 'haskell-tamarin-prover-utils' 'haskell-tamarin-prover-term' 
'haskell-tamarin-prover-theory')
+makedepends=('ghc')
+source=("tamarin-prover-$pkgver.tar.gz::https://github.com/tamarin-prover/tamarin-prover/archive/$pkgver.tar.gz;)
+sha512sums=('7f3569f740d63d715b92a8f073eaecb8b32efe59b910b246977d36bb9e873765440e72feb6e76c7cbafab0495b88cfc666bb1dd12f685627c60d5cbd97b2973e')
+
+prepare() {
+cd tamarin-prover-$pkgver/lib/sapic
+echo -e "import Distribution.Simple\nmain = defaultMain" > Setup.hs
+}
+
+build() {
+cd tamarin-prover-$pkgver/lib/sapic
+
+runhaskell Setup configure -O --enable-shared --enable-executable-dynamic 
--disable-library-vanilla \
+--prefix=/usr --docdir=/usr/share/doc/$pkgname \
+--dynlibdir=/usr/lib --libsubdir=\$compiler/site-local/\$pkgid
+runhaskell Setup build $MAKEFLAGS
+runhaskell Setup register --gen-script
+runhaskell Setup unregister --gen-script
+sed -i -r -e "s|ghc-pkg.*update[^ ]* |&'--force' |" register.sh
+sed -i -r -e "s|ghc-pkg.*unregister[^ ]* |&'--force' |" unregister.sh
+}
+
+package() {
+cd tamarin-prover-$pkgver/lib/sapic
+
+install -D -m744 register.sh 
"$pkgdir"/usr/share/haskell/register/$pkgname.sh
+install -D -m744 unregister.sh 
"$pkgdir"/usr/share/haskell/unregister/$pkgname.sh
+runhaskell Setup copy --destdir="$pkgdir"
+rm -f "$pkgdir"/usr/share/doc/$pkgname/LICENSE
+}

[arch-commits] Commit in haskell-tamarin-prover-sapic/repos (2 files)

2020-11-04 Thread Felix Yan via arch-commits

Date: Wednesday, November 4, 2020 @ 18:05:16
  Author: felixonmars
Revision: 742483

archrelease: copy trunk to community-staging-x86_64

Added:
  haskell-tamarin-prover-sapic/repos/community-staging-x86_64/
  haskell-tamarin-prover-sapic/repos/community-staging-x86_64/PKGBUILD
(from rev 742482, haskell-tamarin-prover-sapic/trunk/PKGBUILD)

--+
 PKGBUILD |   43 +++
 1 file changed, 43 insertions(+)

Copied: haskell-tamarin-prover-sapic/repos/community-staging-x86_64/PKGBUILD 
(from rev 742482, haskell-tamarin-prover-sapic/trunk/PKGBUILD)
===
--- community-staging-x86_64/PKGBUILD   (rev 0)
+++ community-staging-x86_64/PKGBUILD   2020-11-04 18:05:16 UTC (rev 742483)
@@ -0,0 +1,43 @@
+# Maintainer: Felix Yan 
+
+_hkgname=tamarin-prover-sapic
+pkgname=haskell-tamarin-prover-sapic
+pkgver=1.6.0
+pkgrel=16
+pkgdesc="Library for input processes in SAPIC calculus for the tamarin prover"
+url="http://www.infsec.ethz.ch/research/software/tamarin;
+license=("GPL")
+arch=('x86_64')
+depends=('ghc-libs' 'haskell-aeson' 'haskell-aeson-pretty' 'haskell-dlist' 
'haskell-fclabels'
+ 'haskell-parallel' 'haskell-safe' 'haskell-uniplate' 
'haskell-raw-strings-qq'
+ 'haskell-tamarin-prover-utils' 'haskell-tamarin-prover-term' 
'haskell-tamarin-prover-theory')
+makedepends=('ghc')
+source=("tamarin-prover-$pkgver.tar.gz::https://github.com/tamarin-prover/tamarin-prover/archive/$pkgver.tar.gz;)
+sha512sums=('7f3569f740d63d715b92a8f073eaecb8b32efe59b910b246977d36bb9e873765440e72feb6e76c7cbafab0495b88cfc666bb1dd12f685627c60d5cbd97b2973e')
+
+prepare() {
+cd tamarin-prover-$pkgver/lib/sapic
+echo -e "import Distribution.Simple\nmain = defaultMain" > Setup.hs
+}
+
+build() {
+cd tamarin-prover-$pkgver/lib/sapic
+
+runhaskell Setup configure -O --enable-shared --enable-executable-dynamic 
--disable-library-vanilla \
+--prefix=/usr --docdir=/usr/share/doc/$pkgname \
+--dynlibdir=/usr/lib --libsubdir=\$compiler/site-local/\$pkgid
+runhaskell Setup build $MAKEFLAGS
+runhaskell Setup register --gen-script
+runhaskell Setup unregister --gen-script
+sed -i -r -e "s|ghc-pkg.*update[^ ]* |&'--force' |" register.sh
+sed -i -r -e "s|ghc-pkg.*unregister[^ ]* |&'--force' |" unregister.sh
+}
+
+package() {
+cd tamarin-prover-$pkgver/lib/sapic
+
+install -D -m744 register.sh 
"$pkgdir"/usr/share/haskell/register/$pkgname.sh
+install -D -m744 unregister.sh 
"$pkgdir"/usr/share/haskell/unregister/$pkgname.sh
+runhaskell Setup copy --destdir="$pkgdir"
+rm -f "$pkgdir"/usr/share/doc/$pkgname/LICENSE
+}

[arch-commits] Commit in haskell-tamarin-prover-sapic/repos (2 files)

2020-11-04 Thread Felix Yan via arch-commits

Date: Wednesday, November 4, 2020 @ 08:23:36
  Author: felixonmars
Revision: 741710

archrelease: copy trunk to community-staging-x86_64

Added:
  haskell-tamarin-prover-sapic/repos/community-staging-x86_64/
  haskell-tamarin-prover-sapic/repos/community-staging-x86_64/PKGBUILD
(from rev 741709, haskell-tamarin-prover-sapic/trunk/PKGBUILD)

--+
 PKGBUILD |   43 +++
 1 file changed, 43 insertions(+)

Copied: haskell-tamarin-prover-sapic/repos/community-staging-x86_64/PKGBUILD 
(from rev 741709, haskell-tamarin-prover-sapic/trunk/PKGBUILD)
===
--- community-staging-x86_64/PKGBUILD   (rev 0)
+++ community-staging-x86_64/PKGBUILD   2020-11-04 08:23:36 UTC (rev 741710)
@@ -0,0 +1,43 @@
+# Maintainer: Felix Yan 
+
+_hkgname=tamarin-prover-sapic
+pkgname=haskell-tamarin-prover-sapic
+pkgver=1.6.0
+pkgrel=15
+pkgdesc="Library for input processes in SAPIC calculus for the tamarin prover"
+url="http://www.infsec.ethz.ch/research/software/tamarin;
+license=("GPL")
+arch=('x86_64')
+depends=('ghc-libs' 'haskell-aeson' 'haskell-aeson-pretty' 'haskell-dlist' 
'haskell-fclabels'
+ 'haskell-parallel' 'haskell-safe' 'haskell-uniplate' 
'haskell-raw-strings-qq'
+ 'haskell-tamarin-prover-utils' 'haskell-tamarin-prover-term' 
'haskell-tamarin-prover-theory')
+makedepends=('ghc')
+source=("tamarin-prover-$pkgver.tar.gz::https://github.com/tamarin-prover/tamarin-prover/archive/$pkgver.tar.gz;)
+sha512sums=('7f3569f740d63d715b92a8f073eaecb8b32efe59b910b246977d36bb9e873765440e72feb6e76c7cbafab0495b88cfc666bb1dd12f685627c60d5cbd97b2973e')
+
+prepare() {
+cd tamarin-prover-$pkgver/lib/sapic
+echo -e "import Distribution.Simple\nmain = defaultMain" > Setup.hs
+}
+
+build() {
+cd tamarin-prover-$pkgver/lib/sapic
+
+runhaskell Setup configure -O --enable-shared --enable-executable-dynamic 
--disable-library-vanilla \
+--prefix=/usr --docdir=/usr/share/doc/$pkgname \
+--dynlibdir=/usr/lib --libsubdir=\$compiler/site-local/\$pkgid
+runhaskell Setup build $MAKEFLAGS
+runhaskell Setup register --gen-script
+runhaskell Setup unregister --gen-script
+sed -i -r -e "s|ghc-pkg.*update[^ ]* |&'--force' |" register.sh
+sed -i -r -e "s|ghc-pkg.*unregister[^ ]* |&'--force' |" unregister.sh
+}
+
+package() {
+cd tamarin-prover-$pkgver/lib/sapic
+
+install -D -m744 register.sh 
"$pkgdir"/usr/share/haskell/register/$pkgname.sh
+install -D -m744 unregister.sh 
"$pkgdir"/usr/share/haskell/unregister/$pkgname.sh
+runhaskell Setup copy --destdir="$pkgdir"
+rm -f "$pkgdir"/usr/share/doc/$pkgname/LICENSE
+}

[arch-commits] Commit in haskell-tamarin-prover-sapic/repos (2 files)

2020-11-02 Thread Felix Yan via arch-commits

Date: Monday, November 2, 2020 @ 17:11:18
  Author: felixonmars
Revision: 739979

archrelease: copy trunk to community-staging-x86_64

Added:
  haskell-tamarin-prover-sapic/repos/community-staging-x86_64/
  haskell-tamarin-prover-sapic/repos/community-staging-x86_64/PKGBUILD
(from rev 739978, haskell-tamarin-prover-sapic/trunk/PKGBUILD)

--+
 PKGBUILD |   43 +++
 1 file changed, 43 insertions(+)

Copied: haskell-tamarin-prover-sapic/repos/community-staging-x86_64/PKGBUILD 
(from rev 739978, haskell-tamarin-prover-sapic/trunk/PKGBUILD)
===
--- community-staging-x86_64/PKGBUILD   (rev 0)
+++ community-staging-x86_64/PKGBUILD   2020-11-02 17:11:18 UTC (rev 739979)
@@ -0,0 +1,43 @@
+# Maintainer: Felix Yan 
+
+_hkgname=tamarin-prover-sapic
+pkgname=haskell-tamarin-prover-sapic
+pkgver=1.6.0
+pkgrel=14
+pkgdesc="Library for input processes in SAPIC calculus for the tamarin prover"
+url="http://www.infsec.ethz.ch/research/software/tamarin;
+license=("GPL")
+arch=('x86_64')
+depends=('ghc-libs' 'haskell-aeson' 'haskell-aeson-pretty' 'haskell-dlist' 
'haskell-fclabels'
+ 'haskell-parallel' 'haskell-safe' 'haskell-uniplate' 
'haskell-raw-strings-qq'
+ 'haskell-tamarin-prover-utils' 'haskell-tamarin-prover-term' 
'haskell-tamarin-prover-theory')
+makedepends=('ghc')
+source=("tamarin-prover-$pkgver.tar.gz::https://github.com/tamarin-prover/tamarin-prover/archive/$pkgver.tar.gz;)
+sha512sums=('7f3569f740d63d715b92a8f073eaecb8b32efe59b910b246977d36bb9e873765440e72feb6e76c7cbafab0495b88cfc666bb1dd12f685627c60d5cbd97b2973e')
+
+prepare() {
+cd tamarin-prover-$pkgver/lib/sapic
+echo -e "import Distribution.Simple\nmain = defaultMain" > Setup.hs
+}
+
+build() {
+cd tamarin-prover-$pkgver/lib/sapic
+
+runhaskell Setup configure -O --enable-shared --enable-executable-dynamic 
--disable-library-vanilla \
+--prefix=/usr --docdir=/usr/share/doc/$pkgname \
+--dynlibdir=/usr/lib --libsubdir=\$compiler/site-local/\$pkgid
+runhaskell Setup build $MAKEFLAGS
+runhaskell Setup register --gen-script
+runhaskell Setup unregister --gen-script
+sed -i -r -e "s|ghc-pkg.*update[^ ]* |&'--force' |" register.sh
+sed -i -r -e "s|ghc-pkg.*unregister[^ ]* |&'--force' |" unregister.sh
+}
+
+package() {
+cd tamarin-prover-$pkgver/lib/sapic
+
+install -D -m744 register.sh 
"$pkgdir"/usr/share/haskell/register/$pkgname.sh
+install -D -m744 unregister.sh 
"$pkgdir"/usr/share/haskell/unregister/$pkgname.sh
+runhaskell Setup copy --destdir="$pkgdir"
+rm -f "$pkgdir"/usr/share/doc/$pkgname/LICENSE
+}

[arch-commits] Commit in haskell-tamarin-prover-sapic/repos (2 files)

2020-10-31 Thread Felix Yan via arch-commits

Date: Sunday, November 1, 2020 @ 02:03:40
  Author: felixonmars
Revision: 738098

archrelease: copy trunk to community-staging-x86_64

Added:
  haskell-tamarin-prover-sapic/repos/community-staging-x86_64/
  haskell-tamarin-prover-sapic/repos/community-staging-x86_64/PKGBUILD
(from rev 738097, haskell-tamarin-prover-sapic/trunk/PKGBUILD)

--+
 PKGBUILD |   43 +++
 1 file changed, 43 insertions(+)

Copied: haskell-tamarin-prover-sapic/repos/community-staging-x86_64/PKGBUILD 
(from rev 738097, haskell-tamarin-prover-sapic/trunk/PKGBUILD)
===
--- community-staging-x86_64/PKGBUILD   (rev 0)
+++ community-staging-x86_64/PKGBUILD   2020-11-01 02:03:40 UTC (rev 738098)
@@ -0,0 +1,43 @@
+# Maintainer: Felix Yan 
+
+_hkgname=tamarin-prover-sapic
+pkgname=haskell-tamarin-prover-sapic
+pkgver=1.6.0
+pkgrel=13
+pkgdesc="Library for input processes in SAPIC calculus for the tamarin prover"
+url="http://www.infsec.ethz.ch/research/software/tamarin;
+license=("GPL")
+arch=('x86_64')
+depends=('ghc-libs' 'haskell-aeson' 'haskell-aeson-pretty' 'haskell-dlist' 
'haskell-fclabels'
+ 'haskell-parallel' 'haskell-safe' 'haskell-uniplate' 
'haskell-raw-strings-qq'
+ 'haskell-tamarin-prover-utils' 'haskell-tamarin-prover-term' 
'haskell-tamarin-prover-theory')
+makedepends=('ghc')
+source=("tamarin-prover-$pkgver.tar.gz::https://github.com/tamarin-prover/tamarin-prover/archive/$pkgver.tar.gz;)
+sha512sums=('7f3569f740d63d715b92a8f073eaecb8b32efe59b910b246977d36bb9e873765440e72feb6e76c7cbafab0495b88cfc666bb1dd12f685627c60d5cbd97b2973e')
+
+prepare() {
+cd tamarin-prover-$pkgver/lib/sapic
+echo -e "import Distribution.Simple\nmain = defaultMain" > Setup.hs
+}
+
+build() {
+cd tamarin-prover-$pkgver/lib/sapic
+
+runhaskell Setup configure -O --enable-shared --enable-executable-dynamic 
--disable-library-vanilla \
+--prefix=/usr --docdir=/usr/share/doc/$pkgname \
+--dynlibdir=/usr/lib --libsubdir=\$compiler/site-local/\$pkgid
+runhaskell Setup build $MAKEFLAGS
+runhaskell Setup register --gen-script
+runhaskell Setup unregister --gen-script
+sed -i -r -e "s|ghc-pkg.*update[^ ]* |&'--force' |" register.sh
+sed -i -r -e "s|ghc-pkg.*unregister[^ ]* |&'--force' |" unregister.sh
+}
+
+package() {
+cd tamarin-prover-$pkgver/lib/sapic
+
+install -D -m744 register.sh 
"$pkgdir"/usr/share/haskell/register/$pkgname.sh
+install -D -m744 unregister.sh 
"$pkgdir"/usr/share/haskell/unregister/$pkgname.sh
+runhaskell Setup copy --destdir="$pkgdir"
+rm -f "$pkgdir"/usr/share/doc/$pkgname/LICENSE
+}

[arch-commits] Commit in haskell-tamarin-prover-sapic/repos (2 files)

2020-10-28 Thread Felix Yan via arch-commits

Date: Wednesday, October 28, 2020 @ 09:34:30
  Author: felixonmars
Revision: 735310

archrelease: copy trunk to community-staging-x86_64

Added:
  haskell-tamarin-prover-sapic/repos/community-staging-x86_64/
  haskell-tamarin-prover-sapic/repos/community-staging-x86_64/PKGBUILD
(from rev 735309, haskell-tamarin-prover-sapic/trunk/PKGBUILD)

--+
 PKGBUILD |   43 +++
 1 file changed, 43 insertions(+)

Copied: haskell-tamarin-prover-sapic/repos/community-staging-x86_64/PKGBUILD 
(from rev 735309, haskell-tamarin-prover-sapic/trunk/PKGBUILD)
===
--- community-staging-x86_64/PKGBUILD   (rev 0)
+++ community-staging-x86_64/PKGBUILD   2020-10-28 09:34:30 UTC (rev 735310)
@@ -0,0 +1,43 @@
+# Maintainer: Felix Yan 
+
+_hkgname=tamarin-prover-sapic
+pkgname=haskell-tamarin-prover-sapic
+pkgver=1.6.0
+pkgrel=12
+pkgdesc="Library for input processes in SAPIC calculus for the tamarin prover"
+url="http://www.infsec.ethz.ch/research/software/tamarin;
+license=("GPL")
+arch=('x86_64')
+depends=('ghc-libs' 'haskell-aeson' 'haskell-aeson-pretty' 'haskell-dlist' 
'haskell-fclabels'
+ 'haskell-parallel' 'haskell-safe' 'haskell-uniplate' 
'haskell-raw-strings-qq'
+ 'haskell-tamarin-prover-utils' 'haskell-tamarin-prover-term' 
'haskell-tamarin-prover-theory')
+makedepends=('ghc')
+source=("tamarin-prover-$pkgver.tar.gz::https://github.com/tamarin-prover/tamarin-prover/archive/$pkgver.tar.gz;)
+sha512sums=('7f3569f740d63d715b92a8f073eaecb8b32efe59b910b246977d36bb9e873765440e72feb6e76c7cbafab0495b88cfc666bb1dd12f685627c60d5cbd97b2973e')
+
+prepare() {
+cd tamarin-prover-$pkgver/lib/sapic
+echo -e "import Distribution.Simple\nmain = defaultMain" > Setup.hs
+}
+
+build() {
+cd tamarin-prover-$pkgver/lib/sapic
+
+runhaskell Setup configure -O --enable-shared --enable-executable-dynamic 
--disable-library-vanilla \
+--prefix=/usr --docdir=/usr/share/doc/$pkgname \
+--dynlibdir=/usr/lib --libsubdir=\$compiler/site-local/\$pkgid
+runhaskell Setup build $MAKEFLAGS
+runhaskell Setup register --gen-script
+runhaskell Setup unregister --gen-script
+sed -i -r -e "s|ghc-pkg.*update[^ ]* |&'--force' |" register.sh
+sed -i -r -e "s|ghc-pkg.*unregister[^ ]* |&'--force' |" unregister.sh
+}
+
+package() {
+cd tamarin-prover-$pkgver/lib/sapic
+
+install -D -m744 register.sh 
"$pkgdir"/usr/share/haskell/register/$pkgname.sh
+install -D -m744 unregister.sh 
"$pkgdir"/usr/share/haskell/unregister/$pkgname.sh
+runhaskell Setup copy --destdir="$pkgdir"
+rm -f "$pkgdir"/usr/share/doc/$pkgname/LICENSE
+}

[arch-commits] Commit in haskell-tamarin-prover-sapic/repos (2 files)

2020-10-25 Thread Felix Yan via arch-commits

Date: Sunday, October 25, 2020 @ 20:54:21
  Author: felixonmars
Revision: 732988

archrelease: copy trunk to community-staging-x86_64

Added:
  haskell-tamarin-prover-sapic/repos/community-staging-x86_64/
  haskell-tamarin-prover-sapic/repos/community-staging-x86_64/PKGBUILD
(from rev 732987, haskell-tamarin-prover-sapic/trunk/PKGBUILD)

--+
 PKGBUILD |   43 +++
 1 file changed, 43 insertions(+)

Copied: haskell-tamarin-prover-sapic/repos/community-staging-x86_64/PKGBUILD 
(from rev 732987, haskell-tamarin-prover-sapic/trunk/PKGBUILD)
===
--- community-staging-x86_64/PKGBUILD   (rev 0)
+++ community-staging-x86_64/PKGBUILD   2020-10-25 20:54:21 UTC (rev 732988)
@@ -0,0 +1,43 @@
+# Maintainer: Felix Yan 
+
+_hkgname=tamarin-prover-sapic
+pkgname=haskell-tamarin-prover-sapic
+pkgver=1.6.0
+pkgrel=11
+pkgdesc="Library for input processes in SAPIC calculus for the tamarin prover"
+url="http://www.infsec.ethz.ch/research/software/tamarin;
+license=("GPL")
+arch=('x86_64')
+depends=('ghc-libs' 'haskell-aeson' 'haskell-aeson-pretty' 'haskell-dlist' 
'haskell-fclabels'
+ 'haskell-parallel' 'haskell-safe' 'haskell-uniplate' 
'haskell-raw-strings-qq'
+ 'haskell-tamarin-prover-utils' 'haskell-tamarin-prover-term' 
'haskell-tamarin-prover-theory')
+makedepends=('ghc')
+source=("tamarin-prover-$pkgver.tar.gz::https://github.com/tamarin-prover/tamarin-prover/archive/$pkgver.tar.gz;)
+sha512sums=('7f3569f740d63d715b92a8f073eaecb8b32efe59b910b246977d36bb9e873765440e72feb6e76c7cbafab0495b88cfc666bb1dd12f685627c60d5cbd97b2973e')
+
+prepare() {
+cd tamarin-prover-$pkgver/lib/sapic
+echo -e "import Distribution.Simple\nmain = defaultMain" > Setup.hs
+}
+
+build() {
+cd tamarin-prover-$pkgver/lib/sapic
+
+runhaskell Setup configure -O --enable-shared --enable-executable-dynamic 
--disable-library-vanilla \
+--prefix=/usr --docdir=/usr/share/doc/$pkgname \
+--dynlibdir=/usr/lib --libsubdir=\$compiler/site-local/\$pkgid
+runhaskell Setup build $MAKEFLAGS
+runhaskell Setup register --gen-script
+runhaskell Setup unregister --gen-script
+sed -i -r -e "s|ghc-pkg.*update[^ ]* |&'--force' |" register.sh
+sed -i -r -e "s|ghc-pkg.*unregister[^ ]* |&'--force' |" unregister.sh
+}
+
+package() {
+cd tamarin-prover-$pkgver/lib/sapic
+
+install -D -m744 register.sh 
"$pkgdir"/usr/share/haskell/register/$pkgname.sh
+install -D -m744 unregister.sh 
"$pkgdir"/usr/share/haskell/unregister/$pkgname.sh
+runhaskell Setup copy --destdir="$pkgdir"
+rm -f "$pkgdir"/usr/share/doc/$pkgname/LICENSE
+}

[arch-commits] Commit in haskell-tamarin-prover-sapic/repos (2 files)

2020-10-23 Thread Felix Yan via arch-commits

Date: Friday, October 23, 2020 @ 20:34:50
  Author: felixonmars
Revision: 730834

archrelease: copy trunk to community-staging-x86_64

Added:
  haskell-tamarin-prover-sapic/repos/community-staging-x86_64/
  haskell-tamarin-prover-sapic/repos/community-staging-x86_64/PKGBUILD
(from rev 730833, haskell-tamarin-prover-sapic/trunk/PKGBUILD)

--+
 PKGBUILD |   43 +++
 1 file changed, 43 insertions(+)

Copied: haskell-tamarin-prover-sapic/repos/community-staging-x86_64/PKGBUILD 
(from rev 730833, haskell-tamarin-prover-sapic/trunk/PKGBUILD)
===
--- community-staging-x86_64/PKGBUILD   (rev 0)
+++ community-staging-x86_64/PKGBUILD   2020-10-23 20:34:50 UTC (rev 730834)
@@ -0,0 +1,43 @@
+# Maintainer: Felix Yan 
+
+_hkgname=tamarin-prover-sapic
+pkgname=haskell-tamarin-prover-sapic
+pkgver=1.6.0
+pkgrel=10
+pkgdesc="Library for input processes in SAPIC calculus for the tamarin prover"
+url="http://www.infsec.ethz.ch/research/software/tamarin;
+license=("GPL")
+arch=('x86_64')
+depends=('ghc-libs' 'haskell-aeson' 'haskell-aeson-pretty' 'haskell-dlist' 
'haskell-fclabels'
+ 'haskell-parallel' 'haskell-safe' 'haskell-uniplate' 
'haskell-raw-strings-qq'
+ 'haskell-tamarin-prover-utils' 'haskell-tamarin-prover-term' 
'haskell-tamarin-prover-theory')
+makedepends=('ghc')
+source=("tamarin-prover-$pkgver.tar.gz::https://github.com/tamarin-prover/tamarin-prover/archive/$pkgver.tar.gz;)
+sha512sums=('7f3569f740d63d715b92a8f073eaecb8b32efe59b910b246977d36bb9e873765440e72feb6e76c7cbafab0495b88cfc666bb1dd12f685627c60d5cbd97b2973e')
+
+prepare() {
+cd tamarin-prover-$pkgver/lib/sapic
+echo -e "import Distribution.Simple\nmain = defaultMain" > Setup.hs
+}
+
+build() {
+cd tamarin-prover-$pkgver/lib/sapic
+
+runhaskell Setup configure -O --enable-shared --enable-executable-dynamic 
--disable-library-vanilla \
+--prefix=/usr --docdir=/usr/share/doc/$pkgname \
+--dynlibdir=/usr/lib --libsubdir=\$compiler/site-local/\$pkgid
+runhaskell Setup build $MAKEFLAGS
+runhaskell Setup register --gen-script
+runhaskell Setup unregister --gen-script
+sed -i -r -e "s|ghc-pkg.*update[^ ]* |&'--force' |" register.sh
+sed -i -r -e "s|ghc-pkg.*unregister[^ ]* |&'--force' |" unregister.sh
+}
+
+package() {
+cd tamarin-prover-$pkgver/lib/sapic
+
+install -D -m744 register.sh 
"$pkgdir"/usr/share/haskell/register/$pkgname.sh
+install -D -m744 unregister.sh 
"$pkgdir"/usr/share/haskell/unregister/$pkgname.sh
+runhaskell Setup copy --destdir="$pkgdir"
+rm -f "$pkgdir"/usr/share/doc/$pkgname/LICENSE
+}

[arch-commits] Commit in haskell-tamarin-prover-sapic/repos (2 files)

2020-10-21 Thread Felix Yan via arch-commits

Date: Wednesday, October 21, 2020 @ 23:52:53
  Author: felixonmars
Revision: 728617

archrelease: copy trunk to community-staging-x86_64

Added:
  haskell-tamarin-prover-sapic/repos/community-staging-x86_64/
  haskell-tamarin-prover-sapic/repos/community-staging-x86_64/PKGBUILD
(from rev 728616, haskell-tamarin-prover-sapic/trunk/PKGBUILD)

--+
 PKGBUILD |   43 +++
 1 file changed, 43 insertions(+)

Copied: haskell-tamarin-prover-sapic/repos/community-staging-x86_64/PKGBUILD 
(from rev 728616, haskell-tamarin-prover-sapic/trunk/PKGBUILD)
===
--- community-staging-x86_64/PKGBUILD   (rev 0)
+++ community-staging-x86_64/PKGBUILD   2020-10-21 23:52:53 UTC (rev 728617)
@@ -0,0 +1,43 @@
+# Maintainer: Felix Yan 
+
+_hkgname=tamarin-prover-sapic
+pkgname=haskell-tamarin-prover-sapic
+pkgver=1.6.0
+pkgrel=9
+pkgdesc="Library for input processes in SAPIC calculus for the tamarin prover"
+url="http://www.infsec.ethz.ch/research/software/tamarin;
+license=("GPL")
+arch=('x86_64')
+depends=('ghc-libs' 'haskell-aeson' 'haskell-aeson-pretty' 'haskell-dlist' 
'haskell-fclabels'
+ 'haskell-parallel' 'haskell-safe' 'haskell-uniplate' 
'haskell-raw-strings-qq'
+ 'haskell-tamarin-prover-utils' 'haskell-tamarin-prover-term' 
'haskell-tamarin-prover-theory')
+makedepends=('ghc')
+source=("tamarin-prover-$pkgver.tar.gz::https://github.com/tamarin-prover/tamarin-prover/archive/$pkgver.tar.gz;)
+sha512sums=('7f3569f740d63d715b92a8f073eaecb8b32efe59b910b246977d36bb9e873765440e72feb6e76c7cbafab0495b88cfc666bb1dd12f685627c60d5cbd97b2973e')
+
+prepare() {
+cd tamarin-prover-$pkgver/lib/sapic
+echo -e "import Distribution.Simple\nmain = defaultMain" > Setup.hs
+}
+
+build() {
+cd tamarin-prover-$pkgver/lib/sapic
+
+runhaskell Setup configure -O --enable-shared --enable-executable-dynamic 
--disable-library-vanilla \
+--prefix=/usr --docdir=/usr/share/doc/$pkgname \
+--dynlibdir=/usr/lib --libsubdir=\$compiler/site-local/\$pkgid
+runhaskell Setup build $MAKEFLAGS
+runhaskell Setup register --gen-script
+runhaskell Setup unregister --gen-script
+sed -i -r -e "s|ghc-pkg.*update[^ ]* |&'--force' |" register.sh
+sed -i -r -e "s|ghc-pkg.*unregister[^ ]* |&'--force' |" unregister.sh
+}
+
+package() {
+cd tamarin-prover-$pkgver/lib/sapic
+
+install -D -m744 register.sh 
"$pkgdir"/usr/share/haskell/register/$pkgname.sh
+install -D -m744 unregister.sh 
"$pkgdir"/usr/share/haskell/unregister/$pkgname.sh
+runhaskell Setup copy --destdir="$pkgdir"
+rm -f "$pkgdir"/usr/share/doc/$pkgname/LICENSE
+}

[arch-commits] Commit in haskell-tamarin-prover-sapic/repos (2 files)

2020-10-17 Thread Felix Yan via arch-commits

Date: Saturday, October 17, 2020 @ 10:54:16
  Author: felixonmars
Revision: 725361

archrelease: copy trunk to community-staging-x86_64

Added:
  haskell-tamarin-prover-sapic/repos/community-staging-x86_64/
  haskell-tamarin-prover-sapic/repos/community-staging-x86_64/PKGBUILD
(from rev 725360, haskell-tamarin-prover-sapic/trunk/PKGBUILD)

--+
 PKGBUILD |   43 +++
 1 file changed, 43 insertions(+)

Copied: haskell-tamarin-prover-sapic/repos/community-staging-x86_64/PKGBUILD 
(from rev 725360, haskell-tamarin-prover-sapic/trunk/PKGBUILD)
===
--- community-staging-x86_64/PKGBUILD   (rev 0)
+++ community-staging-x86_64/PKGBUILD   2020-10-17 10:54:16 UTC (rev 725361)
@@ -0,0 +1,43 @@
+# Maintainer: Felix Yan 
+
+_hkgname=tamarin-prover-sapic
+pkgname=haskell-tamarin-prover-sapic
+pkgver=1.6.0
+pkgrel=8
+pkgdesc="Library for input processes in SAPIC calculus for the tamarin prover"
+url="http://www.infsec.ethz.ch/research/software/tamarin;
+license=("GPL")
+arch=('x86_64')
+depends=('ghc-libs' 'haskell-aeson' 'haskell-aeson-pretty' 'haskell-dlist' 
'haskell-fclabels'
+ 'haskell-parallel' 'haskell-safe' 'haskell-uniplate' 
'haskell-raw-strings-qq'
+ 'haskell-tamarin-prover-utils' 'haskell-tamarin-prover-term' 
'haskell-tamarin-prover-theory')
+makedepends=('ghc')
+source=("tamarin-prover-$pkgver.tar.gz::https://github.com/tamarin-prover/tamarin-prover/archive/$pkgver.tar.gz;)
+sha512sums=('7f3569f740d63d715b92a8f073eaecb8b32efe59b910b246977d36bb9e873765440e72feb6e76c7cbafab0495b88cfc666bb1dd12f685627c60d5cbd97b2973e')
+
+prepare() {
+cd tamarin-prover-$pkgver/lib/sapic
+echo -e "import Distribution.Simple\nmain = defaultMain" > Setup.hs
+}
+
+build() {
+cd tamarin-prover-$pkgver/lib/sapic
+
+runhaskell Setup configure -O --enable-shared --enable-executable-dynamic 
--disable-library-vanilla \
+--prefix=/usr --docdir=/usr/share/doc/$pkgname \
+--dynlibdir=/usr/lib --libsubdir=\$compiler/site-local/\$pkgid
+runhaskell Setup build $MAKEFLAGS
+runhaskell Setup register --gen-script
+runhaskell Setup unregister --gen-script
+sed -i -r -e "s|ghc-pkg.*update[^ ]* |&'--force' |" register.sh
+sed -i -r -e "s|ghc-pkg.*unregister[^ ]* |&'--force' |" unregister.sh
+}
+
+package() {
+cd tamarin-prover-$pkgver/lib/sapic
+
+install -D -m744 register.sh 
"$pkgdir"/usr/share/haskell/register/$pkgname.sh
+install -D -m744 unregister.sh 
"$pkgdir"/usr/share/haskell/unregister/$pkgname.sh
+runhaskell Setup copy --destdir="$pkgdir"
+rm -f "$pkgdir"/usr/share/doc/$pkgname/LICENSE
+}

[arch-commits] Commit in haskell-tamarin-prover-sapic/repos (2 files)

2020-10-09 Thread Felix Yan via arch-commits

Date: Friday, October 9, 2020 @ 19:12:41
  Author: felixonmars
Revision: 722747

archrelease: copy trunk to community-staging-x86_64

Added:
  haskell-tamarin-prover-sapic/repos/community-staging-x86_64/
  haskell-tamarin-prover-sapic/repos/community-staging-x86_64/PKGBUILD
(from rev 722746, haskell-tamarin-prover-sapic/trunk/PKGBUILD)

--+
 PKGBUILD |   43 +++
 1 file changed, 43 insertions(+)

Copied: haskell-tamarin-prover-sapic/repos/community-staging-x86_64/PKGBUILD 
(from rev 722746, haskell-tamarin-prover-sapic/trunk/PKGBUILD)
===
--- community-staging-x86_64/PKGBUILD   (rev 0)
+++ community-staging-x86_64/PKGBUILD   2020-10-09 19:12:41 UTC (rev 722747)
@@ -0,0 +1,43 @@
+# Maintainer: Felix Yan 
+
+_hkgname=tamarin-prover-sapic
+pkgname=haskell-tamarin-prover-sapic
+pkgver=1.6.0
+pkgrel=7
+pkgdesc="Library for input processes in SAPIC calculus for the tamarin prover"
+url="http://www.infsec.ethz.ch/research/software/tamarin;
+license=("GPL")
+arch=('x86_64')
+depends=('ghc-libs' 'haskell-aeson' 'haskell-aeson-pretty' 'haskell-dlist' 
'haskell-fclabels'
+ 'haskell-parallel' 'haskell-safe' 'haskell-uniplate' 
'haskell-raw-strings-qq'
+ 'haskell-tamarin-prover-utils' 'haskell-tamarin-prover-term' 
'haskell-tamarin-prover-theory')
+makedepends=('ghc')
+source=("tamarin-prover-$pkgver.tar.gz::https://github.com/tamarin-prover/tamarin-prover/archive/$pkgver.tar.gz;)
+sha512sums=('7f3569f740d63d715b92a8f073eaecb8b32efe59b910b246977d36bb9e873765440e72feb6e76c7cbafab0495b88cfc666bb1dd12f685627c60d5cbd97b2973e')
+
+prepare() {
+cd tamarin-prover-$pkgver/lib/sapic
+echo -e "import Distribution.Simple\nmain = defaultMain" > Setup.hs
+}
+
+build() {
+cd tamarin-prover-$pkgver/lib/sapic
+
+runhaskell Setup configure -O --enable-shared --enable-executable-dynamic 
--disable-library-vanilla \
+--prefix=/usr --docdir=/usr/share/doc/$pkgname \
+--dynlibdir=/usr/lib --libsubdir=\$compiler/site-local/\$pkgid
+runhaskell Setup build $MAKEFLAGS
+runhaskell Setup register --gen-script
+runhaskell Setup unregister --gen-script
+sed -i -r -e "s|ghc-pkg.*update[^ ]* |&'--force' |" register.sh
+sed -i -r -e "s|ghc-pkg.*unregister[^ ]* |&'--force' |" unregister.sh
+}
+
+package() {
+cd tamarin-prover-$pkgver/lib/sapic
+
+install -D -m744 register.sh 
"$pkgdir"/usr/share/haskell/register/$pkgname.sh
+install -D -m744 unregister.sh 
"$pkgdir"/usr/share/haskell/unregister/$pkgname.sh
+runhaskell Setup copy --destdir="$pkgdir"
+rm -f "$pkgdir"/usr/share/doc/$pkgname/LICENSE
+}

[arch-commits] Commit in haskell-tamarin-prover-sapic/repos (2 files)

2020-10-07 Thread Felix Yan via arch-commits

Date: Wednesday, October 7, 2020 @ 11:02:53
  Author: felixonmars
Revision: 720330

archrelease: copy trunk to community-staging-x86_64

Added:
  haskell-tamarin-prover-sapic/repos/community-staging-x86_64/
  haskell-tamarin-prover-sapic/repos/community-staging-x86_64/PKGBUILD
(from rev 720329, haskell-tamarin-prover-sapic/trunk/PKGBUILD)

--+
 PKGBUILD |   43 +++
 1 file changed, 43 insertions(+)

Copied: haskell-tamarin-prover-sapic/repos/community-staging-x86_64/PKGBUILD 
(from rev 720329, haskell-tamarin-prover-sapic/trunk/PKGBUILD)
===
--- community-staging-x86_64/PKGBUILD   (rev 0)
+++ community-staging-x86_64/PKGBUILD   2020-10-07 11:02:53 UTC (rev 720330)
@@ -0,0 +1,43 @@
+# Maintainer: Felix Yan 
+
+_hkgname=tamarin-prover-sapic
+pkgname=haskell-tamarin-prover-sapic
+pkgver=1.6.0
+pkgrel=6
+pkgdesc="Library for input processes in SAPIC calculus for the tamarin prover"
+url="http://www.infsec.ethz.ch/research/software/tamarin;
+license=("GPL")
+arch=('x86_64')
+depends=('ghc-libs' 'haskell-aeson' 'haskell-aeson-pretty' 'haskell-dlist' 
'haskell-fclabels'
+ 'haskell-parallel' 'haskell-safe' 'haskell-uniplate' 
'haskell-raw-strings-qq'
+ 'haskell-tamarin-prover-utils' 'haskell-tamarin-prover-term' 
'haskell-tamarin-prover-theory')
+makedepends=('ghc')
+source=("tamarin-prover-$pkgver.tar.gz::https://github.com/tamarin-prover/tamarin-prover/archive/$pkgver.tar.gz;)
+sha512sums=('7f3569f740d63d715b92a8f073eaecb8b32efe59b910b246977d36bb9e873765440e72feb6e76c7cbafab0495b88cfc666bb1dd12f685627c60d5cbd97b2973e')
+
+prepare() {
+cd tamarin-prover-$pkgver/lib/sapic
+echo -e "import Distribution.Simple\nmain = defaultMain" > Setup.hs
+}
+
+build() {
+cd tamarin-prover-$pkgver/lib/sapic
+
+runhaskell Setup configure -O --enable-shared --enable-executable-dynamic 
--disable-library-vanilla \
+--prefix=/usr --docdir=/usr/share/doc/$pkgname \
+--dynlibdir=/usr/lib --libsubdir=\$compiler/site-local/\$pkgid
+runhaskell Setup build $MAKEFLAGS
+runhaskell Setup register --gen-script
+runhaskell Setup unregister --gen-script
+sed -i -r -e "s|ghc-pkg.*update[^ ]* |&'--force' |" register.sh
+sed -i -r -e "s|ghc-pkg.*unregister[^ ]* |&'--force' |" unregister.sh
+}
+
+package() {
+cd tamarin-prover-$pkgver/lib/sapic
+
+install -D -m744 register.sh 
"$pkgdir"/usr/share/haskell/register/$pkgname.sh
+install -D -m744 unregister.sh 
"$pkgdir"/usr/share/haskell/unregister/$pkgname.sh
+runhaskell Setup copy --destdir="$pkgdir"
+rm -f "$pkgdir"/usr/share/doc/$pkgname/LICENSE
+}

[arch-commits] Commit in haskell-tamarin-prover-sapic/repos (2 files)

2020-10-05 Thread Felix Yan via arch-commits

Date: Monday, October 5, 2020 @ 07:24:44
  Author: felixonmars
Revision: 718713

archrelease: copy trunk to community-staging-x86_64

Added:
  haskell-tamarin-prover-sapic/repos/community-staging-x86_64/
  haskell-tamarin-prover-sapic/repos/community-staging-x86_64/PKGBUILD
(from rev 718712, haskell-tamarin-prover-sapic/trunk/PKGBUILD)

--+
 PKGBUILD |   43 +++
 1 file changed, 43 insertions(+)

Copied: haskell-tamarin-prover-sapic/repos/community-staging-x86_64/PKGBUILD 
(from rev 718712, haskell-tamarin-prover-sapic/trunk/PKGBUILD)
===
--- community-staging-x86_64/PKGBUILD   (rev 0)
+++ community-staging-x86_64/PKGBUILD   2020-10-05 07:24:44 UTC (rev 718713)
@@ -0,0 +1,43 @@
+# Maintainer: Felix Yan 
+
+_hkgname=tamarin-prover-sapic
+pkgname=haskell-tamarin-prover-sapic
+pkgver=1.6.0
+pkgrel=5
+pkgdesc="Library for input processes in SAPIC calculus for the tamarin prover"
+url="http://www.infsec.ethz.ch/research/software/tamarin;
+license=("GPL")
+arch=('x86_64')
+depends=('ghc-libs' 'haskell-aeson' 'haskell-aeson-pretty' 'haskell-dlist' 
'haskell-fclabels'
+ 'haskell-parallel' 'haskell-safe' 'haskell-uniplate' 
'haskell-raw-strings-qq'
+ 'haskell-tamarin-prover-utils' 'haskell-tamarin-prover-term' 
'haskell-tamarin-prover-theory')
+makedepends=('ghc')
+source=("tamarin-prover-$pkgver.tar.gz::https://github.com/tamarin-prover/tamarin-prover/archive/$pkgver.tar.gz;)
+sha512sums=('7f3569f740d63d715b92a8f073eaecb8b32efe59b910b246977d36bb9e873765440e72feb6e76c7cbafab0495b88cfc666bb1dd12f685627c60d5cbd97b2973e')
+
+prepare() {
+cd tamarin-prover-$pkgver/lib/sapic
+echo -e "import Distribution.Simple\nmain = defaultMain" > Setup.hs
+}
+
+build() {
+cd tamarin-prover-$pkgver/lib/sapic
+
+runhaskell Setup configure -O --enable-shared --enable-executable-dynamic 
--disable-library-vanilla \
+--prefix=/usr --docdir=/usr/share/doc/$pkgname \
+--dynlibdir=/usr/lib --libsubdir=\$compiler/site-local/\$pkgid
+runhaskell Setup build $MAKEFLAGS
+runhaskell Setup register --gen-script
+runhaskell Setup unregister --gen-script
+sed -i -r -e "s|ghc-pkg.*update[^ ]* |&'--force' |" register.sh
+sed -i -r -e "s|ghc-pkg.*unregister[^ ]* |&'--force' |" unregister.sh
+}
+
+package() {
+cd tamarin-prover-$pkgver/lib/sapic
+
+install -D -m744 register.sh 
"$pkgdir"/usr/share/haskell/register/$pkgname.sh
+install -D -m744 unregister.sh 
"$pkgdir"/usr/share/haskell/unregister/$pkgname.sh
+runhaskell Setup copy --destdir="$pkgdir"
+rm -f "$pkgdir"/usr/share/doc/$pkgname/LICENSE
+}

[arch-commits] Commit in haskell-tamarin-prover-sapic/repos (2 files)

2020-10-04 Thread Felix Yan via arch-commits

Date: Sunday, October 4, 2020 @ 07:33:24
  Author: felixonmars
Revision: 717340

archrelease: copy trunk to community-staging-x86_64

Added:
  haskell-tamarin-prover-sapic/repos/community-staging-x86_64/
  haskell-tamarin-prover-sapic/repos/community-staging-x86_64/PKGBUILD
(from rev 717339, haskell-tamarin-prover-sapic/trunk/PKGBUILD)

--+
 PKGBUILD |   43 +++
 1 file changed, 43 insertions(+)

Copied: haskell-tamarin-prover-sapic/repos/community-staging-x86_64/PKGBUILD 
(from rev 717339, haskell-tamarin-prover-sapic/trunk/PKGBUILD)
===
--- community-staging-x86_64/PKGBUILD   (rev 0)
+++ community-staging-x86_64/PKGBUILD   2020-10-04 07:33:24 UTC (rev 717340)
@@ -0,0 +1,43 @@
+# Maintainer: Felix Yan 
+
+_hkgname=tamarin-prover-sapic
+pkgname=haskell-tamarin-prover-sapic
+pkgver=1.6.0
+pkgrel=4
+pkgdesc="Library for input processes in SAPIC calculus for the tamarin prover"
+url="http://www.infsec.ethz.ch/research/software/tamarin;
+license=("GPL")
+arch=('x86_64')
+depends=('ghc-libs' 'haskell-aeson' 'haskell-aeson-pretty' 'haskell-dlist' 
'haskell-fclabels'
+ 'haskell-parallel' 'haskell-safe' 'haskell-uniplate' 
'haskell-raw-strings-qq'
+ 'haskell-tamarin-prover-utils' 'haskell-tamarin-prover-term' 
'haskell-tamarin-prover-theory')
+makedepends=('ghc')
+source=("tamarin-prover-$pkgver.tar.gz::https://github.com/tamarin-prover/tamarin-prover/archive/$pkgver.tar.gz;)
+sha512sums=('7f3569f740d63d715b92a8f073eaecb8b32efe59b910b246977d36bb9e873765440e72feb6e76c7cbafab0495b88cfc666bb1dd12f685627c60d5cbd97b2973e')
+
+prepare() {
+cd tamarin-prover-$pkgver/lib/sapic
+echo -e "import Distribution.Simple\nmain = defaultMain" > Setup.hs
+}
+
+build() {
+cd tamarin-prover-$pkgver/lib/sapic
+
+runhaskell Setup configure -O --enable-shared --enable-executable-dynamic 
--disable-library-vanilla \
+--prefix=/usr --docdir=/usr/share/doc/$pkgname \
+--dynlibdir=/usr/lib --libsubdir=\$compiler/site-local/\$pkgid
+runhaskell Setup build $MAKEFLAGS
+runhaskell Setup register --gen-script
+runhaskell Setup unregister --gen-script
+sed -i -r -e "s|ghc-pkg.*update[^ ]* |&'--force' |" register.sh
+sed -i -r -e "s|ghc-pkg.*unregister[^ ]* |&'--force' |" unregister.sh
+}
+
+package() {
+cd tamarin-prover-$pkgver/lib/sapic
+
+install -D -m744 register.sh 
"$pkgdir"/usr/share/haskell/register/$pkgname.sh
+install -D -m744 unregister.sh 
"$pkgdir"/usr/share/haskell/unregister/$pkgname.sh
+runhaskell Setup copy --destdir="$pkgdir"
+rm -f "$pkgdir"/usr/share/doc/$pkgname/LICENSE
+}

[arch-commits] Commit in haskell-tamarin-prover-sapic/repos (2 files)

2020-10-02 Thread Felix Yan via arch-commits

Date: Friday, October 2, 2020 @ 07:32:29
  Author: felixonmars
Revision: 715102

archrelease: copy trunk to community-staging-x86_64

Added:
  haskell-tamarin-prover-sapic/repos/community-staging-x86_64/
  haskell-tamarin-prover-sapic/repos/community-staging-x86_64/PKGBUILD
(from rev 715101, haskell-tamarin-prover-sapic/trunk/PKGBUILD)

--+
 PKGBUILD |   43 +++
 1 file changed, 43 insertions(+)

Copied: haskell-tamarin-prover-sapic/repos/community-staging-x86_64/PKGBUILD 
(from rev 715101, haskell-tamarin-prover-sapic/trunk/PKGBUILD)
===
--- community-staging-x86_64/PKGBUILD   (rev 0)
+++ community-staging-x86_64/PKGBUILD   2020-10-02 07:32:29 UTC (rev 715102)
@@ -0,0 +1,43 @@
+# Maintainer: Felix Yan 
+
+_hkgname=tamarin-prover-sapic
+pkgname=haskell-tamarin-prover-sapic
+pkgver=1.6.0
+pkgrel=3
+pkgdesc="Library for input processes in SAPIC calculus for the tamarin prover"
+url="http://www.infsec.ethz.ch/research/software/tamarin;
+license=("GPL")
+arch=('x86_64')
+depends=('ghc-libs' 'haskell-aeson' 'haskell-aeson-pretty' 'haskell-dlist' 
'haskell-fclabels'
+ 'haskell-parallel' 'haskell-safe' 'haskell-uniplate' 
'haskell-raw-strings-qq'
+ 'haskell-tamarin-prover-utils' 'haskell-tamarin-prover-term' 
'haskell-tamarin-prover-theory')
+makedepends=('ghc')
+source=("tamarin-prover-$pkgver.tar.gz::https://github.com/tamarin-prover/tamarin-prover/archive/$pkgver.tar.gz;)
+sha512sums=('7f3569f740d63d715b92a8f073eaecb8b32efe59b910b246977d36bb9e873765440e72feb6e76c7cbafab0495b88cfc666bb1dd12f685627c60d5cbd97b2973e')
+
+prepare() {
+cd tamarin-prover-$pkgver/lib/sapic
+echo -e "import Distribution.Simple\nmain = defaultMain" > Setup.hs
+}
+
+build() {
+cd tamarin-prover-$pkgver/lib/sapic
+
+runhaskell Setup configure -O --enable-shared --enable-executable-dynamic 
--disable-library-vanilla \
+--prefix=/usr --docdir=/usr/share/doc/$pkgname \
+--dynlibdir=/usr/lib --libsubdir=\$compiler/site-local/\$pkgid
+runhaskell Setup build $MAKEFLAGS
+runhaskell Setup register --gen-script
+runhaskell Setup unregister --gen-script
+sed -i -r -e "s|ghc-pkg.*update[^ ]* |&'--force' |" register.sh
+sed -i -r -e "s|ghc-pkg.*unregister[^ ]* |&'--force' |" unregister.sh
+}
+
+package() {
+cd tamarin-prover-$pkgver/lib/sapic
+
+install -D -m744 register.sh 
"$pkgdir"/usr/share/haskell/register/$pkgname.sh
+install -D -m744 unregister.sh 
"$pkgdir"/usr/share/haskell/unregister/$pkgname.sh
+runhaskell Setup copy --destdir="$pkgdir"
+rm -f "$pkgdir"/usr/share/doc/$pkgname/LICENSE
+}

[arch-commits] Commit in haskell-tamarin-prover-sapic/repos (2 files)

2020-09-17 Thread Felix Yan via arch-commits

Date: Thursday, September 17, 2020 @ 21:58:29
  Author: felixonmars
Revision: 709481

archrelease: copy trunk to community-staging-x86_64

Added:
  haskell-tamarin-prover-sapic/repos/community-staging-x86_64/
  haskell-tamarin-prover-sapic/repos/community-staging-x86_64/PKGBUILD
(from rev 709480, haskell-tamarin-prover-sapic/trunk/PKGBUILD)

--+
 PKGBUILD |   43 +++
 1 file changed, 43 insertions(+)

Copied: haskell-tamarin-prover-sapic/repos/community-staging-x86_64/PKGBUILD 
(from rev 709480, haskell-tamarin-prover-sapic/trunk/PKGBUILD)
===
--- community-staging-x86_64/PKGBUILD   (rev 0)
+++ community-staging-x86_64/PKGBUILD   2020-09-17 21:58:29 UTC (rev 709481)
@@ -0,0 +1,43 @@
+# Maintainer: Felix Yan 
+
+_hkgname=tamarin-prover-sapic
+pkgname=haskell-tamarin-prover-sapic
+pkgver=1.6.0
+pkgrel=2
+pkgdesc="Library for input processes in SAPIC calculus for the tamarin prover"
+url="http://www.infsec.ethz.ch/research/software/tamarin;
+license=("GPL")
+arch=('x86_64')
+depends=('ghc-libs' 'haskell-aeson' 'haskell-aeson-pretty' 'haskell-dlist' 
'haskell-fclabels'
+ 'haskell-parallel' 'haskell-safe' 'haskell-uniplate' 
'haskell-raw-strings-qq'
+ 'haskell-tamarin-prover-utils' 'haskell-tamarin-prover-term' 
'haskell-tamarin-prover-theory')
+makedepends=('ghc')
+source=("tamarin-prover-$pkgver.tar.gz::https://github.com/tamarin-prover/tamarin-prover/archive/$pkgver.tar.gz;)
+sha512sums=('7f3569f740d63d715b92a8f073eaecb8b32efe59b910b246977d36bb9e873765440e72feb6e76c7cbafab0495b88cfc666bb1dd12f685627c60d5cbd97b2973e')
+
+prepare() {
+cd tamarin-prover-$pkgver/lib/sapic
+echo -e "import Distribution.Simple\nmain = defaultMain" > Setup.hs
+}
+
+build() {
+cd tamarin-prover-$pkgver/lib/sapic
+
+runhaskell Setup configure -O --enable-shared --enable-executable-dynamic 
--disable-library-vanilla \
+--prefix=/usr --docdir=/usr/share/doc/$pkgname \
+--dynlibdir=/usr/lib --libsubdir=\$compiler/site-local/\$pkgid
+runhaskell Setup build $MAKEFLAGS
+runhaskell Setup register --gen-script
+runhaskell Setup unregister --gen-script
+sed -i -r -e "s|ghc-pkg.*update[^ ]* |&'--force' |" register.sh
+sed -i -r -e "s|ghc-pkg.*unregister[^ ]* |&'--force' |" unregister.sh
+}
+
+package() {
+cd tamarin-prover-$pkgver/lib/sapic
+
+install -D -m744 register.sh 
"$pkgdir"/usr/share/haskell/register/$pkgname.sh
+install -D -m744 unregister.sh 
"$pkgdir"/usr/share/haskell/unregister/$pkgname.sh
+runhaskell Setup copy --destdir="$pkgdir"
+rm -f "$pkgdir"/usr/share/doc/$pkgname/LICENSE
+}

[arch-commits] Commit in haskell-tamarin-prover-sapic/repos (2 files)

2020-09-16 Thread Felix Yan via arch-commits

Date: Wednesday, September 16, 2020 @ 14:52:13
  Author: felixonmars
Revision: 708077

archrelease: copy trunk to community-staging-x86_64

Added:
  haskell-tamarin-prover-sapic/repos/community-staging-x86_64/
  haskell-tamarin-prover-sapic/repos/community-staging-x86_64/PKGBUILD
(from rev 708076, haskell-tamarin-prover-sapic/trunk/PKGBUILD)

--+
 PKGBUILD |   43 +++
 1 file changed, 43 insertions(+)

Copied: haskell-tamarin-prover-sapic/repos/community-staging-x86_64/PKGBUILD 
(from rev 708076, haskell-tamarin-prover-sapic/trunk/PKGBUILD)
===
--- community-staging-x86_64/PKGBUILD   (rev 0)
+++ community-staging-x86_64/PKGBUILD   2020-09-16 14:52:13 UTC (rev 708077)
@@ -0,0 +1,43 @@
+# Maintainer: Felix Yan 
+
+_hkgname=tamarin-prover-sapic
+pkgname=haskell-tamarin-prover-sapic
+pkgver=1.6.0
+pkgrel=1
+pkgdesc="Library for input processes in SAPIC calculus for the tamarin prover"
+url="http://www.infsec.ethz.ch/research/software/tamarin;
+license=("GPL")
+arch=('x86_64')
+depends=('ghc-libs' 'haskell-aeson' 'haskell-aeson-pretty' 'haskell-dlist' 
'haskell-fclabels'
+ 'haskell-parallel' 'haskell-safe' 'haskell-uniplate' 
'haskell-raw-strings-qq'
+ 'haskell-tamarin-prover-utils' 'haskell-tamarin-prover-term' 
'haskell-tamarin-prover-theory')
+makedepends=('ghc')
+source=("tamarin-prover-$pkgver.tar.gz::https://github.com/tamarin-prover/tamarin-prover/archive/$pkgver.tar.gz;)
+sha512sums=('7f3569f740d63d715b92a8f073eaecb8b32efe59b910b246977d36bb9e873765440e72feb6e76c7cbafab0495b88cfc666bb1dd12f685627c60d5cbd97b2973e')
+
+prepare() {
+cd tamarin-prover-$pkgver/lib/sapic
+echo -e "import Distribution.Simple\nmain = defaultMain" > Setup.hs
+}
+
+build() {
+cd tamarin-prover-$pkgver/lib/sapic
+
+runhaskell Setup configure -O --enable-shared --enable-executable-dynamic 
--disable-library-vanilla \
+--prefix=/usr --docdir=/usr/share/doc/$pkgname \
+--dynlibdir=/usr/lib --libsubdir=\$compiler/site-local/\$pkgid
+runhaskell Setup build $MAKEFLAGS
+runhaskell Setup register --gen-script
+runhaskell Setup unregister --gen-script
+sed -i -r -e "s|ghc-pkg.*update[^ ]* |&'--force' |" register.sh
+sed -i -r -e "s|ghc-pkg.*unregister[^ ]* |&'--force' |" unregister.sh
+}
+
+package() {
+cd tamarin-prover-$pkgver/lib/sapic
+
+install -D -m744 register.sh 
"$pkgdir"/usr/share/haskell/register/$pkgname.sh
+install -D -m744 unregister.sh 
"$pkgdir"/usr/share/haskell/unregister/$pkgname.sh
+runhaskell Setup copy --destdir="$pkgdir"
+rm -f "$pkgdir"/usr/share/doc/$pkgname/LICENSE
+}

[arch-commits] Commit in haskell-tamarin-prover-sapic/repos (2 files)

[arch-commits] Commit in haskell-tamarin-prover-sapic/repos (2 files)

[arch-commits] Commit in haskell-tamarin-prover-sapic/repos (2 files)

[arch-commits] Commit in haskell-tamarin-prover-sapic/repos (2 files)

[arch-commits] Commit in haskell-tamarin-prover-sapic/repos (2 files)

[arch-commits] Commit in haskell-tamarin-prover-sapic/repos (2 files)

[arch-commits] Commit in haskell-tamarin-prover-sapic/repos (2 files)

[arch-commits] Commit in haskell-tamarin-prover-sapic/repos (2 files)

[arch-commits] Commit in haskell-tamarin-prover-sapic/repos (2 files)

[arch-commits] Commit in haskell-tamarin-prover-sapic/repos (2 files)

[arch-commits] Commit in haskell-tamarin-prover-sapic/repos (2 files)

[arch-commits] Commit in haskell-tamarin-prover-sapic/repos (2 files)

[arch-commits] Commit in haskell-tamarin-prover-sapic/repos (2 files)

[arch-commits] Commit in haskell-tamarin-prover-sapic/repos (2 files)

[arch-commits] Commit in haskell-tamarin-prover-sapic/repos (2 files)

[arch-commits] Commit in haskell-tamarin-prover-sapic/repos (2 files)

[arch-commits] Commit in haskell-tamarin-prover-sapic/repos (2 files)

[arch-commits] Commit in haskell-tamarin-prover-sapic/repos (2 files)

[arch-commits] Commit in haskell-tamarin-prover-sapic/repos (2 files)

[arch-commits] Commit in haskell-tamarin-prover-sapic/repos (2 files)

[arch-commits] Commit in haskell-tamarin-prover-sapic/repos (2 files)

[arch-commits] Commit in haskell-tamarin-prover-sapic/repos (2 files)

[arch-commits] Commit in haskell-tamarin-prover-sapic/repos (2 files)

[arch-commits] Commit in haskell-tamarin-prover-sapic/repos (2 files)

[arch-commits] Commit in haskell-tamarin-prover-sapic/repos (2 files)

[arch-commits] Commit in haskell-tamarin-prover-sapic/repos (2 files)

[arch-commits] Commit in haskell-tamarin-prover-sapic/repos (2 files)

[arch-commits] Commit in haskell-tamarin-prover-sapic/repos (2 files)

[arch-commits] Commit in haskell-tamarin-prover-sapic/repos (2 files)

[arch-commits] Commit in haskell-tamarin-prover-sapic/repos (2 files)

[arch-commits] Commit in haskell-tamarin-prover-sapic/repos (2 files)

[arch-commits] Commit in haskell-tamarin-prover-sapic/repos (2 files)

[arch-commits] Commit in haskell-tamarin-prover-sapic/repos (2 files)

[arch-commits] Commit in haskell-tamarin-prover-sapic/repos (2 files)

[arch-commits] Commit in haskell-tamarin-prover-sapic/repos (2 files)

[arch-commits] Commit in haskell-tamarin-prover-sapic/repos (2 files)

36 matches

Site Navigation

Mail list logo

Footer information