subject:"\[arch\-commits\] Commit in haskell\-sbv8.7\/repos \(2 files\)"

[arch-commits] Commit in haskell-sbv8.7/repos (2 files)

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

Date: Tuesday, November 17, 2020 @ 13:24:41
  Author: felixonmars
Revision: 756766

archrelease: copy trunk to community-staging-x86_64

Added:
  haskell-sbv8.7/repos/community-staging-x86_64/
  haskell-sbv8.7/repos/community-staging-x86_64/PKGBUILD
(from rev 756765, haskell-sbv8.7/trunk/PKGBUILD)

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

Copied: haskell-sbv8.7/repos/community-staging-x86_64/PKGBUILD (from rev 
756765, haskell-sbv8.7/trunk/PKGBUILD)
===
--- community-staging-x86_64/PKGBUILD   (rev 0)
+++ community-staging-x86_64/PKGBUILD   2020-11-17 13:24:41 UTC (rev 756766)
@@ -0,0 +1,45 @@
+# Maintainer: Felix Yan 
+# Contributor: Arch Haskell Team 
+
+_hkgname=sbv
+pkgname=haskell-sbv8.7
+pkgver=8.7
+pkgrel=32
+pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT 
solving (legacy 8.7 version)"
+url="https://leventerkok.github.com/sbv;
+license=("BSD")
+arch=('x86_64')
+depends=('ghc-libs' 'haskell-quickcheck' 'haskell-cracknum' 'haskell-async' 
'haskell-random'
+ 'haskell-syb' 'haskell-generic-deriving')
+makedepends=('ghc' 'haskell-doctest' 'haskell-glob' 'hlint' 'haskell-tasty' 
'haskell-tasty-golden'
+ 'haskell-tasty-hunit' 'haskell-tasty-quickcheck')
+source=("https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz;)
+sha512sums=('6e24ec42c72b6e6f2e6516e0dd3d8d4da1c845f0656f05a637f3f212999da1f89a7be288bfbb7c6a359c68762963785ca516f4821157427a71bbb816d594a3c6')
+
+build() {
+cd $_hkgname-$pkgver
+
+runhaskell Setup configure -O --enable-shared --enable-executable-dynamic 
--disable-library-vanilla \
+--prefix=/usr --docdir=/usr/share/doc/$pkgname --enable-tests \
+--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
+}
+
+check() {
+cd $_hkgname-$pkgver
+runhaskell Setup test
+}
+
+package() {
+cd $_hkgname-$pkgver
+
+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"
+install -D -m644 LICENSE "$pkgdir"/usr/share/licenses/$pkgname/LICENSE
+rm -f "$pkgdir"/usr/share/doc/$pkgname/LICENSE
+}

[arch-commits] Commit in haskell-sbv8.7/repos (2 files)

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

Date: Tuesday, November 17, 2020 @ 06:41:08
  Author: felixonmars
Revision: 756014

archrelease: copy trunk to community-staging-x86_64

Added:
  haskell-sbv8.7/repos/community-staging-x86_64/
  haskell-sbv8.7/repos/community-staging-x86_64/PKGBUILD
(from rev 756013, haskell-sbv8.7/trunk/PKGBUILD)

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

Copied: haskell-sbv8.7/repos/community-staging-x86_64/PKGBUILD (from rev 
756013, haskell-sbv8.7/trunk/PKGBUILD)
===
--- community-staging-x86_64/PKGBUILD   (rev 0)
+++ community-staging-x86_64/PKGBUILD   2020-11-17 06:41:08 UTC (rev 756014)
@@ -0,0 +1,45 @@
+# Maintainer: Felix Yan 
+# Contributor: Arch Haskell Team 
+
+_hkgname=sbv
+pkgname=haskell-sbv8.7
+pkgver=8.7
+pkgrel=31
+pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT 
solving (legacy 8.7 version)"
+url="https://leventerkok.github.com/sbv;
+license=("BSD")
+arch=('x86_64')
+depends=('ghc-libs' 'haskell-quickcheck' 'haskell-cracknum' 'haskell-async' 
'haskell-random'
+ 'haskell-syb' 'haskell-generic-deriving')
+makedepends=('ghc' 'haskell-doctest' 'haskell-glob' 'hlint' 'haskell-tasty' 
'haskell-tasty-golden'
+ 'haskell-tasty-hunit' 'haskell-tasty-quickcheck')
+source=("https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz;)
+sha512sums=('6e24ec42c72b6e6f2e6516e0dd3d8d4da1c845f0656f05a637f3f212999da1f89a7be288bfbb7c6a359c68762963785ca516f4821157427a71bbb816d594a3c6')
+
+build() {
+cd $_hkgname-$pkgver
+
+runhaskell Setup configure -O --enable-shared --enable-executable-dynamic 
--disable-library-vanilla \
+--prefix=/usr --docdir=/usr/share/doc/$pkgname --enable-tests \
+--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
+}
+
+check() {
+cd $_hkgname-$pkgver
+runhaskell Setup test
+}
+
+package() {
+cd $_hkgname-$pkgver
+
+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"
+install -D -m644 LICENSE "$pkgdir"/usr/share/licenses/$pkgname/LICENSE
+rm -f "$pkgdir"/usr/share/doc/$pkgname/LICENSE
+}

[arch-commits] Commit in haskell-sbv8.7/repos (2 files)

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

Date: Sunday, November 8, 2020 @ 11:37:04
  Author: felixonmars
Revision: 746504

archrelease: copy trunk to community-staging-x86_64

Added:
  haskell-sbv8.7/repos/community-staging-x86_64/
  haskell-sbv8.7/repos/community-staging-x86_64/PKGBUILD
(from rev 746503, haskell-sbv8.7/trunk/PKGBUILD)

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

Copied: haskell-sbv8.7/repos/community-staging-x86_64/PKGBUILD (from rev 
746503, haskell-sbv8.7/trunk/PKGBUILD)
===
--- community-staging-x86_64/PKGBUILD   (rev 0)
+++ community-staging-x86_64/PKGBUILD   2020-11-08 11:37:04 UTC (rev 746504)
@@ -0,0 +1,45 @@
+# Maintainer: Felix Yan 
+# Contributor: Arch Haskell Team 
+
+_hkgname=sbv
+pkgname=haskell-sbv8.7
+pkgver=8.7
+pkgrel=30
+pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT 
solving (legacy 8.7 version)"
+url="https://leventerkok.github.com/sbv;
+license=("BSD")
+arch=('x86_64')
+depends=('ghc-libs' 'haskell-quickcheck' 'haskell-cracknum' 'haskell-async' 
'haskell-random'
+ 'haskell-syb' 'haskell-generic-deriving')
+makedepends=('ghc' 'haskell-doctest' 'haskell-glob' 'hlint' 'haskell-tasty' 
'haskell-tasty-golden'
+ 'haskell-tasty-hunit' 'haskell-tasty-quickcheck')
+source=("https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz;)
+sha512sums=('6e24ec42c72b6e6f2e6516e0dd3d8d4da1c845f0656f05a637f3f212999da1f89a7be288bfbb7c6a359c68762963785ca516f4821157427a71bbb816d594a3c6')
+
+build() {
+cd $_hkgname-$pkgver
+
+runhaskell Setup configure -O --enable-shared --enable-executable-dynamic 
--disable-library-vanilla \
+--prefix=/usr --docdir=/usr/share/doc/$pkgname --enable-tests \
+--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
+}
+
+check() {
+cd $_hkgname-$pkgver
+runhaskell Setup test
+}
+
+package() {
+cd $_hkgname-$pkgver
+
+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"
+install -D -m644 LICENSE "$pkgdir"/usr/share/licenses/$pkgname/LICENSE
+rm -f "$pkgdir"/usr/share/doc/$pkgname/LICENSE
+}

[arch-commits] Commit in haskell-sbv8.7/repos (2 files)

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

Date: Saturday, November 7, 2020 @ 14:44:04
  Author: felixonmars
Revision: 745819

archrelease: copy trunk to community-staging-x86_64

Added:
  haskell-sbv8.7/repos/community-staging-x86_64/
  haskell-sbv8.7/repos/community-staging-x86_64/PKGBUILD
(from rev 745818, haskell-sbv8.7/trunk/PKGBUILD)

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

Copied: haskell-sbv8.7/repos/community-staging-x86_64/PKGBUILD (from rev 
745818, haskell-sbv8.7/trunk/PKGBUILD)
===
--- community-staging-x86_64/PKGBUILD   (rev 0)
+++ community-staging-x86_64/PKGBUILD   2020-11-07 14:44:04 UTC (rev 745819)
@@ -0,0 +1,45 @@
+# Maintainer: Felix Yan 
+# Contributor: Arch Haskell Team 
+
+_hkgname=sbv
+pkgname=haskell-sbv8.7
+pkgver=8.7
+pkgrel=29
+pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT 
solving (legacy 8.7 version)"
+url="https://leventerkok.github.com/sbv;
+license=("BSD")
+arch=('x86_64')
+depends=('ghc-libs' 'haskell-quickcheck' 'haskell-cracknum' 'haskell-async' 
'haskell-random'
+ 'haskell-syb' 'haskell-generic-deriving')
+makedepends=('ghc' 'haskell-doctest' 'haskell-glob' 'hlint' 'haskell-tasty' 
'haskell-tasty-golden'
+ 'haskell-tasty-hunit' 'haskell-tasty-quickcheck')
+source=("https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz;)
+sha512sums=('6e24ec42c72b6e6f2e6516e0dd3d8d4da1c845f0656f05a637f3f212999da1f89a7be288bfbb7c6a359c68762963785ca516f4821157427a71bbb816d594a3c6')
+
+build() {
+cd $_hkgname-$pkgver
+
+runhaskell Setup configure -O --enable-shared --enable-executable-dynamic 
--disable-library-vanilla \
+--prefix=/usr --docdir=/usr/share/doc/$pkgname --enable-tests \
+--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
+}
+
+check() {
+cd $_hkgname-$pkgver
+runhaskell Setup test
+}
+
+package() {
+cd $_hkgname-$pkgver
+
+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"
+install -D -m644 LICENSE "$pkgdir"/usr/share/licenses/$pkgname/LICENSE
+rm -f "$pkgdir"/usr/share/doc/$pkgname/LICENSE
+}

[arch-commits] Commit in haskell-sbv8.7/repos (2 files)

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

Date: Friday, November 6, 2020 @ 14:09:22
  Author: felixonmars
Revision: 744321

archrelease: copy trunk to community-staging-x86_64

Added:
  haskell-sbv8.7/repos/community-staging-x86_64/
  haskell-sbv8.7/repos/community-staging-x86_64/PKGBUILD
(from rev 744320, haskell-sbv8.7/trunk/PKGBUILD)

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

Copied: haskell-sbv8.7/repos/community-staging-x86_64/PKGBUILD (from rev 
744320, haskell-sbv8.7/trunk/PKGBUILD)
===
--- community-staging-x86_64/PKGBUILD   (rev 0)
+++ community-staging-x86_64/PKGBUILD   2020-11-06 14:09:22 UTC (rev 744321)
@@ -0,0 +1,45 @@
+# Maintainer: Felix Yan 
+# Contributor: Arch Haskell Team 
+
+_hkgname=sbv
+pkgname=haskell-sbv8.7
+pkgver=8.7
+pkgrel=28
+pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT 
solving (legacy 8.7 version)"
+url="https://leventerkok.github.com/sbv;
+license=("BSD")
+arch=('x86_64')
+depends=('ghc-libs' 'haskell-quickcheck' 'haskell-cracknum' 'haskell-async' 
'haskell-random'
+ 'haskell-syb' 'haskell-generic-deriving')
+makedepends=('ghc' 'haskell-doctest' 'haskell-glob' 'hlint' 'haskell-tasty' 
'haskell-tasty-golden'
+ 'haskell-tasty-hunit' 'haskell-tasty-quickcheck')
+source=("https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz;)
+sha512sums=('6e24ec42c72b6e6f2e6516e0dd3d8d4da1c845f0656f05a637f3f212999da1f89a7be288bfbb7c6a359c68762963785ca516f4821157427a71bbb816d594a3c6')
+
+build() {
+cd $_hkgname-$pkgver
+
+runhaskell Setup configure -O --enable-shared --enable-executable-dynamic 
--disable-library-vanilla \
+--prefix=/usr --docdir=/usr/share/doc/$pkgname --enable-tests \
+--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
+}
+
+check() {
+cd $_hkgname-$pkgver
+runhaskell Setup test
+}
+
+package() {
+cd $_hkgname-$pkgver
+
+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"
+install -D -m644 LICENSE "$pkgdir"/usr/share/licenses/$pkgname/LICENSE
+rm -f "$pkgdir"/usr/share/doc/$pkgname/LICENSE
+}

[arch-commits] Commit in haskell-sbv8.7/repos (2 files)

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

Date: Wednesday, November 4, 2020 @ 17:41:09
  Author: felixonmars
Revision: 742451

archrelease: copy trunk to community-staging-x86_64

Added:
  haskell-sbv8.7/repos/community-staging-x86_64/
  haskell-sbv8.7/repos/community-staging-x86_64/PKGBUILD
(from rev 742450, haskell-sbv8.7/trunk/PKGBUILD)

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

Copied: haskell-sbv8.7/repos/community-staging-x86_64/PKGBUILD (from rev 
742450, haskell-sbv8.7/trunk/PKGBUILD)
===
--- community-staging-x86_64/PKGBUILD   (rev 0)
+++ community-staging-x86_64/PKGBUILD   2020-11-04 17:41:09 UTC (rev 742451)
@@ -0,0 +1,45 @@
+# Maintainer: Felix Yan 
+# Contributor: Arch Haskell Team 
+
+_hkgname=sbv
+pkgname=haskell-sbv8.7
+pkgver=8.7
+pkgrel=27
+pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT 
solving (legacy 8.7 version)"
+url="https://leventerkok.github.com/sbv;
+license=("BSD")
+arch=('x86_64')
+depends=('ghc-libs' 'haskell-quickcheck' 'haskell-cracknum' 'haskell-async' 
'haskell-random'
+ 'haskell-syb' 'haskell-generic-deriving')
+makedepends=('ghc' 'haskell-doctest' 'haskell-glob' 'hlint' 'haskell-tasty' 
'haskell-tasty-golden'
+ 'haskell-tasty-hunit' 'haskell-tasty-quickcheck')
+source=("https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz;)
+sha512sums=('6e24ec42c72b6e6f2e6516e0dd3d8d4da1c845f0656f05a637f3f212999da1f89a7be288bfbb7c6a359c68762963785ca516f4821157427a71bbb816d594a3c6')
+
+build() {
+cd $_hkgname-$pkgver
+
+runhaskell Setup configure -O --enable-shared --enable-executable-dynamic 
--disable-library-vanilla \
+--prefix=/usr --docdir=/usr/share/doc/$pkgname --enable-tests \
+--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
+}
+
+check() {
+cd $_hkgname-$pkgver
+runhaskell Setup test
+}
+
+package() {
+cd $_hkgname-$pkgver
+
+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"
+install -D -m644 LICENSE "$pkgdir"/usr/share/licenses/$pkgname/LICENSE
+rm -f "$pkgdir"/usr/share/doc/$pkgname/LICENSE
+}

[arch-commits] Commit in haskell-sbv8.7/repos (2 files)

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

Date: Wednesday, November 4, 2020 @ 14:17:15
  Author: felixonmars
Revision: 742045

archrelease: copy trunk to community-staging-x86_64

Added:
  haskell-sbv8.7/repos/community-staging-x86_64/
  haskell-sbv8.7/repos/community-staging-x86_64/PKGBUILD
(from rev 742044, haskell-sbv8.7/trunk/PKGBUILD)

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

Copied: haskell-sbv8.7/repos/community-staging-x86_64/PKGBUILD (from rev 
742044, haskell-sbv8.7/trunk/PKGBUILD)
===
--- community-staging-x86_64/PKGBUILD   (rev 0)
+++ community-staging-x86_64/PKGBUILD   2020-11-04 14:17:15 UTC (rev 742045)
@@ -0,0 +1,45 @@
+# Maintainer: Felix Yan 
+# Contributor: Arch Haskell Team 
+
+_hkgname=sbv
+pkgname=haskell-sbv8.7
+pkgver=8.7
+pkgrel=26
+pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT 
solving (legacy 8.7 version)"
+url="https://leventerkok.github.com/sbv;
+license=("BSD")
+arch=('x86_64')
+depends=('ghc-libs' 'haskell-quickcheck' 'haskell-cracknum' 'haskell-async' 
'haskell-random'
+ 'haskell-syb' 'haskell-generic-deriving')
+makedepends=('ghc' 'haskell-doctest' 'haskell-glob' 'hlint' 'haskell-tasty' 
'haskell-tasty-golden'
+ 'haskell-tasty-hunit' 'haskell-tasty-quickcheck')
+source=("https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz;)
+sha512sums=('6e24ec42c72b6e6f2e6516e0dd3d8d4da1c845f0656f05a637f3f212999da1f89a7be288bfbb7c6a359c68762963785ca516f4821157427a71bbb816d594a3c6')
+
+build() {
+cd $_hkgname-$pkgver
+
+runhaskell Setup configure -O --enable-shared --enable-executable-dynamic 
--disable-library-vanilla \
+--prefix=/usr --docdir=/usr/share/doc/$pkgname --enable-tests \
+--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
+}
+
+check() {
+cd $_hkgname-$pkgver
+runhaskell Setup test
+}
+
+package() {
+cd $_hkgname-$pkgver
+
+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"
+install -D -m644 LICENSE "$pkgdir"/usr/share/licenses/$pkgname/LICENSE
+rm -f "$pkgdir"/usr/share/doc/$pkgname/LICENSE
+}

[arch-commits] Commit in haskell-sbv8.7/repos (2 files)

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

Date: Tuesday, November 3, 2020 @ 19:25:19
  Author: felixonmars
Revision: 741262

archrelease: copy trunk to community-staging-x86_64

Added:
  haskell-sbv8.7/repos/community-staging-x86_64/
  haskell-sbv8.7/repos/community-staging-x86_64/PKGBUILD
(from rev 741261, haskell-sbv8.7/trunk/PKGBUILD)

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

Copied: haskell-sbv8.7/repos/community-staging-x86_64/PKGBUILD (from rev 
741261, haskell-sbv8.7/trunk/PKGBUILD)
===
--- community-staging-x86_64/PKGBUILD   (rev 0)
+++ community-staging-x86_64/PKGBUILD   2020-11-03 19:25:19 UTC (rev 741262)
@@ -0,0 +1,45 @@
+# Maintainer: Felix Yan 
+# Contributor: Arch Haskell Team 
+
+_hkgname=sbv
+pkgname=haskell-sbv8.7
+pkgver=8.7
+pkgrel=25
+pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT 
solving (legacy 8.7 version)"
+url="https://leventerkok.github.com/sbv;
+license=("BSD")
+arch=('x86_64')
+depends=('ghc-libs' 'haskell-quickcheck' 'haskell-cracknum' 'haskell-async' 
'haskell-random'
+ 'haskell-syb' 'haskell-generic-deriving')
+makedepends=('ghc' 'haskell-doctest' 'haskell-glob' 'hlint' 'haskell-tasty' 
'haskell-tasty-golden'
+ 'haskell-tasty-hunit' 'haskell-tasty-quickcheck')
+source=("https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz;)
+sha512sums=('6e24ec42c72b6e6f2e6516e0dd3d8d4da1c845f0656f05a637f3f212999da1f89a7be288bfbb7c6a359c68762963785ca516f4821157427a71bbb816d594a3c6')
+
+build() {
+cd $_hkgname-$pkgver
+
+runhaskell Setup configure -O --enable-shared --enable-executable-dynamic 
--disable-library-vanilla \
+--prefix=/usr --docdir=/usr/share/doc/$pkgname --enable-tests \
+--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
+}
+
+check() {
+cd $_hkgname-$pkgver
+runhaskell Setup test
+}
+
+package() {
+cd $_hkgname-$pkgver
+
+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"
+install -D -m644 LICENSE "$pkgdir"/usr/share/licenses/$pkgname/LICENSE
+rm -f "$pkgdir"/usr/share/doc/$pkgname/LICENSE
+}

[arch-commits] Commit in haskell-sbv8.7/repos (2 files)

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

Date: Monday, November 2, 2020 @ 16:55:28
  Author: felixonmars
Revision: 739952

archrelease: copy trunk to community-staging-x86_64

Added:
  haskell-sbv8.7/repos/community-staging-x86_64/
  haskell-sbv8.7/repos/community-staging-x86_64/PKGBUILD
(from rev 739951, haskell-sbv8.7/trunk/PKGBUILD)

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

Copied: haskell-sbv8.7/repos/community-staging-x86_64/PKGBUILD (from rev 
739951, haskell-sbv8.7/trunk/PKGBUILD)
===
--- community-staging-x86_64/PKGBUILD   (rev 0)
+++ community-staging-x86_64/PKGBUILD   2020-11-02 16:55:28 UTC (rev 739952)
@@ -0,0 +1,45 @@
+# Maintainer: Felix Yan 
+# Contributor: Arch Haskell Team 
+
+_hkgname=sbv
+pkgname=haskell-sbv8.7
+pkgver=8.7
+pkgrel=24
+pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT 
solving (legacy 8.7 version)"
+url="https://leventerkok.github.com/sbv;
+license=("BSD")
+arch=('x86_64')
+depends=('ghc-libs' 'haskell-quickcheck' 'haskell-cracknum' 'haskell-async' 
'haskell-random'
+ 'haskell-syb' 'haskell-generic-deriving')
+makedepends=('ghc' 'haskell-doctest' 'haskell-glob' 'hlint' 'haskell-tasty' 
'haskell-tasty-golden'
+ 'haskell-tasty-hunit' 'haskell-tasty-quickcheck')
+source=("https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz;)
+sha512sums=('6e24ec42c72b6e6f2e6516e0dd3d8d4da1c845f0656f05a637f3f212999da1f89a7be288bfbb7c6a359c68762963785ca516f4821157427a71bbb816d594a3c6')
+
+build() {
+cd $_hkgname-$pkgver
+
+runhaskell Setup configure -O --enable-shared --enable-executable-dynamic 
--disable-library-vanilla \
+--prefix=/usr --docdir=/usr/share/doc/$pkgname --enable-tests \
+--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
+}
+
+check() {
+cd $_hkgname-$pkgver
+runhaskell Setup test
+}
+
+package() {
+cd $_hkgname-$pkgver
+
+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"
+install -D -m644 LICENSE "$pkgdir"/usr/share/licenses/$pkgname/LICENSE
+rm -f "$pkgdir"/usr/share/doc/$pkgname/LICENSE
+}

[arch-commits] Commit in haskell-sbv8.7/repos (2 files)

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

Date: Sunday, November 1, 2020 @ 02:28:52
  Author: felixonmars
Revision: 738132

archrelease: copy trunk to community-staging-x86_64

Added:
  haskell-sbv8.7/repos/community-staging-x86_64/
  haskell-sbv8.7/repos/community-staging-x86_64/PKGBUILD
(from rev 738131, haskell-sbv8.7/trunk/PKGBUILD)

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

Copied: haskell-sbv8.7/repos/community-staging-x86_64/PKGBUILD (from rev 
738131, haskell-sbv8.7/trunk/PKGBUILD)
===
--- community-staging-x86_64/PKGBUILD   (rev 0)
+++ community-staging-x86_64/PKGBUILD   2020-11-01 02:28:52 UTC (rev 738132)
@@ -0,0 +1,45 @@
+# Maintainer: Felix Yan 
+# Contributor: Arch Haskell Team 
+
+_hkgname=sbv
+pkgname=haskell-sbv8.7
+pkgver=8.7
+pkgrel=23
+pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT 
solving (legacy 8.7 version)"
+url="https://leventerkok.github.com/sbv;
+license=("BSD")
+arch=('x86_64')
+depends=('ghc-libs' 'haskell-quickcheck' 'haskell-cracknum' 'haskell-async' 
'haskell-random'
+ 'haskell-syb' 'haskell-generic-deriving')
+makedepends=('ghc' 'haskell-doctest' 'haskell-glob' 'hlint' 'haskell-tasty' 
'haskell-tasty-golden'
+ 'haskell-tasty-hunit' 'haskell-tasty-quickcheck')
+source=("https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz;)
+sha512sums=('6e24ec42c72b6e6f2e6516e0dd3d8d4da1c845f0656f05a637f3f212999da1f89a7be288bfbb7c6a359c68762963785ca516f4821157427a71bbb816d594a3c6')
+
+build() {
+cd $_hkgname-$pkgver
+
+runhaskell Setup configure -O --enable-shared --enable-executable-dynamic 
--disable-library-vanilla \
+--prefix=/usr --docdir=/usr/share/doc/$pkgname --enable-tests \
+--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
+}
+
+check() {
+cd $_hkgname-$pkgver
+runhaskell Setup test
+}
+
+package() {
+cd $_hkgname-$pkgver
+
+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"
+install -D -m644 LICENSE "$pkgdir"/usr/share/licenses/$pkgname/LICENSE
+rm -f "$pkgdir"/usr/share/doc/$pkgname/LICENSE
+}

[arch-commits] Commit in haskell-sbv8.7/repos (2 files)

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

Date: Tuesday, October 27, 2020 @ 23:48:07
  Author: felixonmars
Revision: 735222

archrelease: copy trunk to community-staging-x86_64

Added:
  haskell-sbv8.7/repos/community-staging-x86_64/
  haskell-sbv8.7/repos/community-staging-x86_64/PKGBUILD
(from rev 735221, haskell-sbv8.7/trunk/PKGBUILD)

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

Copied: haskell-sbv8.7/repos/community-staging-x86_64/PKGBUILD (from rev 
735221, haskell-sbv8.7/trunk/PKGBUILD)
===
--- community-staging-x86_64/PKGBUILD   (rev 0)
+++ community-staging-x86_64/PKGBUILD   2020-10-27 23:48:07 UTC (rev 735222)
@@ -0,0 +1,45 @@
+# Maintainer: Felix Yan 
+# Contributor: Arch Haskell Team 
+
+_hkgname=sbv
+pkgname=haskell-sbv8.7
+pkgver=8.7
+pkgrel=22
+pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT 
solving (legacy 8.7 version)"
+url="https://leventerkok.github.com/sbv;
+license=("BSD")
+arch=('x86_64')
+depends=('ghc-libs' 'haskell-quickcheck' 'haskell-cracknum' 'haskell-async' 
'haskell-random'
+ 'haskell-syb' 'haskell-generic-deriving')
+makedepends=('ghc' 'haskell-doctest' 'haskell-glob' 'hlint' 'haskell-tasty' 
'haskell-tasty-golden'
+ 'haskell-tasty-hunit' 'haskell-tasty-quickcheck')
+source=("https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz;)
+sha512sums=('6e24ec42c72b6e6f2e6516e0dd3d8d4da1c845f0656f05a637f3f212999da1f89a7be288bfbb7c6a359c68762963785ca516f4821157427a71bbb816d594a3c6')
+
+build() {
+cd $_hkgname-$pkgver
+
+runhaskell Setup configure -O --enable-shared --enable-executable-dynamic 
--disable-library-vanilla \
+--prefix=/usr --docdir=/usr/share/doc/$pkgname --enable-tests \
+--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
+}
+
+check() {
+cd $_hkgname-$pkgver
+runhaskell Setup test
+}
+
+package() {
+cd $_hkgname-$pkgver
+
+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"
+install -D -m644 LICENSE "$pkgdir"/usr/share/licenses/$pkgname/LICENSE
+rm -f "$pkgdir"/usr/share/doc/$pkgname/LICENSE
+}

[arch-commits] Commit in haskell-sbv8.7/repos (2 files)

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

Date: Sunday, October 25, 2020 @ 13:27:37
  Author: felixonmars
Revision: 732584

archrelease: copy trunk to community-staging-x86_64

Added:
  haskell-sbv8.7/repos/community-staging-x86_64/
  haskell-sbv8.7/repos/community-staging-x86_64/PKGBUILD
(from rev 732583, haskell-sbv8.7/trunk/PKGBUILD)

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

Copied: haskell-sbv8.7/repos/community-staging-x86_64/PKGBUILD (from rev 
732583, haskell-sbv8.7/trunk/PKGBUILD)
===
--- community-staging-x86_64/PKGBUILD   (rev 0)
+++ community-staging-x86_64/PKGBUILD   2020-10-25 13:27:37 UTC (rev 732584)
@@ -0,0 +1,45 @@
+# Maintainer: Felix Yan 
+# Contributor: Arch Haskell Team 
+
+_hkgname=sbv
+pkgname=haskell-sbv8.7
+pkgver=8.7
+pkgrel=20
+pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT 
solving (legacy 8.7 version)"
+url="https://leventerkok.github.com/sbv;
+license=("BSD")
+arch=('x86_64')
+depends=('ghc-libs' 'haskell-quickcheck' 'haskell-cracknum' 'haskell-async' 
'haskell-random'
+ 'haskell-syb' 'haskell-generic-deriving')
+makedepends=('ghc' 'haskell-doctest' 'haskell-glob' 'hlint' 'haskell-tasty' 
'haskell-tasty-golden'
+ 'haskell-tasty-hunit' 'haskell-tasty-quickcheck')
+source=("https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz;)
+sha512sums=('6e24ec42c72b6e6f2e6516e0dd3d8d4da1c845f0656f05a637f3f212999da1f89a7be288bfbb7c6a359c68762963785ca516f4821157427a71bbb816d594a3c6')
+
+build() {
+cd $_hkgname-$pkgver
+
+runhaskell Setup configure -O --enable-shared --enable-executable-dynamic 
--disable-library-vanilla \
+--prefix=/usr --docdir=/usr/share/doc/$pkgname --enable-tests \
+--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
+}
+
+check() {
+cd $_hkgname-$pkgver
+runhaskell Setup test
+}
+
+package() {
+cd $_hkgname-$pkgver
+
+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"
+install -D -m644 LICENSE "$pkgdir"/usr/share/licenses/$pkgname/LICENSE
+rm -f "$pkgdir"/usr/share/doc/$pkgname/LICENSE
+}

[arch-commits] Commit in haskell-sbv8.7/repos (2 files)

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

Date: Friday, October 23, 2020 @ 20:18:43
  Author: felixonmars
Revision: 730793

archrelease: copy trunk to community-staging-x86_64

Added:
  haskell-sbv8.7/repos/community-staging-x86_64/
  haskell-sbv8.7/repos/community-staging-x86_64/PKGBUILD
(from rev 730792, haskell-sbv8.7/trunk/PKGBUILD)

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

Copied: haskell-sbv8.7/repos/community-staging-x86_64/PKGBUILD (from rev 
730792, haskell-sbv8.7/trunk/PKGBUILD)
===
--- community-staging-x86_64/PKGBUILD   (rev 0)
+++ community-staging-x86_64/PKGBUILD   2020-10-23 20:18:43 UTC (rev 730793)
@@ -0,0 +1,45 @@
+# Maintainer: Felix Yan 
+# Contributor: Arch Haskell Team 
+
+_hkgname=sbv
+pkgname=haskell-sbv8.7
+pkgver=8.7
+pkgrel=19
+pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT 
solving (legacy 8.7 version)"
+url="https://leventerkok.github.com/sbv;
+license=("BSD")
+arch=('x86_64')
+depends=('ghc-libs' 'haskell-quickcheck' 'haskell-cracknum' 'haskell-async' 
'haskell-random'
+ 'haskell-syb' 'haskell-generic-deriving')
+makedepends=('ghc' 'haskell-doctest' 'haskell-glob' 'hlint' 'haskell-tasty' 
'haskell-tasty-golden'
+ 'haskell-tasty-hunit' 'haskell-tasty-quickcheck')
+source=("https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz;)
+sha512sums=('6e24ec42c72b6e6f2e6516e0dd3d8d4da1c845f0656f05a637f3f212999da1f89a7be288bfbb7c6a359c68762963785ca516f4821157427a71bbb816d594a3c6')
+
+build() {
+cd $_hkgname-$pkgver
+
+runhaskell Setup configure -O --enable-shared --enable-executable-dynamic 
--disable-library-vanilla \
+--prefix=/usr --docdir=/usr/share/doc/$pkgname --enable-tests \
+--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
+}
+
+check() {
+cd $_hkgname-$pkgver
+runhaskell Setup test
+}
+
+package() {
+cd $_hkgname-$pkgver
+
+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"
+install -D -m644 LICENSE "$pkgdir"/usr/share/licenses/$pkgname/LICENSE
+rm -f "$pkgdir"/usr/share/doc/$pkgname/LICENSE
+}

[arch-commits] Commit in haskell-sbv8.7/repos (2 files)

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

Date: Thursday, October 22, 2020 @ 22:41:24
  Author: felixonmars
Revision: 730288

archrelease: copy trunk to community-staging-x86_64

Added:
  haskell-sbv8.7/repos/community-staging-x86_64/
  haskell-sbv8.7/repos/community-staging-x86_64/PKGBUILD
(from rev 730287, haskell-sbv8.7/trunk/PKGBUILD)

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

Copied: haskell-sbv8.7/repos/community-staging-x86_64/PKGBUILD (from rev 
730287, haskell-sbv8.7/trunk/PKGBUILD)
===
--- community-staging-x86_64/PKGBUILD   (rev 0)
+++ community-staging-x86_64/PKGBUILD   2020-10-22 22:41:24 UTC (rev 730288)
@@ -0,0 +1,45 @@
+# Maintainer: Felix Yan 
+# Contributor: Arch Haskell Team 
+
+_hkgname=sbv
+pkgname=haskell-sbv8.7
+pkgver=8.7
+pkgrel=18
+pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT 
solving (legacy 8.7 version)"
+url="https://leventerkok.github.com/sbv;
+license=("BSD")
+arch=('x86_64')
+depends=('ghc-libs' 'haskell-quickcheck' 'haskell-cracknum' 'haskell-async' 
'haskell-random'
+ 'haskell-syb' 'haskell-generic-deriving')
+makedepends=('ghc' 'haskell-doctest' 'haskell-glob' 'hlint' 'haskell-tasty' 
'haskell-tasty-golden'
+ 'haskell-tasty-hunit' 'haskell-tasty-quickcheck')
+source=("https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz;)
+sha512sums=('6e24ec42c72b6e6f2e6516e0dd3d8d4da1c845f0656f05a637f3f212999da1f89a7be288bfbb7c6a359c68762963785ca516f4821157427a71bbb816d594a3c6')
+
+build() {
+cd $_hkgname-$pkgver
+
+runhaskell Setup configure -O --enable-shared --enable-executable-dynamic 
--disable-library-vanilla \
+--prefix=/usr --docdir=/usr/share/doc/$pkgname --enable-tests \
+--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
+}
+
+check() {
+cd $_hkgname-$pkgver
+runhaskell Setup test
+}
+
+package() {
+cd $_hkgname-$pkgver
+
+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"
+install -D -m644 LICENSE "$pkgdir"/usr/share/licenses/$pkgname/LICENSE
+rm -f "$pkgdir"/usr/share/doc/$pkgname/LICENSE
+}

[arch-commits] Commit in haskell-sbv8.7/repos (2 files)

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

Date: Thursday, October 22, 2020 @ 18:26:54
  Author: felixonmars
Revision: 729371

archrelease: copy trunk to community-staging-x86_64

Added:
  haskell-sbv8.7/repos/community-staging-x86_64/
  haskell-sbv8.7/repos/community-staging-x86_64/PKGBUILD
(from rev 729370, haskell-sbv8.7/trunk/PKGBUILD)

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

Copied: haskell-sbv8.7/repos/community-staging-x86_64/PKGBUILD (from rev 
729370, haskell-sbv8.7/trunk/PKGBUILD)
===
--- community-staging-x86_64/PKGBUILD   (rev 0)
+++ community-staging-x86_64/PKGBUILD   2020-10-22 18:26:54 UTC (rev 729371)
@@ -0,0 +1,45 @@
+# Maintainer: Felix Yan 
+# Contributor: Arch Haskell Team 
+
+_hkgname=sbv
+pkgname=haskell-sbv8.7
+pkgver=8.7
+pkgrel=17
+pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT 
solving (legacy 8.7 version)"
+url="https://leventerkok.github.com/sbv;
+license=("BSD")
+arch=('x86_64')
+depends=('ghc-libs' 'haskell-quickcheck' 'haskell-cracknum' 'haskell-async' 
'haskell-random'
+ 'haskell-syb' 'haskell-generic-deriving')
+makedepends=('ghc' 'haskell-doctest' 'haskell-glob' 'hlint' 'haskell-tasty' 
'haskell-tasty-golden'
+ 'haskell-tasty-hunit' 'haskell-tasty-quickcheck')
+source=("https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz;)
+sha512sums=('6e24ec42c72b6e6f2e6516e0dd3d8d4da1c845f0656f05a637f3f212999da1f89a7be288bfbb7c6a359c68762963785ca516f4821157427a71bbb816d594a3c6')
+
+build() {
+cd $_hkgname-$pkgver
+
+runhaskell Setup configure -O --enable-shared --enable-executable-dynamic 
--disable-library-vanilla \
+--prefix=/usr --docdir=/usr/share/doc/$pkgname --enable-tests \
+--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
+}
+
+check() {
+cd $_hkgname-$pkgver
+runhaskell Setup test
+}
+
+package() {
+cd $_hkgname-$pkgver
+
+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"
+install -D -m644 LICENSE "$pkgdir"/usr/share/licenses/$pkgname/LICENSE
+rm -f "$pkgdir"/usr/share/doc/$pkgname/LICENSE
+}

[arch-commits] Commit in haskell-sbv8.7/repos (2 files)

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

Date: Monday, October 19, 2020 @ 21:25:30
  Author: felixonmars
Revision: 727348

archrelease: copy trunk to community-staging-x86_64

Added:
  haskell-sbv8.7/repos/community-staging-x86_64/
  haskell-sbv8.7/repos/community-staging-x86_64/PKGBUILD
(from rev 727347, haskell-sbv8.7/trunk/PKGBUILD)

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

Copied: haskell-sbv8.7/repos/community-staging-x86_64/PKGBUILD (from rev 
727347, haskell-sbv8.7/trunk/PKGBUILD)
===
--- community-staging-x86_64/PKGBUILD   (rev 0)
+++ community-staging-x86_64/PKGBUILD   2020-10-19 21:25:30 UTC (rev 727348)
@@ -0,0 +1,45 @@
+# Maintainer: Felix Yan 
+# Contributor: Arch Haskell Team 
+
+_hkgname=sbv
+pkgname=haskell-sbv8.7
+pkgver=8.7
+pkgrel=16
+pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT 
solving (legacy 8.7 version)"
+url="https://leventerkok.github.com/sbv;
+license=("BSD")
+arch=('x86_64')
+depends=('ghc-libs' 'haskell-quickcheck' 'haskell-cracknum' 'haskell-async' 
'haskell-random'
+ 'haskell-syb' 'haskell-generic-deriving')
+makedepends=('ghc' 'haskell-doctest' 'haskell-glob' 'hlint' 'haskell-tasty' 
'haskell-tasty-golden'
+ 'haskell-tasty-hunit' 'haskell-tasty-quickcheck')
+source=("https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz;)
+sha512sums=('6e24ec42c72b6e6f2e6516e0dd3d8d4da1c845f0656f05a637f3f212999da1f89a7be288bfbb7c6a359c68762963785ca516f4821157427a71bbb816d594a3c6')
+
+build() {
+cd $_hkgname-$pkgver
+
+runhaskell Setup configure -O --enable-shared --enable-executable-dynamic 
--disable-library-vanilla \
+--prefix=/usr --docdir=/usr/share/doc/$pkgname --enable-tests \
+--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
+}
+
+check() {
+cd $_hkgname-$pkgver
+runhaskell Setup test
+}
+
+package() {
+cd $_hkgname-$pkgver
+
+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"
+install -D -m644 LICENSE "$pkgdir"/usr/share/licenses/$pkgname/LICENSE
+rm -f "$pkgdir"/usr/share/doc/$pkgname/LICENSE
+}

[arch-commits] Commit in haskell-sbv8.7/repos (2 files)

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

Date: Sunday, October 18, 2020 @ 13:16:18
  Author: felixonmars
Revision: 726008

archrelease: copy trunk to community-staging-x86_64

Added:
  haskell-sbv8.7/repos/community-staging-x86_64/
  haskell-sbv8.7/repos/community-staging-x86_64/PKGBUILD
(from rev 726007, haskell-sbv8.7/trunk/PKGBUILD)

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

Copied: haskell-sbv8.7/repos/community-staging-x86_64/PKGBUILD (from rev 
726007, haskell-sbv8.7/trunk/PKGBUILD)
===
--- community-staging-x86_64/PKGBUILD   (rev 0)
+++ community-staging-x86_64/PKGBUILD   2020-10-18 13:16:18 UTC (rev 726008)
@@ -0,0 +1,45 @@
+# Maintainer: Felix Yan 
+# Contributor: Arch Haskell Team 
+
+_hkgname=sbv
+pkgname=haskell-sbv8.7
+pkgver=8.7
+pkgrel=15
+pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT 
solving (legacy 8.7 version)"
+url="https://leventerkok.github.com/sbv;
+license=("BSD")
+arch=('x86_64')
+depends=('ghc-libs' 'haskell-quickcheck' 'haskell-cracknum' 'haskell-async' 
'haskell-random'
+ 'haskell-syb' 'haskell-generic-deriving')
+makedepends=('ghc' 'haskell-doctest' 'haskell-glob' 'hlint' 'haskell-tasty' 
'haskell-tasty-golden'
+ 'haskell-tasty-hunit' 'haskell-tasty-quickcheck')
+source=("https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz;)
+sha512sums=('6e24ec42c72b6e6f2e6516e0dd3d8d4da1c845f0656f05a637f3f212999da1f89a7be288bfbb7c6a359c68762963785ca516f4821157427a71bbb816d594a3c6')
+
+build() {
+cd $_hkgname-$pkgver
+
+runhaskell Setup configure -O --enable-shared --enable-executable-dynamic 
--disable-library-vanilla \
+--prefix=/usr --docdir=/usr/share/doc/$pkgname --enable-tests \
+--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
+}
+
+check() {
+cd $_hkgname-$pkgver
+runhaskell Setup test
+}
+
+package() {
+cd $_hkgname-$pkgver
+
+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"
+install -D -m644 LICENSE "$pkgdir"/usr/share/licenses/$pkgname/LICENSE
+rm -f "$pkgdir"/usr/share/doc/$pkgname/LICENSE
+}

[arch-commits] Commit in haskell-sbv8.7/repos (2 files)

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

Date: Thursday, October 15, 2020 @ 17:41:32
  Author: felixonmars
Revision: 724213

archrelease: copy trunk to community-staging-x86_64

Added:
  haskell-sbv8.7/repos/community-staging-x86_64/
  haskell-sbv8.7/repos/community-staging-x86_64/PKGBUILD
(from rev 724212, haskell-sbv8.7/trunk/PKGBUILD)

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

Copied: haskell-sbv8.7/repos/community-staging-x86_64/PKGBUILD (from rev 
724212, haskell-sbv8.7/trunk/PKGBUILD)
===
--- community-staging-x86_64/PKGBUILD   (rev 0)
+++ community-staging-x86_64/PKGBUILD   2020-10-15 17:41:32 UTC (rev 724213)
@@ -0,0 +1,45 @@
+# Maintainer: Felix Yan 
+# Contributor: Arch Haskell Team 
+
+_hkgname=sbv
+pkgname=haskell-sbv8.7
+pkgver=8.7
+pkgrel=14
+pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT 
solving (legacy 8.7 version)"
+url="https://leventerkok.github.com/sbv;
+license=("BSD")
+arch=('x86_64')
+depends=('ghc-libs' 'haskell-quickcheck' 'haskell-cracknum' 'haskell-async' 
'haskell-random'
+ 'haskell-syb' 'haskell-generic-deriving')
+makedepends=('ghc' 'haskell-doctest' 'haskell-glob' 'hlint' 'haskell-tasty' 
'haskell-tasty-golden'
+ 'haskell-tasty-hunit' 'haskell-tasty-quickcheck')
+source=("https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz;)
+sha512sums=('6e24ec42c72b6e6f2e6516e0dd3d8d4da1c845f0656f05a637f3f212999da1f89a7be288bfbb7c6a359c68762963785ca516f4821157427a71bbb816d594a3c6')
+
+build() {
+cd $_hkgname-$pkgver
+
+runhaskell Setup configure -O --enable-shared --enable-executable-dynamic 
--disable-library-vanilla \
+--prefix=/usr --docdir=/usr/share/doc/$pkgname --enable-tests \
+--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
+}
+
+check() {
+cd $_hkgname-$pkgver
+runhaskell Setup test
+}
+
+package() {
+cd $_hkgname-$pkgver
+
+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"
+install -D -m644 LICENSE "$pkgdir"/usr/share/licenses/$pkgname/LICENSE
+rm -f "$pkgdir"/usr/share/doc/$pkgname/LICENSE
+}

[arch-commits] Commit in haskell-sbv8.7/repos (2 files)

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

Date: Saturday, October 10, 2020 @ 09:35:51
  Author: felixonmars
Revision: 723023

archrelease: copy trunk to community-staging-x86_64

Added:
  haskell-sbv8.7/repos/community-staging-x86_64/
  haskell-sbv8.7/repos/community-staging-x86_64/PKGBUILD
(from rev 723022, haskell-sbv8.7/trunk/PKGBUILD)

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

Copied: haskell-sbv8.7/repos/community-staging-x86_64/PKGBUILD (from rev 
723022, haskell-sbv8.7/trunk/PKGBUILD)
===
--- community-staging-x86_64/PKGBUILD   (rev 0)
+++ community-staging-x86_64/PKGBUILD   2020-10-10 09:35:51 UTC (rev 723023)
@@ -0,0 +1,45 @@
+# Maintainer: Felix Yan 
+# Contributor: Arch Haskell Team 
+
+_hkgname=sbv
+pkgname=haskell-sbv8.7
+pkgver=8.7
+pkgrel=13
+pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT 
solving (legacy 8.7 version)"
+url="https://leventerkok.github.com/sbv;
+license=("BSD")
+arch=('x86_64')
+depends=('ghc-libs' 'haskell-quickcheck' 'haskell-cracknum' 'haskell-async' 
'haskell-random'
+ 'haskell-syb' 'haskell-generic-deriving')
+makedepends=('ghc' 'haskell-doctest' 'haskell-glob' 'hlint' 'haskell-tasty' 
'haskell-tasty-golden'
+ 'haskell-tasty-hunit' 'haskell-tasty-quickcheck')
+source=("https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz;)
+sha512sums=('6e24ec42c72b6e6f2e6516e0dd3d8d4da1c845f0656f05a637f3f212999da1f89a7be288bfbb7c6a359c68762963785ca516f4821157427a71bbb816d594a3c6')
+
+build() {
+cd $_hkgname-$pkgver
+
+runhaskell Setup configure -O --enable-shared --enable-executable-dynamic 
--disable-library-vanilla \
+--prefix=/usr --docdir=/usr/share/doc/$pkgname --enable-tests \
+--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
+}
+
+check() {
+cd $_hkgname-$pkgver
+runhaskell Setup test
+}
+
+package() {
+cd $_hkgname-$pkgver
+
+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"
+install -D -m644 LICENSE "$pkgdir"/usr/share/licenses/$pkgname/LICENSE
+rm -f "$pkgdir"/usr/share/doc/$pkgname/LICENSE
+}

[arch-commits] Commit in haskell-sbv8.7/repos (2 files)

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

Date: Wednesday, October 7, 2020 @ 19:28:53
  Author: felixonmars
Revision: 720898

archrelease: copy trunk to community-staging-x86_64

Added:
  haskell-sbv8.7/repos/community-staging-x86_64/
  haskell-sbv8.7/repos/community-staging-x86_64/PKGBUILD
(from rev 720897, haskell-sbv8.7/trunk/PKGBUILD)

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

Copied: haskell-sbv8.7/repos/community-staging-x86_64/PKGBUILD (from rev 
720897, haskell-sbv8.7/trunk/PKGBUILD)
===
--- community-staging-x86_64/PKGBUILD   (rev 0)
+++ community-staging-x86_64/PKGBUILD   2020-10-07 19:28:53 UTC (rev 720898)
@@ -0,0 +1,45 @@
+# Maintainer: Felix Yan 
+# Contributor: Arch Haskell Team 
+
+_hkgname=sbv
+pkgname=haskell-sbv8.7
+pkgver=8.7
+pkgrel=12
+pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT 
solving (legacy 8.7 version)"
+url="https://leventerkok.github.com/sbv;
+license=("BSD")
+arch=('x86_64')
+depends=('ghc-libs' 'haskell-quickcheck' 'haskell-cracknum' 'haskell-async' 
'haskell-random'
+ 'haskell-syb' 'haskell-generic-deriving')
+makedepends=('ghc' 'haskell-doctest' 'haskell-glob' 'hlint' 'haskell-tasty' 
'haskell-tasty-golden'
+ 'haskell-tasty-hunit' 'haskell-tasty-quickcheck')
+source=("https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz;)
+sha512sums=('6e24ec42c72b6e6f2e6516e0dd3d8d4da1c845f0656f05a637f3f212999da1f89a7be288bfbb7c6a359c68762963785ca516f4821157427a71bbb816d594a3c6')
+
+build() {
+cd $_hkgname-$pkgver
+
+runhaskell Setup configure -O --enable-shared --enable-executable-dynamic 
--disable-library-vanilla \
+--prefix=/usr --docdir=/usr/share/doc/$pkgname --enable-tests \
+--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
+}
+
+check() {
+cd $_hkgname-$pkgver
+runhaskell Setup test
+}
+
+package() {
+cd $_hkgname-$pkgver
+
+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"
+install -D -m644 LICENSE "$pkgdir"/usr/share/licenses/$pkgname/LICENSE
+rm -f "$pkgdir"/usr/share/doc/$pkgname/LICENSE
+}

[arch-commits] Commit in haskell-sbv8.7/repos (2 files)

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

Date: Monday, October 5, 2020 @ 18:58:56
  Author: felixonmars
Revision: 718919

archrelease: copy trunk to community-staging-x86_64

Added:
  haskell-sbv8.7/repos/community-staging-x86_64/
  haskell-sbv8.7/repos/community-staging-x86_64/PKGBUILD
(from rev 718918, haskell-sbv8.7/trunk/PKGBUILD)

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

Copied: haskell-sbv8.7/repos/community-staging-x86_64/PKGBUILD (from rev 
718918, haskell-sbv8.7/trunk/PKGBUILD)
===
--- community-staging-x86_64/PKGBUILD   (rev 0)
+++ community-staging-x86_64/PKGBUILD   2020-10-05 18:58:56 UTC (rev 718919)
@@ -0,0 +1,45 @@
+# Maintainer: Felix Yan 
+# Contributor: Arch Haskell Team 
+
+_hkgname=sbv
+pkgname=haskell-sbv8.7
+pkgver=8.7
+pkgrel=11
+pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT 
solving (legacy 8.7 version)"
+url="https://leventerkok.github.com/sbv;
+license=("BSD")
+arch=('x86_64')
+depends=('ghc-libs' 'haskell-quickcheck' 'haskell-cracknum' 'haskell-async' 
'haskell-random'
+ 'haskell-syb' 'haskell-generic-deriving')
+makedepends=('ghc' 'haskell-doctest' 'haskell-glob' 'hlint' 'haskell-tasty' 
'haskell-tasty-golden'
+ 'haskell-tasty-hunit' 'haskell-tasty-quickcheck')
+source=("https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz;)
+sha512sums=('6e24ec42c72b6e6f2e6516e0dd3d8d4da1c845f0656f05a637f3f212999da1f89a7be288bfbb7c6a359c68762963785ca516f4821157427a71bbb816d594a3c6')
+
+build() {
+cd $_hkgname-$pkgver
+
+runhaskell Setup configure -O --enable-shared --enable-executable-dynamic 
--disable-library-vanilla \
+--prefix=/usr --docdir=/usr/share/doc/$pkgname --enable-tests \
+--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
+}
+
+check() {
+cd $_hkgname-$pkgver
+runhaskell Setup test
+}
+
+package() {
+cd $_hkgname-$pkgver
+
+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"
+install -D -m644 LICENSE "$pkgdir"/usr/share/licenses/$pkgname/LICENSE
+rm -f "$pkgdir"/usr/share/doc/$pkgname/LICENSE
+}

[arch-commits] Commit in haskell-sbv8.7/repos (2 files)

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

Date: Sunday, October 4, 2020 @ 18:11:48
  Author: felixonmars
Revision: 717827

archrelease: copy trunk to community-staging-x86_64

Added:
  haskell-sbv8.7/repos/community-staging-x86_64/
  haskell-sbv8.7/repos/community-staging-x86_64/PKGBUILD
(from rev 717826, haskell-sbv8.7/trunk/PKGBUILD)

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

Copied: haskell-sbv8.7/repos/community-staging-x86_64/PKGBUILD (from rev 
717826, haskell-sbv8.7/trunk/PKGBUILD)
===
--- community-staging-x86_64/PKGBUILD   (rev 0)
+++ community-staging-x86_64/PKGBUILD   2020-10-04 18:11:48 UTC (rev 717827)
@@ -0,0 +1,45 @@
+# Maintainer: Felix Yan 
+# Contributor: Arch Haskell Team 
+
+_hkgname=sbv
+pkgname=haskell-sbv8.7
+pkgver=8.7
+pkgrel=10
+pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT 
solving (legacy 8.7 version)"
+url="https://leventerkok.github.com/sbv;
+license=("BSD")
+arch=('x86_64')
+depends=('ghc-libs' 'haskell-quickcheck' 'haskell-cracknum' 'haskell-async' 
'haskell-random'
+ 'haskell-syb' 'haskell-generic-deriving')
+makedepends=('ghc' 'haskell-doctest' 'haskell-glob' 'hlint' 'haskell-tasty' 
'haskell-tasty-golden'
+ 'haskell-tasty-hunit' 'haskell-tasty-quickcheck')
+source=("https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz;)
+sha512sums=('6e24ec42c72b6e6f2e6516e0dd3d8d4da1c845f0656f05a637f3f212999da1f89a7be288bfbb7c6a359c68762963785ca516f4821157427a71bbb816d594a3c6')
+
+build() {
+cd $_hkgname-$pkgver
+
+runhaskell Setup configure -O --enable-shared --enable-executable-dynamic 
--disable-library-vanilla \
+--prefix=/usr --docdir=/usr/share/doc/$pkgname --enable-tests \
+--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
+}
+
+check() {
+cd $_hkgname-$pkgver
+runhaskell Setup test
+}
+
+package() {
+cd $_hkgname-$pkgver
+
+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"
+install -D -m644 LICENSE "$pkgdir"/usr/share/licenses/$pkgname/LICENSE
+rm -f "$pkgdir"/usr/share/doc/$pkgname/LICENSE
+}

[arch-commits] Commit in haskell-sbv8.7/repos (2 files)

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

Date: Friday, October 2, 2020 @ 21:08:46
  Author: felixonmars
Revision: 715701

archrelease: copy trunk to community-staging-x86_64

Added:
  haskell-sbv8.7/repos/community-staging-x86_64/
  haskell-sbv8.7/repos/community-staging-x86_64/PKGBUILD
(from rev 715700, haskell-sbv8.7/trunk/PKGBUILD)

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

Copied: haskell-sbv8.7/repos/community-staging-x86_64/PKGBUILD (from rev 
715700, haskell-sbv8.7/trunk/PKGBUILD)
===
--- community-staging-x86_64/PKGBUILD   (rev 0)
+++ community-staging-x86_64/PKGBUILD   2020-10-02 21:08:46 UTC (rev 715701)
@@ -0,0 +1,45 @@
+# Maintainer: Felix Yan 
+# Contributor: Arch Haskell Team 
+
+_hkgname=sbv
+pkgname=haskell-sbv8.7
+pkgver=8.7
+pkgrel=9
+pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT 
solving (legacy 8.7 version)"
+url="https://leventerkok.github.com/sbv;
+license=("BSD")
+arch=('x86_64')
+depends=('ghc-libs' 'haskell-quickcheck' 'haskell-cracknum' 'haskell-async' 
'haskell-random'
+ 'haskell-syb' 'haskell-generic-deriving')
+makedepends=('ghc' 'haskell-doctest' 'haskell-glob' 'hlint' 'haskell-tasty' 
'haskell-tasty-golden'
+ 'haskell-tasty-hunit' 'haskell-tasty-quickcheck')
+source=("https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz;)
+sha512sums=('6e24ec42c72b6e6f2e6516e0dd3d8d4da1c845f0656f05a637f3f212999da1f89a7be288bfbb7c6a359c68762963785ca516f4821157427a71bbb816d594a3c6')
+
+build() {
+cd $_hkgname-$pkgver
+
+runhaskell Setup configure -O --enable-shared --enable-executable-dynamic 
--disable-library-vanilla \
+--prefix=/usr --docdir=/usr/share/doc/$pkgname --enable-tests \
+--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
+}
+
+check() {
+cd $_hkgname-$pkgver
+runhaskell Setup test
+}
+
+package() {
+cd $_hkgname-$pkgver
+
+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"
+install -D -m644 LICENSE "$pkgdir"/usr/share/licenses/$pkgname/LICENSE
+rm -f "$pkgdir"/usr/share/doc/$pkgname/LICENSE
+}

[arch-commits] Commit in haskell-sbv8.7/repos (2 files)

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

Date: Monday, September 28, 2020 @ 21:11:05
  Author: felixonmars
Revision: 713379

archrelease: copy trunk to community-staging-x86_64

Added:
  haskell-sbv8.7/repos/community-staging-x86_64/
  haskell-sbv8.7/repos/community-staging-x86_64/PKGBUILD
(from rev 713378, haskell-sbv8.7/trunk/PKGBUILD)

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

Copied: haskell-sbv8.7/repos/community-staging-x86_64/PKGBUILD (from rev 
713378, haskell-sbv8.7/trunk/PKGBUILD)
===
--- community-staging-x86_64/PKGBUILD   (rev 0)
+++ community-staging-x86_64/PKGBUILD   2020-09-28 21:11:05 UTC (rev 713379)
@@ -0,0 +1,45 @@
+# Maintainer: Felix Yan 
+# Contributor: Arch Haskell Team 
+
+_hkgname=sbv
+pkgname=haskell-sbv8.7
+pkgver=8.7
+pkgrel=8
+pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT 
solving (legacy 8.7 version)"
+url="https://leventerkok.github.com/sbv;
+license=("BSD")
+arch=('x86_64')
+depends=('ghc-libs' 'haskell-quickcheck' 'haskell-cracknum' 'haskell-async' 
'haskell-random'
+ 'haskell-syb' 'haskell-generic-deriving')
+makedepends=('ghc' 'haskell-doctest' 'haskell-glob' 'hlint' 'haskell-tasty' 
'haskell-tasty-golden'
+ 'haskell-tasty-hunit' 'haskell-tasty-quickcheck')
+source=("https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz;)
+sha512sums=('6e24ec42c72b6e6f2e6516e0dd3d8d4da1c845f0656f05a637f3f212999da1f89a7be288bfbb7c6a359c68762963785ca516f4821157427a71bbb816d594a3c6')
+
+build() {
+cd $_hkgname-$pkgver
+
+runhaskell Setup configure -O --enable-shared --enable-executable-dynamic 
--disable-library-vanilla \
+--prefix=/usr --docdir=/usr/share/doc/$pkgname --enable-tests \
+--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
+}
+
+check() {
+cd $_hkgname-$pkgver
+runhaskell Setup test
+}
+
+package() {
+cd $_hkgname-$pkgver
+
+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"
+install -D -m644 LICENSE "$pkgdir"/usr/share/licenses/$pkgname/LICENSE
+rm -f "$pkgdir"/usr/share/doc/$pkgname/LICENSE
+}

[arch-commits] Commit in haskell-sbv8.7/repos (2 files)

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

Date: Thursday, September 24, 2020 @ 14:19:18
  Author: felixonmars
Revision: 711815

archrelease: copy trunk to community-staging-x86_64

Added:
  haskell-sbv8.7/repos/community-staging-x86_64/
  haskell-sbv8.7/repos/community-staging-x86_64/PKGBUILD
(from rev 711814, haskell-sbv8.7/trunk/PKGBUILD)

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

Copied: haskell-sbv8.7/repos/community-staging-x86_64/PKGBUILD (from rev 
711814, haskell-sbv8.7/trunk/PKGBUILD)
===
--- community-staging-x86_64/PKGBUILD   (rev 0)
+++ community-staging-x86_64/PKGBUILD   2020-09-24 14:19:18 UTC (rev 711815)
@@ -0,0 +1,45 @@
+# Maintainer: Felix Yan 
+# Contributor: Arch Haskell Team 
+
+_hkgname=sbv
+pkgname=haskell-sbv8.7
+pkgver=8.7
+pkgrel=7
+pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT 
solving (legacy 8.7 version)"
+url="https://leventerkok.github.com/sbv;
+license=("BSD")
+arch=('x86_64')
+depends=('ghc-libs' 'haskell-quickcheck' 'haskell-cracknum' 'haskell-async' 
'haskell-random'
+ 'haskell-syb' 'haskell-generic-deriving')
+makedepends=('ghc' 'haskell-doctest' 'haskell-glob' 'hlint' 'haskell-tasty' 
'haskell-tasty-golden'
+ 'haskell-tasty-hunit' 'haskell-tasty-quickcheck')
+source=("https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz;)
+sha512sums=('6e24ec42c72b6e6f2e6516e0dd3d8d4da1c845f0656f05a637f3f212999da1f89a7be288bfbb7c6a359c68762963785ca516f4821157427a71bbb816d594a3c6')
+
+build() {
+cd $_hkgname-$pkgver
+
+runhaskell Setup configure -O --enable-shared --enable-executable-dynamic 
--disable-library-vanilla \
+--prefix=/usr --docdir=/usr/share/doc/$pkgname --enable-tests \
+--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
+}
+
+check() {
+cd $_hkgname-$pkgver
+runhaskell Setup test
+}
+
+package() {
+cd $_hkgname-$pkgver
+
+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"
+install -D -m644 LICENSE "$pkgdir"/usr/share/licenses/$pkgname/LICENSE
+rm -f "$pkgdir"/usr/share/doc/$pkgname/LICENSE
+}

[arch-commits] Commit in haskell-sbv8.7/repos (2 files)

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

Date: Thursday, September 24, 2020 @ 13:30:17
  Author: felixonmars
Revision: 711749

archrelease: copy trunk to community-staging-x86_64

Added:
  haskell-sbv8.7/repos/community-staging-x86_64/
  haskell-sbv8.7/repos/community-staging-x86_64/PKGBUILD
(from rev 711748, haskell-sbv8.7/trunk/PKGBUILD)

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

Copied: haskell-sbv8.7/repos/community-staging-x86_64/PKGBUILD (from rev 
711748, haskell-sbv8.7/trunk/PKGBUILD)
===
--- community-staging-x86_64/PKGBUILD   (rev 0)
+++ community-staging-x86_64/PKGBUILD   2020-09-24 13:30:17 UTC (rev 711749)
@@ -0,0 +1,45 @@
+# Maintainer: Felix Yan 
+# Contributor: Arch Haskell Team 
+
+_hkgname=sbv
+pkgname=haskell-sbv8.7
+pkgver=8.7
+pkgrel=6
+pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT 
solving (legacy 8.7 version)"
+url="https://leventerkok.github.com/sbv;
+license=("BSD")
+arch=('x86_64')
+depends=('ghc-libs' 'haskell-quickcheck' 'haskell-cracknum' 'haskell-async' 
'haskell-random'
+ 'haskell-syb' 'haskell-generic-deriving')
+makedepends=('ghc' 'haskell-doctest' 'haskell-glob' 'hlint' 'haskell-tasty' 
'haskell-tasty-golden'
+ 'haskell-tasty-hunit' 'haskell-tasty-quickcheck')
+source=("https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz;)
+sha512sums=('6e24ec42c72b6e6f2e6516e0dd3d8d4da1c845f0656f05a637f3f212999da1f89a7be288bfbb7c6a359c68762963785ca516f4821157427a71bbb816d594a3c6')
+
+build() {
+cd $_hkgname-$pkgver
+
+runhaskell Setup configure -O --enable-shared --enable-executable-dynamic 
--disable-library-vanilla \
+--prefix=/usr --docdir=/usr/share/doc/$pkgname --enable-tests \
+--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
+}
+
+check() {
+cd $_hkgname-$pkgver
+runhaskell Setup test
+}
+
+package() {
+cd $_hkgname-$pkgver
+
+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"
+install -D -m644 LICENSE "$pkgdir"/usr/share/licenses/$pkgname/LICENSE
+rm -f "$pkgdir"/usr/share/doc/$pkgname/LICENSE
+}

[arch-commits] Commit in haskell-sbv8.7/repos (2 files)

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

Date: Friday, September 18, 2020 @ 12:07:02
  Author: felixonmars
Revision: 710015

archrelease: copy trunk to community-staging-x86_64

Added:
  haskell-sbv8.7/repos/community-staging-x86_64/
  haskell-sbv8.7/repos/community-staging-x86_64/PKGBUILD
(from rev 710014, haskell-sbv8.7/trunk/PKGBUILD)

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

Copied: haskell-sbv8.7/repos/community-staging-x86_64/PKGBUILD (from rev 
710014, haskell-sbv8.7/trunk/PKGBUILD)
===
--- community-staging-x86_64/PKGBUILD   (rev 0)
+++ community-staging-x86_64/PKGBUILD   2020-09-18 12:07:02 UTC (rev 710015)
@@ -0,0 +1,45 @@
+# Maintainer: Felix Yan 
+# Contributor: Arch Haskell Team 
+
+_hkgname=sbv
+pkgname=haskell-sbv8.7
+pkgver=8.7
+pkgrel=5
+pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT 
solving (legacy 8.7 version)"
+url="https://leventerkok.github.com/sbv;
+license=("BSD")
+arch=('x86_64')
+depends=('ghc-libs' 'haskell-quickcheck' 'haskell-cracknum' 'haskell-async' 
'haskell-random'
+ 'haskell-syb' 'haskell-generic-deriving')
+makedepends=('ghc' 'haskell-doctest' 'haskell-glob' 'hlint' 'haskell-tasty' 
'haskell-tasty-golden'
+ 'haskell-tasty-hunit' 'haskell-tasty-quickcheck')
+source=("https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz;)
+sha512sums=('6e24ec42c72b6e6f2e6516e0dd3d8d4da1c845f0656f05a637f3f212999da1f89a7be288bfbb7c6a359c68762963785ca516f4821157427a71bbb816d594a3c6')
+
+build() {
+cd $_hkgname-$pkgver
+
+runhaskell Setup configure -O --enable-shared --enable-executable-dynamic 
--disable-library-vanilla \
+--prefix=/usr --docdir=/usr/share/doc/$pkgname --enable-tests \
+--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
+}
+
+check() {
+cd $_hkgname-$pkgver
+runhaskell Setup test
+}
+
+package() {
+cd $_hkgname-$pkgver
+
+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"
+install -D -m644 LICENSE "$pkgdir"/usr/share/licenses/$pkgname/LICENSE
+rm -f "$pkgdir"/usr/share/doc/$pkgname/LICENSE
+}

[arch-commits] Commit in haskell-sbv8.7/repos (2 files)

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

Date: Wednesday, September 16, 2020 @ 16:01:25
  Author: felixonmars
Revision: 708134

archrelease: copy trunk to community-staging-x86_64

Added:
  haskell-sbv8.7/repos/community-staging-x86_64/
  haskell-sbv8.7/repos/community-staging-x86_64/PKGBUILD
(from rev 708133, haskell-sbv8.7/trunk/PKGBUILD)

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

Copied: haskell-sbv8.7/repos/community-staging-x86_64/PKGBUILD (from rev 
708133, haskell-sbv8.7/trunk/PKGBUILD)
===
--- community-staging-x86_64/PKGBUILD   (rev 0)
+++ community-staging-x86_64/PKGBUILD   2020-09-16 16:01:25 UTC (rev 708134)
@@ -0,0 +1,45 @@
+# Maintainer: Felix Yan 
+# Contributor: Arch Haskell Team 
+
+_hkgname=sbv
+pkgname=haskell-sbv8.7
+pkgver=8.7
+pkgrel=4
+pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT 
solving (legacy 8.7 version)"
+url="https://leventerkok.github.com/sbv;
+license=("BSD")
+arch=('x86_64')
+depends=('ghc-libs' 'haskell-quickcheck' 'haskell-cracknum' 'haskell-async' 
'haskell-random'
+ 'haskell-syb' 'haskell-generic-deriving')
+makedepends=('ghc' 'haskell-doctest' 'haskell-glob' 'hlint' 'haskell-tasty' 
'haskell-tasty-golden'
+ 'haskell-tasty-hunit' 'haskell-tasty-quickcheck')
+source=("https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz;)
+sha512sums=('6e24ec42c72b6e6f2e6516e0dd3d8d4da1c845f0656f05a637f3f212999da1f89a7be288bfbb7c6a359c68762963785ca516f4821157427a71bbb816d594a3c6')
+
+build() {
+cd $_hkgname-$pkgver
+
+runhaskell Setup configure -O --enable-shared --enable-executable-dynamic 
--disable-library-vanilla \
+--prefix=/usr --docdir=/usr/share/doc/$pkgname --enable-tests \
+--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
+}
+
+check() {
+cd $_hkgname-$pkgver
+runhaskell Setup test
+}
+
+package() {
+cd $_hkgname-$pkgver
+
+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"
+install -D -m644 LICENSE "$pkgdir"/usr/share/licenses/$pkgname/LICENSE
+rm -f "$pkgdir"/usr/share/doc/$pkgname/LICENSE
+}

[arch-commits] Commit in haskell-sbv8.7/repos (2 files)

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

Date: Wednesday, September 16, 2020 @ 14:13:24
  Author: felixonmars
Revision: 708038

archrelease: copy trunk to community-staging-x86_64

Added:
  haskell-sbv8.7/repos/community-staging-x86_64/
  haskell-sbv8.7/repos/community-staging-x86_64/PKGBUILD
(from rev 708037, haskell-sbv8.7/trunk/PKGBUILD)

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

Copied: haskell-sbv8.7/repos/community-staging-x86_64/PKGBUILD (from rev 
708037, haskell-sbv8.7/trunk/PKGBUILD)
===
--- community-staging-x86_64/PKGBUILD   (rev 0)
+++ community-staging-x86_64/PKGBUILD   2020-09-16 14:13:24 UTC (rev 708038)
@@ -0,0 +1,45 @@
+# Maintainer: Felix Yan 
+# Contributor: Arch Haskell Team 
+
+_hkgname=sbv
+pkgname=haskell-sbv8.7
+pkgver=8.7
+pkgrel=3
+pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT 
solving (legacy 8.7 version)"
+url="https://leventerkok.github.com/sbv;
+license=("BSD")
+arch=('x86_64')
+depends=('ghc-libs' 'haskell-quickcheck' 'haskell-cracknum' 'haskell-async' 
'haskell-random'
+ 'haskell-syb' 'haskell-generic-deriving')
+makedepends=('ghc' 'haskell-doctest' 'haskell-glob' 'hlint' 'haskell-tasty' 
'haskell-tasty-golden'
+ 'haskell-tasty-hunit' 'haskell-tasty-quickcheck')
+source=("https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz;)
+sha512sums=('6e24ec42c72b6e6f2e6516e0dd3d8d4da1c845f0656f05a637f3f212999da1f89a7be288bfbb7c6a359c68762963785ca516f4821157427a71bbb816d594a3c6')
+
+build() {
+cd $_hkgname-$pkgver
+
+runhaskell Setup configure -O --enable-shared --enable-executable-dynamic 
--disable-library-vanilla \
+--prefix=/usr --docdir=/usr/share/doc/$pkgname --enable-tests \
+--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
+}
+
+check() {
+cd $_hkgname-$pkgver
+runhaskell Setup test
+}
+
+package() {
+cd $_hkgname-$pkgver
+
+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"
+install -D -m644 LICENSE "$pkgdir"/usr/share/licenses/$pkgname/LICENSE
+rm -f "$pkgdir"/usr/share/doc/$pkgname/LICENSE
+}

[arch-commits] Commit in haskell-sbv8.7/repos (2 files)

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

Date: Wednesday, September 16, 2020 @ 10:45:09
  Author: felixonmars
Revision: 707389

archrelease: copy trunk to community-staging-x86_64

Added:
  haskell-sbv8.7/repos/community-staging-x86_64/
  haskell-sbv8.7/repos/community-staging-x86_64/PKGBUILD
(from rev 707388, haskell-sbv8.7/trunk/PKGBUILD)

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

Copied: haskell-sbv8.7/repos/community-staging-x86_64/PKGBUILD (from rev 
707388, haskell-sbv8.7/trunk/PKGBUILD)
===
--- community-staging-x86_64/PKGBUILD   (rev 0)
+++ community-staging-x86_64/PKGBUILD   2020-09-16 10:45:09 UTC (rev 707389)
@@ -0,0 +1,45 @@
+# Maintainer: Felix Yan 
+# Contributor: Arch Haskell Team 
+
+_hkgname=sbv
+pkgname=haskell-sbv8.7
+pkgver=8.7
+pkgrel=2
+pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT 
solving (legacy 8.7 version)"
+url="https://leventerkok.github.com/sbv;
+license=("BSD")
+arch=('x86_64')
+depends=('ghc-libs' 'haskell-quickcheck' 'haskell-cracknum' 'haskell-async' 
'haskell-random'
+ 'haskell-syb' 'haskell-generic-deriving')
+makedepends=('ghc' 'haskell-doctest' 'haskell-glob' 'hlint' 'haskell-tasty' 
'haskell-tasty-golden'
+ 'haskell-tasty-hunit' 'haskell-tasty-quickcheck')
+source=("https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz;)
+sha512sums=('6e24ec42c72b6e6f2e6516e0dd3d8d4da1c845f0656f05a637f3f212999da1f89a7be288bfbb7c6a359c68762963785ca516f4821157427a71bbb816d594a3c6')
+
+build() {
+cd $_hkgname-$pkgver
+
+runhaskell Setup configure -O --enable-shared --enable-executable-dynamic 
--disable-library-vanilla \
+--prefix=/usr --docdir=/usr/share/doc/$pkgname --enable-tests \
+--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
+}
+
+check() {
+cd $_hkgname-$pkgver
+runhaskell Setup test
+}
+
+package() {
+cd $_hkgname-$pkgver
+
+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"
+install -D -m644 LICENSE "$pkgdir"/usr/share/licenses/$pkgname/LICENSE
+rm -f "$pkgdir"/usr/share/doc/$pkgname/LICENSE
+}

[arch-commits] Commit in haskell-sbv8.7/repos (2 files)

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

Date: Monday, September 14, 2020 @ 11:51:22
  Author: felixonmars
Revision: 705973

archrelease: copy trunk to community-x86_64

Added:
  haskell-sbv8.7/repos/community-x86_64/
  haskell-sbv8.7/repos/community-x86_64/PKGBUILD
(from rev 705972, haskell-sbv8.7/trunk/PKGBUILD)

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

Copied: haskell-sbv8.7/repos/community-x86_64/PKGBUILD (from rev 705972, 
haskell-sbv8.7/trunk/PKGBUILD)
===
--- community-x86_64/PKGBUILD   (rev 0)
+++ community-x86_64/PKGBUILD   2020-09-14 11:51:22 UTC (rev 705973)
@@ -0,0 +1,45 @@
+# Maintainer: Felix Yan 
+# Contributor: Arch Haskell Team 
+
+_hkgname=sbv
+pkgname=haskell-sbv8.7
+pkgver=8.7
+pkgrel=1
+pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT 
solving (legacy 8.7 version)"
+url="https://leventerkok.github.com/sbv;
+license=("BSD")
+arch=('x86_64')
+depends=('ghc-libs' 'haskell-quickcheck' 'haskell-cracknum' 'haskell-async' 
'haskell-random'
+ 'haskell-syb' 'haskell-generic-deriving')
+makedepends=('ghc' 'haskell-doctest' 'haskell-glob' 'hlint' 'haskell-tasty' 
'haskell-tasty-golden'
+ 'haskell-tasty-hunit' 'haskell-tasty-quickcheck')
+source=("https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz;)
+sha512sums=('6e24ec42c72b6e6f2e6516e0dd3d8d4da1c845f0656f05a637f3f212999da1f89a7be288bfbb7c6a359c68762963785ca516f4821157427a71bbb816d594a3c6')
+
+build() {
+cd $_hkgname-$pkgver
+
+runhaskell Setup configure -O --enable-shared --enable-executable-dynamic 
--disable-library-vanilla \
+--prefix=/usr --docdir=/usr/share/doc/$pkgname --enable-tests \
+--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
+}
+
+check() {
+cd $_hkgname-$pkgver
+runhaskell Setup test
+}
+
+package() {
+cd $_hkgname-$pkgver
+
+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"
+install -D -m644 LICENSE "$pkgdir"/usr/share/licenses/$pkgname/LICENSE
+rm -f "$pkgdir"/usr/share/doc/$pkgname/LICENSE
+}

[arch-commits] Commit in haskell-sbv8.7/repos (2 files)

[arch-commits] Commit in haskell-sbv8.7/repos (2 files)

[arch-commits] Commit in haskell-sbv8.7/repos (2 files)

[arch-commits] Commit in haskell-sbv8.7/repos (2 files)

[arch-commits] Commit in haskell-sbv8.7/repos (2 files)

[arch-commits] Commit in haskell-sbv8.7/repos (2 files)

[arch-commits] Commit in haskell-sbv8.7/repos (2 files)

[arch-commits] Commit in haskell-sbv8.7/repos (2 files)

[arch-commits] Commit in haskell-sbv8.7/repos (2 files)

[arch-commits] Commit in haskell-sbv8.7/repos (2 files)

[arch-commits] Commit in haskell-sbv8.7/repos (2 files)

[arch-commits] Commit in haskell-sbv8.7/repos (2 files)

[arch-commits] Commit in haskell-sbv8.7/repos (2 files)

[arch-commits] Commit in haskell-sbv8.7/repos (2 files)

[arch-commits] Commit in haskell-sbv8.7/repos (2 files)

[arch-commits] Commit in haskell-sbv8.7/repos (2 files)

[arch-commits] Commit in haskell-sbv8.7/repos (2 files)

[arch-commits] Commit in haskell-sbv8.7/repos (2 files)

[arch-commits] Commit in haskell-sbv8.7/repos (2 files)

[arch-commits] Commit in haskell-sbv8.7/repos (2 files)

[arch-commits] Commit in haskell-sbv8.7/repos (2 files)

[arch-commits] Commit in haskell-sbv8.7/repos (2 files)

[arch-commits] Commit in haskell-sbv8.7/repos (2 files)

[arch-commits] Commit in haskell-sbv8.7/repos (2 files)

[arch-commits] Commit in haskell-sbv8.7/repos (2 files)

[arch-commits] Commit in haskell-sbv8.7/repos (2 files)

[arch-commits] Commit in haskell-sbv8.7/repos (2 files)

[arch-commits] Commit in haskell-sbv8.7/repos (2 files)

[arch-commits] Commit in haskell-sbv8.7/repos (2 files)

[arch-commits] Commit in haskell-sbv8.7/repos (2 files)

[arch-commits] Commit in haskell-sbv8.7/repos (2 files)

31 matches

Site Navigation

Mail list logo

Footer information