subject:"\[arch\-commits\] Commit in haskell\-sbv\/repos\/community\-staging\-x86

[arch-commits] Commit in haskell-sbv/repos/community-staging-x86_64 (2 files)

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

Date: Sunday, October 25, 2020 @ 15:22:16
  Author: felixonmars
Revision: 732758

archrelease: copy trunk to community-staging-x86_64

Added:
  haskell-sbv/repos/community-staging-x86_64/PKGBUILD
(from rev 732756, haskell-sbv/trunk/PKGBUILD)
Deleted:
  haskell-sbv/repos/community-staging-x86_64/PKGBUILD

--+
 PKGBUILD |  104 ++---
 1 file changed, 52 insertions(+), 52 deletions(-)

Deleted: PKGBUILD
===
--- PKGBUILD2020-10-25 15:22:13 UTC (rev 732757)
+++ PKGBUILD2020-10-25 15:22:16 UTC (rev 732758)
@@ -1,52 +0,0 @@
-# Maintainer: Felix Yan 
-# Contributor: Arch Haskell Team 
-
-_hkgname=sbv
-pkgname=haskell-sbv
-pkgver=8.8
-pkgrel=20
-pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT 
solving"
-url="https://leventerkok.github.com/sbv;
-license=("BSD")
-arch=('x86_64')
-depends=('ghc-libs' 'haskell-quickcheck' 'haskell-cracknum' 'haskell-async' 
'haskell-random'
- 'haskell-syb')
-makedepends=('ghc' 'haskell-doctest' 'haskell-glob' 'hlint' 'haskell-tasty' 
'haskell-tasty-golden'
- 'haskell-tasty-hunit' 'haskell-tasty-quickcheck')
-checkdepends=('abc' 'cvc4' 'yices' 'z3')
-source=("https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz;)
-sha512sums=('495bff0220c85ae3ce712b25983643a2f81dbdccd26f668963bd52b99cafccdae2d47dcd831fb6a6e4e571379be8a759b838b0c4b4ca9168bca07bf7e2892374')
-
-prepare() {
-cd $_hkgname-$pkgver
-# Remove SMT solvers not in the repos
-sed -i 's/, boolector//;s/, mathSAT//;s/, dReal//' 
SBVTestSuite/SBVConnectionTest.hs
-}
-
-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
-}

Copied: haskell-sbv/repos/community-staging-x86_64/PKGBUILD (from rev 732756, 
haskell-sbv/trunk/PKGBUILD)
===
--- PKGBUILD(rev 0)
+++ PKGBUILD2020-10-25 15:22:16 UTC (rev 732758)
@@ -0,0 +1,52 @@
+# Maintainer: Felix Yan 
+# Contributor: Arch Haskell Team 
+
+_hkgname=sbv
+pkgname=haskell-sbv
+pkgver=8.8
+pkgrel=21
+pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT 
solving"
+url="https://leventerkok.github.com/sbv;
+license=("BSD")
+arch=('x86_64')
+depends=('ghc-libs' 'haskell-quickcheck' 'haskell-cracknum' 'haskell-async' 
'haskell-random'
+ 'haskell-syb')
+makedepends=('ghc' 'haskell-doctest' 'haskell-glob' 'hlint' 'haskell-tasty' 
'haskell-tasty-golden'
+ 'haskell-tasty-hunit' 'haskell-tasty-quickcheck')
+checkdepends=('abc' 'cvc4' 'yices' 'z3')
+source=("https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz;)
+sha512sums=('495bff0220c85ae3ce712b25983643a2f81dbdccd26f668963bd52b99cafccdae2d47dcd831fb6a6e4e571379be8a759b838b0c4b4ca9168bca07bf7e2892374')
+
+prepare() {
+cd $_hkgname-$pkgver
+# Remove SMT solvers not in the repos
+sed -i 's/, boolector//;s/, mathSAT//;s/, dReal//' 
SBVTestSuite/SBVConnectionTest.hs
+}
+
+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

[arch-commits] Commit in haskell-sbv/repos/community-staging-x86_64 (2 files)

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

Date: Wednesday, August 5, 2020 @ 16:20:29
  Author: felixonmars
Revision: 669646

archrelease: copy trunk to community-staging-x86_64

Added:
  haskell-sbv/repos/community-staging-x86_64/PKGBUILD
(from rev 669645, haskell-sbv/trunk/PKGBUILD)
Deleted:
  haskell-sbv/repos/community-staging-x86_64/PKGBUILD

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

Deleted: PKGBUILD
===
--- PKGBUILD2020-08-05 16:20:16 UTC (rev 669645)
+++ PKGBUILD2020-08-05 16:20:29 UTC (rev 669646)
@@ -1,45 +0,0 @@
-# Maintainer: Felix Yan 
-# Contributor: Arch Haskell Team 
-
-_hkgname=sbv
-pkgname=haskell-sbv
-pkgver=8.7
-pkgrel=5
-pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT 
solving"
-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
-}

Copied: haskell-sbv/repos/community-staging-x86_64/PKGBUILD (from rev 669645, 
haskell-sbv/trunk/PKGBUILD)
===
--- PKGBUILD(rev 0)
+++ PKGBUILD2020-08-05 16:20:29 UTC (rev 669646)
@@ -0,0 +1,45 @@
+# Maintainer: Felix Yan 
+# Contributor: Arch Haskell Team 
+
+_hkgname=sbv
+pkgname=haskell-sbv
+pkgver=8.7
+pkgrel=6
+pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT 
solving"
+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-sbv/repos/community-staging-x86_64 (2 files)

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

Date: Monday, August 3, 2020 @ 14:36:32
  Author: felixonmars
Revision: 668395

archrelease: copy trunk to community-staging-x86_64

Added:
  haskell-sbv/repos/community-staging-x86_64/PKGBUILD
(from rev 668394, haskell-sbv/trunk/PKGBUILD)
Deleted:
  haskell-sbv/repos/community-staging-x86_64/PKGBUILD

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

Deleted: PKGBUILD
===
--- PKGBUILD2020-08-03 14:36:20 UTC (rev 668394)
+++ PKGBUILD2020-08-03 14:36:32 UTC (rev 668395)
@@ -1,45 +0,0 @@
-# Maintainer: Felix Yan 
-# Contributor: Arch Haskell Team 
-
-_hkgname=sbv
-pkgname=haskell-sbv
-pkgver=8.7
-pkgrel=4
-pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT 
solving"
-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
-}

Copied: haskell-sbv/repos/community-staging-x86_64/PKGBUILD (from rev 668394, 
haskell-sbv/trunk/PKGBUILD)
===
--- PKGBUILD(rev 0)
+++ PKGBUILD2020-08-03 14:36:32 UTC (rev 668395)
@@ -0,0 +1,45 @@
+# Maintainer: Felix Yan 
+# Contributor: Arch Haskell Team 
+
+_hkgname=sbv
+pkgname=haskell-sbv
+pkgver=8.7
+pkgrel=5
+pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT 
solving"
+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-sbv/repos/community-staging-x86_64 (2 files)

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

Date: Monday, August 3, 2020 @ 06:49:41
  Author: felixonmars
Revision: 668008

archrelease: copy trunk to community-staging-x86_64

Added:
  haskell-sbv/repos/community-staging-x86_64/PKGBUILD
(from rev 668007, haskell-sbv/trunk/PKGBUILD)
Deleted:
  haskell-sbv/repos/community-staging-x86_64/PKGBUILD

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

Deleted: PKGBUILD
===
--- PKGBUILD2020-08-03 06:49:30 UTC (rev 668007)
+++ PKGBUILD2020-08-03 06:49:41 UTC (rev 668008)
@@ -1,45 +0,0 @@
-# Maintainer: Felix Yan 
-# Contributor: Arch Haskell Team 
-
-_hkgname=sbv
-pkgname=haskell-sbv
-pkgver=8.7
-pkgrel=3
-pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT 
solving"
-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
-}

Copied: haskell-sbv/repos/community-staging-x86_64/PKGBUILD (from rev 668007, 
haskell-sbv/trunk/PKGBUILD)
===
--- PKGBUILD(rev 0)
+++ PKGBUILD2020-08-03 06:49:41 UTC (rev 668008)
@@ -0,0 +1,45 @@
+# Maintainer: Felix Yan 
+# Contributor: Arch Haskell Team 
+
+_hkgname=sbv
+pkgname=haskell-sbv
+pkgver=8.7
+pkgrel=4
+pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT 
solving"
+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-sbv/repos/community-staging-x86_64 (2 files)

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

Date: Sunday, August 2, 2020 @ 14:01:53
  Author: felixonmars
Revision: 667706

archrelease: copy trunk to community-staging-x86_64

Added:
  haskell-sbv/repos/community-staging-x86_64/PKGBUILD
(from rev 667705, haskell-sbv/trunk/PKGBUILD)
Deleted:
  haskell-sbv/repos/community-staging-x86_64/PKGBUILD

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

Deleted: PKGBUILD
===
--- PKGBUILD2020-08-02 14:01:38 UTC (rev 667705)
+++ PKGBUILD2020-08-02 14:01:53 UTC (rev 667706)
@@ -1,45 +0,0 @@
-# Maintainer: Felix Yan 
-# Contributor: Arch Haskell Team 
-
-_hkgname=sbv
-pkgname=haskell-sbv
-pkgver=8.7
-pkgrel=2
-pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT 
solving"
-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
-}

Copied: haskell-sbv/repos/community-staging-x86_64/PKGBUILD (from rev 667705, 
haskell-sbv/trunk/PKGBUILD)
===
--- PKGBUILD(rev 0)
+++ PKGBUILD2020-08-02 14:01:53 UTC (rev 667706)
@@ -0,0 +1,45 @@
+# Maintainer: Felix Yan 
+# Contributor: Arch Haskell Team 
+
+_hkgname=sbv
+pkgname=haskell-sbv
+pkgver=8.7
+pkgrel=3
+pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT 
solving"
+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-sbv/repos/community-staging-x86_64 (2 files)

2018-05-21 Thread Felix Yan via arch-commits

Date: Monday, May 21, 2018 @ 20:44:13
  Author: felixonmars
Revision: 326638

archrelease: copy trunk to community-staging-x86_64

Added:
  haskell-sbv/repos/community-staging-x86_64/PKGBUILD
(from rev 326637, haskell-sbv/trunk/PKGBUILD)
Deleted:
  haskell-sbv/repos/community-staging-x86_64/PKGBUILD

--+
 PKGBUILD |   94 ++---
 1 file changed, 47 insertions(+), 47 deletions(-)

Deleted: PKGBUILD
===
--- PKGBUILD2018-05-21 20:43:48 UTC (rev 326637)
+++ PKGBUILD2018-05-21 20:44:13 UTC (rev 326638)
@@ -1,47 +0,0 @@
-# $Id$
-# Maintainer: Felix Yan 
-# Contributor: Arch Haskell Team 
-
-_hkgname=sbv
-pkgname=haskell-sbv
-pkgver=7.8
-pkgrel=2
-pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT 
solving"
-url="http://leventerkok.github.com/sbv;
-license=("custom:BSD3")
-arch=('x86_64')
-depends=('ghc-libs' 'haskell-ghc' 'haskell-quickcheck' 'haskell-cracknum' 
'haskell-async'
- 'haskell-random' 'haskell-syb' 'haskell-data-binary-ieee754'
- '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=('ec7e7d715d6a82b0201c91a83deae238b6c366316a3734d6916327fc9849de0b1263541ff57e0689a43f4ca0f7c1e073a3c99b18adc30288067594e6458c5f61')
-
-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
-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"
-}

Copied: haskell-sbv/repos/community-staging-x86_64/PKGBUILD (from rev 326637, 
haskell-sbv/trunk/PKGBUILD)
===
--- PKGBUILD(rev 0)
+++ PKGBUILD2018-05-21 20:44:13 UTC (rev 326638)
@@ -0,0 +1,47 @@
+# $Id$
+# Maintainer: Felix Yan 
+# Contributor: Arch Haskell Team 
+
+_hkgname=sbv
+pkgname=haskell-sbv
+pkgver=7.8
+pkgrel=3
+pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT 
solving"
+url="http://leventerkok.github.com/sbv;
+license=("custom:BSD3")
+arch=('x86_64')
+depends=('ghc-libs' 'haskell-ghc' 'haskell-quickcheck' 'haskell-cracknum' 
'haskell-async'
+ 'haskell-random' 'haskell-syb' 'haskell-data-binary-ieee754'
+ '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=('ec7e7d715d6a82b0201c91a83deae238b6c366316a3734d6916327fc9849de0b1263541ff57e0689a43f4ca0f7c1e073a3c99b18adc30288067594e6458c5f61')
+
+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
+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-sbv/repos/community-staging-x86_64 (2 files)

2018-05-21 Thread Felix Yan via arch-commits

Date: Monday, May 21, 2018 @ 08:50:00
  Author: felixonmars
Revision: 325909

archrelease: copy trunk to community-staging-x86_64

Added:
  haskell-sbv/repos/community-staging-x86_64/PKGBUILD
(from rev 325908, haskell-sbv/trunk/PKGBUILD)
Deleted:
  haskell-sbv/repos/community-staging-x86_64/PKGBUILD

--+
 PKGBUILD |   94 ++---
 1 file changed, 47 insertions(+), 47 deletions(-)

Deleted: PKGBUILD
===
--- PKGBUILD2018-05-21 08:49:36 UTC (rev 325908)
+++ PKGBUILD2018-05-21 08:50:00 UTC (rev 325909)
@@ -1,47 +0,0 @@
-# $Id$
-# Maintainer: Felix Yan 
-# Contributor: Arch Haskell Team 
-
-_hkgname=sbv
-pkgname=haskell-sbv
-pkgver=7.8
-pkgrel=1
-pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT 
solving"
-url="http://leventerkok.github.com/sbv;
-license=("custom:BSD3")
-arch=('x86_64')
-depends=('ghc-libs' 'haskell-ghc' 'haskell-quickcheck' 'haskell-cracknum' 
'haskell-async'
- 'haskell-random' 'haskell-syb' 'haskell-data-binary-ieee754'
- '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=('ec7e7d715d6a82b0201c91a83deae238b6c366316a3734d6916327fc9849de0b1263541ff57e0689a43f4ca0f7c1e073a3c99b18adc30288067594e6458c5f61')
-
-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
-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"
-}

Copied: haskell-sbv/repos/community-staging-x86_64/PKGBUILD (from rev 325908, 
haskell-sbv/trunk/PKGBUILD)
===
--- PKGBUILD(rev 0)
+++ PKGBUILD2018-05-21 08:50:00 UTC (rev 325909)
@@ -0,0 +1,47 @@
+# $Id$
+# Maintainer: Felix Yan 
+# Contributor: Arch Haskell Team 
+
+_hkgname=sbv
+pkgname=haskell-sbv
+pkgver=7.8
+pkgrel=2
+pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT 
solving"
+url="http://leventerkok.github.com/sbv;
+license=("custom:BSD3")
+arch=('x86_64')
+depends=('ghc-libs' 'haskell-ghc' 'haskell-quickcheck' 'haskell-cracknum' 
'haskell-async'
+ 'haskell-random' 'haskell-syb' 'haskell-data-binary-ieee754'
+ '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=('ec7e7d715d6a82b0201c91a83deae238b6c366316a3734d6916327fc9849de0b1263541ff57e0689a43f4ca0f7c1e073a3c99b18adc30288067594e6458c5f61')
+
+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
+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-sbv/repos/community-staging-x86_64 (2 files)

2018-05-19 Thread Felix Yan via arch-commits

Date: Sunday, May 20, 2018 @ 05:45:22
  Author: felixonmars
Revision: 325045

archrelease: copy trunk to community-staging-x86_64

Added:
  haskell-sbv/repos/community-staging-x86_64/PKGBUILD
(from rev 325044, haskell-sbv/trunk/PKGBUILD)
Deleted:
  haskell-sbv/repos/community-staging-x86_64/PKGBUILD

--+
 PKGBUILD |   94 ++---
 1 file changed, 47 insertions(+), 47 deletions(-)

Deleted: PKGBUILD
===
--- PKGBUILD2018-05-20 05:44:58 UTC (rev 325044)
+++ PKGBUILD2018-05-20 05:45:22 UTC (rev 325045)
@@ -1,47 +0,0 @@
-# $Id$
-# Maintainer: Felix Yan 
-# Contributor: Arch Haskell Team 
-
-_hkgname=sbv
-pkgname=haskell-sbv
-pkgver=7.7
-pkgrel=9
-pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT 
solving"
-url="http://leventerkok.github.com/sbv;
-license=("custom:BSD3")
-arch=('x86_64')
-depends=('ghc-libs' 'haskell-ghc' 'haskell-quickcheck' 'haskell-cracknum' 
'haskell-async'
- 'haskell-random' 'haskell-syb' 'haskell-data-binary-ieee754'
- '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=('96670f21896ae921759f09767d08dc6c4c7592461ca135c2b11678d1b2a2f7980a52aff555dfd3616b8cfd4a592f7407fd0ec493e0b5a099cc2b36f2ed337bcb')
-
-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
-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"
-}

Copied: haskell-sbv/repos/community-staging-x86_64/PKGBUILD (from rev 325044, 
haskell-sbv/trunk/PKGBUILD)
===
--- PKGBUILD(rev 0)
+++ PKGBUILD2018-05-20 05:45:22 UTC (rev 325045)
@@ -0,0 +1,47 @@
+# $Id$
+# Maintainer: Felix Yan 
+# Contributor: Arch Haskell Team 
+
+_hkgname=sbv
+pkgname=haskell-sbv
+pkgver=7.8
+pkgrel=1
+pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT 
solving"
+url="http://leventerkok.github.com/sbv;
+license=("custom:BSD3")
+arch=('x86_64')
+depends=('ghc-libs' 'haskell-ghc' 'haskell-quickcheck' 'haskell-cracknum' 
'haskell-async'
+ 'haskell-random' 'haskell-syb' 'haskell-data-binary-ieee754'
+ '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=('ec7e7d715d6a82b0201c91a83deae238b6c366316a3734d6916327fc9849de0b1263541ff57e0689a43f4ca0f7c1e073a3c99b18adc30288067594e6458c5f61')
+
+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
+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-sbv/repos/community-staging-x86_64 (2 files)

2018-05-19 Thread Felix Yan via arch-commits

Date: Sunday, May 20, 2018 @ 05:23:10
  Author: felixonmars
Revision: 325029

archrelease: copy trunk to community-staging-x86_64

Added:
  haskell-sbv/repos/community-staging-x86_64/PKGBUILD
(from rev 325028, haskell-sbv/trunk/PKGBUILD)
Deleted:
  haskell-sbv/repos/community-staging-x86_64/PKGBUILD

--+
 PKGBUILD |   94 ++---
 1 file changed, 47 insertions(+), 47 deletions(-)

Deleted: PKGBUILD
===
--- PKGBUILD2018-05-20 05:22:47 UTC (rev 325028)
+++ PKGBUILD2018-05-20 05:23:10 UTC (rev 325029)
@@ -1,47 +0,0 @@
-# $Id$
-# Maintainer: Felix Yan 
-# Contributor: Arch Haskell Team 
-
-_hkgname=sbv
-pkgname=haskell-sbv
-pkgver=7.7
-pkgrel=8
-pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT 
solving"
-url="http://leventerkok.github.com/sbv;
-license=("custom:BSD3")
-arch=('x86_64')
-depends=('ghc-libs' 'haskell-ghc' 'haskell-quickcheck' 'haskell-cracknum' 
'haskell-async'
- 'haskell-random' 'haskell-syb' 'haskell-data-binary-ieee754'
- '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=('96670f21896ae921759f09767d08dc6c4c7592461ca135c2b11678d1b2a2f7980a52aff555dfd3616b8cfd4a592f7407fd0ec493e0b5a099cc2b36f2ed337bcb')
-
-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
-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"
-}

Copied: haskell-sbv/repos/community-staging-x86_64/PKGBUILD (from rev 325028, 
haskell-sbv/trunk/PKGBUILD)
===
--- PKGBUILD(rev 0)
+++ PKGBUILD2018-05-20 05:23:10 UTC (rev 325029)
@@ -0,0 +1,47 @@
+# $Id$
+# Maintainer: Felix Yan 
+# Contributor: Arch Haskell Team 
+
+_hkgname=sbv
+pkgname=haskell-sbv
+pkgver=7.7
+pkgrel=9
+pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT 
solving"
+url="http://leventerkok.github.com/sbv;
+license=("custom:BSD3")
+arch=('x86_64')
+depends=('ghc-libs' 'haskell-ghc' 'haskell-quickcheck' 'haskell-cracknum' 
'haskell-async'
+ 'haskell-random' 'haskell-syb' 'haskell-data-binary-ieee754'
+ '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=('96670f21896ae921759f09767d08dc6c4c7592461ca135c2b11678d1b2a2f7980a52aff555dfd3616b8cfd4a592f7407fd0ec493e0b5a099cc2b36f2ed337bcb')
+
+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
+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-sbv/repos/community-staging-x86_64 (2 files)

2018-05-19 Thread Felix Yan via arch-commits

Date: Saturday, May 19, 2018 @ 19:26:26
  Author: felixonmars
Revision: 324822

archrelease: copy trunk to community-staging-x86_64

Added:
  haskell-sbv/repos/community-staging-x86_64/PKGBUILD
(from rev 324821, haskell-sbv/trunk/PKGBUILD)
Deleted:
  haskell-sbv/repos/community-staging-x86_64/PKGBUILD

--+
 PKGBUILD |   94 ++---
 1 file changed, 47 insertions(+), 47 deletions(-)

Deleted: PKGBUILD
===
--- PKGBUILD2018-05-19 19:25:57 UTC (rev 324821)
+++ PKGBUILD2018-05-19 19:26:26 UTC (rev 324822)
@@ -1,47 +0,0 @@
-# $Id$
-# Maintainer: Felix Yan 
-# Contributor: Arch Haskell Team 
-
-_hkgname=sbv
-pkgname=haskell-sbv
-pkgver=7.7
-pkgrel=7
-pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT 
solving"
-url="http://leventerkok.github.com/sbv;
-license=("custom:BSD3")
-arch=('x86_64')
-depends=('ghc-libs' 'haskell-ghc' 'haskell-quickcheck' 'haskell-cracknum' 
'haskell-async'
- 'haskell-random' 'haskell-syb' 'haskell-data-binary-ieee754'
- '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=('96670f21896ae921759f09767d08dc6c4c7592461ca135c2b11678d1b2a2f7980a52aff555dfd3616b8cfd4a592f7407fd0ec493e0b5a099cc2b36f2ed337bcb')
-
-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
-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"
-}

Copied: haskell-sbv/repos/community-staging-x86_64/PKGBUILD (from rev 324821, 
haskell-sbv/trunk/PKGBUILD)
===
--- PKGBUILD(rev 0)
+++ PKGBUILD2018-05-19 19:26:26 UTC (rev 324822)
@@ -0,0 +1,47 @@
+# $Id$
+# Maintainer: Felix Yan 
+# Contributor: Arch Haskell Team 
+
+_hkgname=sbv
+pkgname=haskell-sbv
+pkgver=7.7
+pkgrel=8
+pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT 
solving"
+url="http://leventerkok.github.com/sbv;
+license=("custom:BSD3")
+arch=('x86_64')
+depends=('ghc-libs' 'haskell-ghc' 'haskell-quickcheck' 'haskell-cracknum' 
'haskell-async'
+ 'haskell-random' 'haskell-syb' 'haskell-data-binary-ieee754'
+ '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=('96670f21896ae921759f09767d08dc6c4c7592461ca135c2b11678d1b2a2f7980a52aff555dfd3616b8cfd4a592f7407fd0ec493e0b5a099cc2b36f2ed337bcb')
+
+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
+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-sbv/repos/community-staging-x86_64 (2 files)

2018-05-19 Thread Felix Yan via arch-commits

Date: Saturday, May 19, 2018 @ 14:13:33
  Author: felixonmars
Revision: 324610

archrelease: copy trunk to community-staging-x86_64

Added:
  haskell-sbv/repos/community-staging-x86_64/PKGBUILD
(from rev 324609, haskell-sbv/trunk/PKGBUILD)
Deleted:
  haskell-sbv/repos/community-staging-x86_64/PKGBUILD

--+
 PKGBUILD |   94 ++---
 1 file changed, 47 insertions(+), 47 deletions(-)

Deleted: PKGBUILD
===
--- PKGBUILD2018-05-19 14:13:13 UTC (rev 324609)
+++ PKGBUILD2018-05-19 14:13:33 UTC (rev 324610)
@@ -1,47 +0,0 @@
-# $Id$
-# Maintainer: Felix Yan 
-# Contributor: Arch Haskell Team 
-
-_hkgname=sbv
-pkgname=haskell-sbv
-pkgver=7.7
-pkgrel=6
-pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT 
solving"
-url="http://leventerkok.github.com/sbv;
-license=("custom:BSD3")
-arch=('x86_64')
-depends=('ghc-libs' 'haskell-ghc' 'haskell-quickcheck' 'haskell-cracknum' 
'haskell-async'
- 'haskell-random' 'haskell-syb' 'haskell-data-binary-ieee754'
- '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=('96670f21896ae921759f09767d08dc6c4c7592461ca135c2b11678d1b2a2f7980a52aff555dfd3616b8cfd4a592f7407fd0ec493e0b5a099cc2b36f2ed337bcb')
-
-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
-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"
-}

Copied: haskell-sbv/repos/community-staging-x86_64/PKGBUILD (from rev 324609, 
haskell-sbv/trunk/PKGBUILD)
===
--- PKGBUILD(rev 0)
+++ PKGBUILD2018-05-19 14:13:33 UTC (rev 324610)
@@ -0,0 +1,47 @@
+# $Id$
+# Maintainer: Felix Yan 
+# Contributor: Arch Haskell Team 
+
+_hkgname=sbv
+pkgname=haskell-sbv
+pkgver=7.7
+pkgrel=7
+pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT 
solving"
+url="http://leventerkok.github.com/sbv;
+license=("custom:BSD3")
+arch=('x86_64')
+depends=('ghc-libs' 'haskell-ghc' 'haskell-quickcheck' 'haskell-cracknum' 
'haskell-async'
+ 'haskell-random' 'haskell-syb' 'haskell-data-binary-ieee754'
+ '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=('96670f21896ae921759f09767d08dc6c4c7592461ca135c2b11678d1b2a2f7980a52aff555dfd3616b8cfd4a592f7407fd0ec493e0b5a099cc2b36f2ed337bcb')
+
+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
+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-sbv/repos/community-staging-x86_64 (2 files)

[arch-commits] Commit in haskell-sbv/repos/community-staging-x86_64 (2 files)

[arch-commits] Commit in haskell-sbv/repos/community-staging-x86_64 (2 files)

[arch-commits] Commit in haskell-sbv/repos/community-staging-x86_64 (2 files)

[arch-commits] Commit in haskell-sbv/repos/community-staging-x86_64 (2 files)

[arch-commits] Commit in haskell-sbv/repos/community-staging-x86_64 (2 files)

[arch-commits] Commit in haskell-sbv/repos/community-staging-x86_64 (2 files)

[arch-commits] Commit in haskell-sbv/repos/community-staging-x86_64 (2 files)

[arch-commits] Commit in haskell-sbv/repos/community-staging-x86_64 (2 files)

[arch-commits] Commit in haskell-sbv/repos/community-staging-x86_64 (2 files)

[arch-commits] Commit in haskell-sbv/repos/community-staging-x86_64 (2 files)

11 matches

Site Navigation

Mail list logo

Footer information