[arch-commits] Commit in haskell-simple-smt/repos (2 files)

2020-12-23 Thread Felix Yan via arch-commits 
Date: Wednesday, December 23, 2020 @ 23:11:52
  Author: felixonmars
Revision: 785678

archrelease: copy trunk to community-staging-x86_64

Added:
  haskell-simple-smt/repos/community-staging-x86_64/
  haskell-simple-smt/repos/community-staging-x86_64/PKGBUILD
(from rev 785677, haskell-simple-smt/trunk/PKGBUILD)

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

Copied: haskell-simple-smt/repos/community-staging-x86_64/PKGBUILD (from rev 
785677, haskell-simple-smt/trunk/PKGBUILD)
===
--- community-staging-x86_64/PKGBUILD   (rev 0)
+++ community-staging-x86_64/PKGBUILD   2020-12-23 23:11:52 UTC (rev 785678)
@@ -0,0 +1,38 @@
+# Maintainer: Felix Yan 
+# Contributor: Arch Haskell Team 
+
+_hkgname=simple-smt
+pkgname=haskell-simple-smt
+pkgver=0.9.5
+pkgrel=4
+pkgdesc="A simple way to interact with an SMT solver process"
+url="https://github.com/yav/simple-smt";
+license=("BSD")
+arch=('x86_64')
+depends=('ghc-libs')
+makedepends=('ghc')
+source=("https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz";)
+sha512sums=('d96e2e7b9aa650ee38c9f6d630db79b290e582e8fccfc4ffa3b85a5012b1f2377be2170c859c77ee78d4899280949010828c5e90ef00ed18725eaaaf0474203e')
+
+build() {
+cd $_hkgname-$pkgver
+
+runhaskell Setup configure -O --enable-shared --enable-executable-dynamic 
--disable-library-vanilla \
+--prefix=/usr --docdir=/usr/share/doc/$pkgname \
+--dynlibdir=/usr/lib --libsubdir=\$compiler/site-local/\$pkgid
+runhaskell Setup build $MAKEFLAGS
+runhaskell Setup register --gen-script
+runhaskell Setup unregister --gen-script
+sed -i -r -e "s|ghc-pkg.*update[^ ]* |&'--force' |" register.sh
+sed -i -r -e "s|ghc-pkg.*unregister[^ ]* |&'--force' |" unregister.sh
+}
+
+package() {
+cd $_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-simple-smt/repos (2 files)

2020-08-30 Thread Felix Yan via arch-commits 
Date: Sunday, August 30, 2020 @ 19:36:40
  Author: felixonmars
Revision: 693007

archrelease: copy trunk to community-staging-x86_64

Added:
  haskell-simple-smt/repos/community-staging-x86_64/
  haskell-simple-smt/repos/community-staging-x86_64/PKGBUILD
(from rev 693006, haskell-simple-smt/trunk/PKGBUILD)

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

Copied: haskell-simple-smt/repos/community-staging-x86_64/PKGBUILD (from rev 
693006, haskell-simple-smt/trunk/PKGBUILD)
===
--- community-staging-x86_64/PKGBUILD   (rev 0)
+++ community-staging-x86_64/PKGBUILD   2020-08-30 19:36:40 UTC (rev 693007)
@@ -0,0 +1,38 @@
+# Maintainer: Felix Yan 
+# Contributor: Arch Haskell Team 
+
+_hkgname=simple-smt
+pkgname=haskell-simple-smt
+pkgver=0.9.5
+pkgrel=3
+pkgdesc="A simple way to interact with an SMT solver process"
+url="https://github.com/yav/simple-smt";
+license=("BSD")
+arch=('x86_64')
+depends=('ghc-libs')
+makedepends=('ghc')
+source=("https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz";)
+sha512sums=('d96e2e7b9aa650ee38c9f6d630db79b290e582e8fccfc4ffa3b85a5012b1f2377be2170c859c77ee78d4899280949010828c5e90ef00ed18725eaaaf0474203e')
+
+build() {
+cd $_hkgname-$pkgver
+
+runhaskell Setup configure -O --enable-shared --enable-executable-dynamic 
--disable-library-vanilla \
+--prefix=/usr --docdir=/usr/share/doc/$pkgname \
+--dynlibdir=/usr/lib --libsubdir=\$compiler/site-local/\$pkgid
+runhaskell Setup build $MAKEFLAGS
+runhaskell Setup register --gen-script
+runhaskell Setup unregister --gen-script
+sed -i -r -e "s|ghc-pkg.*update[^ ]* |&'--force' |" register.sh
+sed -i -r -e "s|ghc-pkg.*unregister[^ ]* |&'--force' |" unregister.sh
+}
+
+package() {
+cd $_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-simple-smt/repos (2 files)

2020-08-17 Thread Felix Yan via arch-commits 
Date: Monday, August 17, 2020 @ 07:50:50
  Author: felixonmars
Revision: 682474

archrelease: copy trunk to community-staging-x86_64

Added:
  haskell-simple-smt/repos/community-staging-x86_64/
  haskell-simple-smt/repos/community-staging-x86_64/PKGBUILD
(from rev 682473, haskell-simple-smt/trunk/PKGBUILD)

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

Copied: haskell-simple-smt/repos/community-staging-x86_64/PKGBUILD (from rev 
682473, haskell-simple-smt/trunk/PKGBUILD)
===
--- community-staging-x86_64/PKGBUILD   (rev 0)
+++ community-staging-x86_64/PKGBUILD   2020-08-17 07:50:50 UTC (rev 682474)
@@ -0,0 +1,38 @@
+# Maintainer: Felix Yan 
+# Contributor: Arch Haskell Team 
+
+_hkgname=simple-smt
+pkgname=haskell-simple-smt
+pkgver=0.9.5
+pkgrel=2
+pkgdesc="A simple way to interact with an SMT solver process"
+url="https://github.com/yav/simple-smt";
+license=("BSD")
+arch=('x86_64')
+depends=('ghc-libs')
+makedepends=('ghc')
+source=("https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz";)
+sha512sums=('d96e2e7b9aa650ee38c9f6d630db79b290e582e8fccfc4ffa3b85a5012b1f2377be2170c859c77ee78d4899280949010828c5e90ef00ed18725eaaaf0474203e')
+
+build() {
+cd $_hkgname-$pkgver
+
+runhaskell Setup configure -O --enable-shared --enable-executable-dynamic 
--disable-library-vanilla \
+--prefix=/usr --docdir=/usr/share/doc/$pkgname \
+--dynlibdir=/usr/lib --libsubdir=\$compiler/site-local/\$pkgid
+runhaskell Setup build $MAKEFLAGS
+runhaskell Setup register --gen-script
+runhaskell Setup unregister --gen-script
+sed -i -r -e "s|ghc-pkg.*update[^ ]* |&'--force' |" register.sh
+sed -i -r -e "s|ghc-pkg.*unregister[^ ]* |&'--force' |" unregister.sh
+}
+
+package() {
+cd $_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-simple-smt/repos (2 files)

2020-07-15 Thread Felix Yan via arch-commits 
Date: Wednesday, July 15, 2020 @ 08:29:16
  Author: felixonmars
Revision: 663840

archrelease: copy trunk to community-staging-x86_64

Added:
  haskell-simple-smt/repos/community-staging-x86_64/
  haskell-simple-smt/repos/community-staging-x86_64/PKGBUILD
(from rev 663839, haskell-simple-smt/trunk/PKGBUILD)

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

Copied: haskell-simple-smt/repos/community-staging-x86_64/PKGBUILD (from rev 
663839, haskell-simple-smt/trunk/PKGBUILD)
===
--- community-staging-x86_64/PKGBUILD   (rev 0)
+++ community-staging-x86_64/PKGBUILD   2020-07-15 08:29:16 UTC (rev 663840)
@@ -0,0 +1,38 @@
+# Maintainer: Felix Yan 
+# Contributor: Arch Haskell Team 
+
+_hkgname=simple-smt
+pkgname=haskell-simple-smt
+pkgver=0.9.5
+pkgrel=1
+pkgdesc="A simple way to interact with an SMT solver process"
+url="https://github.com/yav/simple-smt";
+license=("BSD")
+arch=('x86_64')
+depends=('ghc-libs')
+makedepends=('ghc')
+source=("https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz";)
+sha512sums=('d96e2e7b9aa650ee38c9f6d630db79b290e582e8fccfc4ffa3b85a5012b1f2377be2170c859c77ee78d4899280949010828c5e90ef00ed18725eaaaf0474203e')
+
+build() {
+cd $_hkgname-$pkgver
+
+runhaskell Setup configure -O --enable-shared --enable-executable-dynamic 
--disable-library-vanilla \
+--prefix=/usr --docdir=/usr/share/doc/$pkgname \
+--dynlibdir=/usr/lib --libsubdir=\$compiler/site-local/\$pkgid
+runhaskell Setup build $MAKEFLAGS
+runhaskell Setup register --gen-script
+runhaskell Setup unregister --gen-script
+sed -i -r -e "s|ghc-pkg.*update[^ ]* |&'--force' |" register.sh
+sed -i -r -e "s|ghc-pkg.*unregister[^ ]* |&'--force' |" unregister.sh
+}
+
+package() {
+cd $_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-simple-smt/repos (2 files)

2020-04-23 Thread Felix Yan via arch-commits 
Date: Thursday, April 23, 2020 @ 15:16:55
  Author: felixonmars
Revision: 618257

archrelease: copy trunk to community-staging-x86_64

Added:
  haskell-simple-smt/repos/community-staging-x86_64/
  haskell-simple-smt/repos/community-staging-x86_64/PKGBUILD
(from rev 618256, haskell-simple-smt/trunk/PKGBUILD)

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

Copied: haskell-simple-smt/repos/community-staging-x86_64/PKGBUILD (from rev 
618256, haskell-simple-smt/trunk/PKGBUILD)
===
--- community-staging-x86_64/PKGBUILD   (rev 0)
+++ community-staging-x86_64/PKGBUILD   2020-04-23 15:16:55 UTC (rev 618257)
@@ -0,0 +1,38 @@
+# Maintainer: Felix Yan 
+# Contributor: Arch Haskell Team 
+
+_hkgname=simple-smt
+pkgname=haskell-simple-smt
+pkgver=0.9.4
+pkgrel=7
+pkgdesc="A simple way to interact with an SMT solver process"
+url="https://github.com/yav/simple-smt";
+license=("BSD")
+arch=('x86_64')
+depends=('ghc-libs')
+makedepends=('ghc')
+source=("https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz";)
+sha512sums=('30cc465af495f8b7550f607909330745c6272c58e8dbc157687b777eba541250f5bdce237e83a6c4971653791dabfcce11c3f9b0d1ce6354781c6c53cf93429c')
+
+build() {
+cd $_hkgname-$pkgver
+
+runhaskell Setup configure -O --enable-shared --enable-executable-dynamic 
--disable-library-vanilla \
+--prefix=/usr --docdir=/usr/share/doc/$pkgname \
+--dynlibdir=/usr/lib --libsubdir=\$compiler/site-local/\$pkgid
+runhaskell Setup build
+runhaskell Setup register --gen-script
+runhaskell Setup unregister --gen-script
+sed -i -r -e "s|ghc-pkg.*update[^ ]* |&'--force' |" register.sh
+sed -i -r -e "s|ghc-pkg.*unregister[^ ]* |&'--force' |" unregister.sh
+}
+
+package() {
+cd $_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-simple-smt/repos (2 files)

2020-02-26 Thread Felix Yan via arch-commits 
Date: Wednesday, February 26, 2020 @ 23:08:25
  Author: felixonmars
Revision: 583541

archrelease: copy trunk to community-staging-x86_64

Added:
  haskell-simple-smt/repos/community-staging-x86_64/
  haskell-simple-smt/repos/community-staging-x86_64/PKGBUILD
(from rev 583540, haskell-simple-smt/trunk/PKGBUILD)

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

Copied: haskell-simple-smt/repos/community-staging-x86_64/PKGBUILD (from rev 
583540, haskell-simple-smt/trunk/PKGBUILD)
===
--- community-staging-x86_64/PKGBUILD   (rev 0)
+++ community-staging-x86_64/PKGBUILD   2020-02-26 23:08:25 UTC (rev 583541)
@@ -0,0 +1,38 @@
+# Maintainer: Felix Yan 
+# Contributor: Arch Haskell Team 
+
+_hkgname=simple-smt
+pkgname=haskell-simple-smt
+pkgver=0.9.4
+pkgrel=6
+pkgdesc="A simple way to interact with an SMT solver process"
+url="https://github.com/yav/simple-smt";
+license=("BSD")
+arch=('x86_64')
+depends=('ghc-libs')
+makedepends=('ghc')
+source=("https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz";)
+sha512sums=('30cc465af495f8b7550f607909330745c6272c58e8dbc157687b777eba541250f5bdce237e83a6c4971653791dabfcce11c3f9b0d1ce6354781c6c53cf93429c')
+
+build() {
+cd $_hkgname-$pkgver
+
+runhaskell Setup configure -O --enable-shared --enable-executable-dynamic 
--disable-library-vanilla \
+--prefix=/usr --docdir=/usr/share/doc/$pkgname \
+--dynlibdir=/usr/lib --libsubdir=\$compiler/site-local/\$pkgid
+runhaskell Setup build
+runhaskell Setup register --gen-script
+runhaskell Setup unregister --gen-script
+sed -i -r -e "s|ghc-pkg.*update[^ ]* |&'--force' |" register.sh
+sed -i -r -e "s|ghc-pkg.*unregister[^ ]* |&'--force' |" unregister.sh
+}
+
+package() {
+cd $_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-simple-smt/repos (2 files)

2020-02-15 Thread Felix Yan via arch-commits 
Date: Saturday, February 15, 2020 @ 15:56:33
  Author: felixonmars
Revision: 571652

archrelease: copy trunk to community-staging-x86_64

Added:
  haskell-simple-smt/repos/community-staging-x86_64/
  haskell-simple-smt/repos/community-staging-x86_64/PKGBUILD
(from rev 571651, haskell-simple-smt/trunk/PKGBUILD)

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

Copied: haskell-simple-smt/repos/community-staging-x86_64/PKGBUILD (from rev 
571651, haskell-simple-smt/trunk/PKGBUILD)
===
--- community-staging-x86_64/PKGBUILD   (rev 0)
+++ community-staging-x86_64/PKGBUILD   2020-02-15 15:56:33 UTC (rev 571652)
@@ -0,0 +1,38 @@
+# Maintainer: Felix Yan 
+# Contributor: Arch Haskell Team 
+
+_hkgname=simple-smt
+pkgname=haskell-simple-smt
+pkgver=0.9.4
+pkgrel=5
+pkgdesc="A simple way to interact with an SMT solver process"
+url="https://github.com/yav/simple-smt";
+license=("BSD")
+arch=('x86_64')
+depends=('ghc-libs')
+makedepends=('ghc')
+source=("https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz";)
+sha512sums=('30cc465af495f8b7550f607909330745c6272c58e8dbc157687b777eba541250f5bdce237e83a6c4971653791dabfcce11c3f9b0d1ce6354781c6c53cf93429c')
+
+build() {
+cd $_hkgname-$pkgver
+
+runhaskell Setup configure -O --enable-shared --enable-executable-dynamic 
--disable-library-vanilla \
+--prefix=/usr --docdir=/usr/share/doc/$pkgname \
+--dynlibdir=/usr/lib --libsubdir=\$compiler/site-local/\$pkgid
+runhaskell Setup build
+runhaskell Setup register --gen-script
+runhaskell Setup unregister --gen-script
+sed -i -r -e "s|ghc-pkg.*update[^ ]* |&'--force' |" register.sh
+sed -i -r -e "s|ghc-pkg.*unregister[^ ]* |&'--force' |" unregister.sh
+}
+
+package() {
+cd $_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-simple-smt/repos (2 files)

2020-01-08 Thread Felix Yan via arch-commits 
Date: Wednesday, January 8, 2020 @ 22:15:45
  Author: felixonmars
Revision: 550724

archrelease: copy trunk to community-staging-x86_64

Added:
  haskell-simple-smt/repos/community-staging-x86_64/
  haskell-simple-smt/repos/community-staging-x86_64/PKGBUILD
(from rev 550723, haskell-simple-smt/trunk/PKGBUILD)

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

Copied: haskell-simple-smt/repos/community-staging-x86_64/PKGBUILD (from rev 
550723, haskell-simple-smt/trunk/PKGBUILD)
===
--- community-staging-x86_64/PKGBUILD   (rev 0)
+++ community-staging-x86_64/PKGBUILD   2020-01-08 22:15:45 UTC (rev 550724)
@@ -0,0 +1,38 @@
+# Maintainer: Felix Yan 
+# Contributor: Arch Haskell Team 
+
+_hkgname=simple-smt
+pkgname=haskell-simple-smt
+pkgver=0.9.4
+pkgrel=4
+pkgdesc="A simple way to interact with an SMT solver process"
+url="https://github.com/yav/simple-smt";
+license=("BSD")
+arch=('x86_64')
+depends=('ghc-libs')
+makedepends=('ghc')
+source=("https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz";)
+sha512sums=('30cc465af495f8b7550f607909330745c6272c58e8dbc157687b777eba541250f5bdce237e83a6c4971653791dabfcce11c3f9b0d1ce6354781c6c53cf93429c')
+
+build() {
+cd $_hkgname-$pkgver
+
+runhaskell Setup configure -O --enable-shared --enable-executable-dynamic 
--disable-library-vanilla \
+--prefix=/usr --docdir=/usr/share/doc/$pkgname \
+--dynlibdir=/usr/lib --libsubdir=\$compiler/site-local/\$pkgid
+runhaskell Setup build
+runhaskell Setup register --gen-script
+runhaskell Setup unregister --gen-script
+sed -i -r -e "s|ghc-pkg.*update[^ ]* |&'--force' |" register.sh
+sed -i -r -e "s|ghc-pkg.*unregister[^ ]* |&'--force' |" unregister.sh
+}
+
+package() {
+cd $_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-simple-smt/repos (2 files)

2019-04-25 Thread Felix Yan via arch-commits 
Date: Thursday, April 25, 2019 @ 15:07:42
  Author: felixonmars
Revision: 453900

archrelease: copy trunk to community-staging-x86_64

Added:
  haskell-simple-smt/repos/community-staging-x86_64/
  haskell-simple-smt/repos/community-staging-x86_64/PKGBUILD
(from rev 453899, haskell-simple-smt/trunk/PKGBUILD)

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

Copied: haskell-simple-smt/repos/community-staging-x86_64/PKGBUILD (from rev 
453899, haskell-simple-smt/trunk/PKGBUILD)
===
--- community-staging-x86_64/PKGBUILD   (rev 0)
+++ community-staging-x86_64/PKGBUILD   2019-04-25 15:07:42 UTC (rev 453900)
@@ -0,0 +1,38 @@
+# Maintainer: Felix Yan 
+# Contributor: Arch Haskell Team 
+
+_hkgname=simple-smt
+pkgname=haskell-simple-smt
+pkgver=0.9.4
+pkgrel=3
+pkgdesc="A simple way to interact with an SMT solver process"
+url="https://github.com/yav/simple-smt";
+license=("BSD")
+arch=('x86_64')
+depends=('ghc-libs')
+makedepends=('ghc')
+source=("https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz";)
+sha512sums=('30cc465af495f8b7550f607909330745c6272c58e8dbc157687b777eba541250f5bdce237e83a6c4971653791dabfcce11c3f9b0d1ce6354781c6c53cf93429c')
+
+build() {
+cd $_hkgname-$pkgver
+
+runhaskell Setup configure -O --enable-shared --enable-executable-dynamic 
--disable-library-vanilla \
+--prefix=/usr --docdir=/usr/share/doc/$pkgname \
+--dynlibdir=/usr/lib --libsubdir=\$compiler/site-local/\$pkgid
+runhaskell Setup build
+runhaskell Setup register --gen-script
+runhaskell Setup unregister --gen-script
+sed -i -r -e "s|ghc-pkg.*update[^ ]* |&'--force' |" register.sh
+sed -i -r -e "s|ghc-pkg.*unregister[^ ]* |&'--force' |" unregister.sh
+}
+
+package() {
+cd $_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-simple-smt/repos (2 files)

2019-03-09 Thread Felix Yan via arch-commits 
Date: Saturday, March 9, 2019 @ 22:59:53
  Author: felixonmars
Revision: 438675

archrelease: copy trunk to community-staging-x86_64

Added:
  haskell-simple-smt/repos/community-staging-x86_64/
  haskell-simple-smt/repos/community-staging-x86_64/PKGBUILD
(from rev 438674, haskell-simple-smt/trunk/PKGBUILD)

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

Copied: haskell-simple-smt/repos/community-staging-x86_64/PKGBUILD (from rev 
438674, haskell-simple-smt/trunk/PKGBUILD)
===
--- community-staging-x86_64/PKGBUILD   (rev 0)
+++ community-staging-x86_64/PKGBUILD   2019-03-09 22:59:53 UTC (rev 438675)
@@ -0,0 +1,38 @@
+# Maintainer: Felix Yan 
+# Contributor: Arch Haskell Team 
+
+_hkgname=simple-smt
+pkgname=haskell-simple-smt
+pkgver=0.9.4
+pkgrel=2
+pkgdesc="A simple way to interact with an SMT solver process"
+url="https://github.com/yav/simple-smt";
+license=("BSD")
+arch=('x86_64')
+depends=('ghc-libs')
+makedepends=('ghc')
+source=("https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz";)
+sha512sums=('30cc465af495f8b7550f607909330745c6272c58e8dbc157687b777eba541250f5bdce237e83a6c4971653791dabfcce11c3f9b0d1ce6354781c6c53cf93429c')
+
+build() {
+cd $_hkgname-$pkgver
+
+runhaskell Setup configure -O --enable-shared --enable-executable-dynamic 
--disable-library-vanilla \
+--prefix=/usr --docdir=/usr/share/doc/$pkgname \
+--dynlibdir=/usr/lib --libsubdir=\$compiler/site-local/\$pkgid
+runhaskell Setup build
+runhaskell Setup register --gen-script
+runhaskell Setup unregister --gen-script
+sed -i -r -e "s|ghc-pkg.*update[^ ]* |&'--force' |" register.sh
+sed -i -r -e "s|ghc-pkg.*unregister[^ ]* |&'--force' |" unregister.sh
+}
+
+package() {
+cd $_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-simple-smt/repos (2 files)

2019-02-16 Thread Felix Yan via arch-commits 
Date: Saturday, February 16, 2019 @ 15:27:32
  Author: felixonmars
Revision: 433493

archrelease: copy trunk to community-staging-x86_64

Added:
  haskell-simple-smt/repos/community-staging-x86_64/
  haskell-simple-smt/repos/community-staging-x86_64/PKGBUILD
(from rev 433492, haskell-simple-smt/trunk/PKGBUILD)

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

Copied: haskell-simple-smt/repos/community-staging-x86_64/PKGBUILD (from rev 
433492, haskell-simple-smt/trunk/PKGBUILD)
===
--- community-staging-x86_64/PKGBUILD   (rev 0)
+++ community-staging-x86_64/PKGBUILD   2019-02-16 15:27:32 UTC (rev 433493)
@@ -0,0 +1,38 @@
+# Maintainer: Felix Yan 
+# Contributor: Arch Haskell Team 
+
+_hkgname=simple-smt
+pkgname=haskell-simple-smt
+pkgver=0.9.4
+pkgrel=1
+pkgdesc="A simple way to interact with an SMT solver process"
+url="https://github.com/yav/simple-smt";
+license=("BSD")
+arch=('x86_64')
+depends=('ghc-libs')
+makedepends=('ghc')
+source=("https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz";)
+sha512sums=('30cc465af495f8b7550f607909330745c6272c58e8dbc157687b777eba541250f5bdce237e83a6c4971653791dabfcce11c3f9b0d1ce6354781c6c53cf93429c')
+
+build() {
+cd $_hkgname-$pkgver
+
+runhaskell Setup configure -O --enable-shared --enable-executable-dynamic 
--disable-library-vanilla \
+--prefix=/usr --docdir=/usr/share/doc/$pkgname \
+--dynlibdir=/usr/lib --libsubdir=\$compiler/site-local/\$pkgid
+runhaskell Setup build
+runhaskell Setup register --gen-script
+runhaskell Setup unregister --gen-script
+sed -i -r -e "s|ghc-pkg.*update[^ ]* |&'--force' |" register.sh
+sed -i -r -e "s|ghc-pkg.*unregister[^ ]* |&'--force' |" unregister.sh
+}
+
+package() {
+cd $_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-simple-smt/repos (2 files)

2018-12-09 Thread Felix Yan via arch-commits 
Date: Sunday, December 9, 2018 @ 22:57:28
  Author: felixonmars
Revision: 413425

archrelease: copy trunk to community-staging-x86_64

Added:
  haskell-simple-smt/repos/community-staging-x86_64/
  haskell-simple-smt/repos/community-staging-x86_64/PKGBUILD
(from rev 413424, haskell-simple-smt/trunk/PKGBUILD)

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

Copied: haskell-simple-smt/repos/community-staging-x86_64/PKGBUILD (from rev 
413424, haskell-simple-smt/trunk/PKGBUILD)
===
--- community-staging-x86_64/PKGBUILD   (rev 0)
+++ community-staging-x86_64/PKGBUILD   2018-12-09 22:57:28 UTC (rev 413425)
@@ -0,0 +1,38 @@
+# Maintainer: Felix Yan 
+# Contributor: Arch Haskell Team 
+
+_hkgname=simple-smt
+pkgname=haskell-simple-smt
+pkgver=0.9.3
+pkgrel=3
+pkgdesc="A simple way to interact with an SMT solver process"
+url="https://github.com/yav/simple-smt";
+license=("BSD")
+arch=('x86_64')
+depends=('ghc-libs')
+makedepends=('ghc')
+source=("https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz";)
+sha512sums=('9b9c2ea67efb49c40795796ae85211d4807936521f764c732a1368af4146f6dfda72e1dd706f007f904171a3ea75d86e6d5224b4bfd9d8280d452717fd046e5f')
+
+build() {
+cd $_hkgname-$pkgver
+
+runhaskell Setup configure -O --enable-shared --enable-executable-dynamic 
--disable-library-vanilla \
+--prefix=/usr --docdir=/usr/share/doc/$pkgname \
+--dynlibdir=/usr/lib --libsubdir=\$compiler/site-local/\$pkgid
+runhaskell Setup build
+runhaskell Setup register --gen-script
+runhaskell Setup unregister --gen-script
+sed -i -r -e "s|ghc-pkg.*update[^ ]* |&'--force' |" register.sh
+sed -i -r -e "s|ghc-pkg.*unregister[^ ]* |&'--force' |" unregister.sh
+}
+
+package() {
+cd $_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-simple-smt/repos (2 files)

2018-11-06 Thread Felix Yan via arch-commits 
Date: Tuesday, November 6, 2018 @ 20:32:15
  Author: felixonmars
Revision: 402118

archrelease: copy trunk to community-staging-x86_64

Added:
  haskell-simple-smt/repos/community-staging-x86_64/
  haskell-simple-smt/repos/community-staging-x86_64/PKGBUILD
(from rev 402117, haskell-simple-smt/trunk/PKGBUILD)

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

Copied: haskell-simple-smt/repos/community-staging-x86_64/PKGBUILD (from rev 
402117, haskell-simple-smt/trunk/PKGBUILD)
===
--- community-staging-x86_64/PKGBUILD   (rev 0)
+++ community-staging-x86_64/PKGBUILD   2018-11-06 20:32:15 UTC (rev 402118)
@@ -0,0 +1,38 @@
+# Maintainer: Felix Yan 
+# Contributor: Arch Haskell Team 
+
+_hkgname=simple-smt
+pkgname=haskell-simple-smt
+pkgver=0.9.3
+pkgrel=2
+pkgdesc="A simple way to interact with an SMT solver process"
+url="https://github.com/yav/simple-smt";
+license=("custom:BSD3")
+arch=('x86_64')
+depends=('ghc-libs')
+makedepends=('ghc')
+source=("https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz";)
+sha512sums=('9b9c2ea67efb49c40795796ae85211d4807936521f764c732a1368af4146f6dfda72e1dd706f007f904171a3ea75d86e6d5224b4bfd9d8280d452717fd046e5f')
+
+build() {
+cd $_hkgname-$pkgver
+
+runhaskell Setup configure -O --enable-shared --enable-executable-dynamic 
--disable-library-vanilla \
+--prefix=/usr --docdir=/usr/share/doc/$pkgname \
+--dynlibdir=/usr/lib --libsubdir=\$compiler/site-local/\$pkgid
+runhaskell Setup build
+runhaskell Setup register --gen-script
+runhaskell Setup unregister --gen-script
+sed -i -r -e "s|ghc-pkg.*update[^ ]* |&'--force' |" register.sh
+sed -i -r -e "s|ghc-pkg.*unregister[^ ]* |&'--force' |" unregister.sh
+}
+
+package() {
+cd $_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-simple-smt/repos (2 files)

2018-10-31 Thread Felix Yan via arch-commits 
Date: Wednesday, October 31, 2018 @ 22:33:45
  Author: felixonmars
Revision: 400877

archrelease: copy trunk to community-staging-x86_64

Added:
  haskell-simple-smt/repos/community-staging-x86_64/
  haskell-simple-smt/repos/community-staging-x86_64/PKGBUILD
(from rev 400876, haskell-simple-smt/trunk/PKGBUILD)

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

Copied: haskell-simple-smt/repos/community-staging-x86_64/PKGBUILD (from rev 
400876, haskell-simple-smt/trunk/PKGBUILD)
===
--- community-staging-x86_64/PKGBUILD   (rev 0)
+++ community-staging-x86_64/PKGBUILD   2018-10-31 22:33:45 UTC (rev 400877)
@@ -0,0 +1,38 @@
+# Maintainer: Felix Yan 
+# Contributor: Arch Haskell Team 
+
+_hkgname=simple-smt
+pkgname=haskell-simple-smt
+pkgver=0.9.3
+pkgrel=1
+pkgdesc="A simple way to interact with an SMT solver process"
+url="https://github.com/yav/simple-smt";
+license=("custom:BSD3")
+arch=('x86_64')
+depends=('ghc-libs')
+makedepends=('ghc')
+source=("https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz";)
+sha512sums=('9b9c2ea67efb49c40795796ae85211d4807936521f764c732a1368af4146f6dfda72e1dd706f007f904171a3ea75d86e6d5224b4bfd9d8280d452717fd046e5f')
+
+build() {
+cd "${srcdir}/${_hkgname}-${pkgver}"
+
+runhaskell Setup configure -O --enable-shared --enable-executable-dynamic 
--disable-library-vanilla \
+--prefix=/usr --docdir="/usr/share/doc/${pkgname}" \
+--dynlibdir=/usr/lib --libsubdir=\$compiler/site-local/\$pkgid
+runhaskell Setup build
+runhaskell Setup register --gen-script
+runhaskell Setup unregister --gen-script
+sed -i -r -e "s|ghc-pkg.*update[^ ]* |&'--force' |" register.sh
+sed -i -r -e "s|ghc-pkg.*unregister[^ ]* |&'--force' |" unregister.sh
+}
+
+package() {
+cd "${srcdir}/${_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-simple-smt/repos (2 files)

2018-10-14 Thread Felix Yan via arch-commits 
Date: Sunday, October 14, 2018 @ 21:11:05
  Author: felixonmars
Revision: 393855

archrelease: copy trunk to community-staging-x86_64

Added:
  haskell-simple-smt/repos/community-staging-x86_64/
  haskell-simple-smt/repos/community-staging-x86_64/PKGBUILD
(from rev 393854, haskell-simple-smt/trunk/PKGBUILD)

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

Copied: haskell-simple-smt/repos/community-staging-x86_64/PKGBUILD (from rev 
393854, haskell-simple-smt/trunk/PKGBUILD)
===
--- community-staging-x86_64/PKGBUILD   (rev 0)
+++ community-staging-x86_64/PKGBUILD   2018-10-14 21:11:05 UTC (rev 393855)
@@ -0,0 +1,38 @@
+# Maintainer: Felix Yan 
+# Contributor: Arch Haskell Team 
+
+_hkgname=simple-smt
+pkgname=haskell-simple-smt
+pkgver=0.9.1
+pkgrel=2
+pkgdesc="A simple way to interact with an SMT solver process"
+url="https://github.com/yav/simple-smt";
+license=("custom:BSD3")
+arch=('x86_64')
+depends=('ghc-libs')
+makedepends=('ghc')
+source=("https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz";)
+sha512sums=('b1a5b9fe040b0fcf10c07407abd6e3d0f417add414a53de4872fe52ce8111cb476d3a184c103b7e95a1990ca2f24797df2e355ef2764401fc4f1ff22a1f6')
+
+build() {
+cd "${srcdir}/${_hkgname}-${pkgver}"
+
+runhaskell Setup configure -O --enable-shared --enable-executable-dynamic 
--disable-library-vanilla \
+--prefix=/usr --docdir="/usr/share/doc/${pkgname}" \
+--dynlibdir=/usr/lib --libsubdir=\$compiler/site-local/\$pkgid
+runhaskell Setup build
+runhaskell Setup register --gen-script
+runhaskell Setup unregister --gen-script
+sed -i -r -e "s|ghc-pkg.*update[^ ]* |&'--force' |" register.sh
+sed -i -r -e "s|ghc-pkg.*unregister[^ ]* |&'--force' |" unregister.sh
+}
+
+package() {
+cd "${srcdir}/${_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-simple-smt/repos (2 files)

2018-07-14 Thread Felix Yan via arch-commits 
Date: Saturday, July 14, 2018 @ 21:50:55
  Author: felixonmars
Revision: 359480

archrelease: copy trunk to community-staging-x86_64

Added:
  haskell-simple-smt/repos/community-staging-x86_64/
  haskell-simple-smt/repos/community-staging-x86_64/PKGBUILD
(from rev 359479, haskell-simple-smt/trunk/PKGBUILD)

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

Copied: haskell-simple-smt/repos/community-staging-x86_64/PKGBUILD (from rev 
359479, haskell-simple-smt/trunk/PKGBUILD)
===
--- community-staging-x86_64/PKGBUILD   (rev 0)
+++ community-staging-x86_64/PKGBUILD   2018-07-14 21:50:55 UTC (rev 359480)
@@ -0,0 +1,39 @@
+# $Id$
+# Maintainer: Felix Yan 
+# Contributor: Arch Haskell Team 
+
+_hkgname=simple-smt
+pkgname=haskell-simple-smt
+pkgver=0.9.1
+pkgrel=1
+pkgdesc="A simple way to interact with an SMT solver process"
+url="https://github.com/yav/simple-smt";
+license=("custom:BSD3")
+arch=('x86_64')
+depends=('ghc-libs')
+makedepends=('ghc')
+source=("https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz";)
+sha512sums=('b1a5b9fe040b0fcf10c07407abd6e3d0f417add414a53de4872fe52ce8111cb476d3a184c103b7e95a1990ca2f24797df2e355ef2764401fc4f1ff22a1f6')
+
+build() {
+cd "${srcdir}/${_hkgname}-${pkgver}"
+
+runhaskell Setup configure -O --enable-shared --enable-executable-dynamic 
--disable-library-vanilla \
+--prefix=/usr --docdir="/usr/share/doc/${pkgname}" \
+--dynlibdir=/usr/lib --libsubdir=\$compiler/site-local/\$pkgid
+runhaskell Setup build
+runhaskell Setup register --gen-script
+runhaskell Setup unregister --gen-script
+sed -i -r -e "s|ghc-pkg.*update[^ ]* |&'--force' |" register.sh
+sed -i -r -e "s|ghc-pkg.*unregister[^ ]* |&'--force' |" unregister.sh
+}
+
+package() {
+cd "${srcdir}/${_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-simple-smt/repos (2 files)

2018-06-01 Thread Felix Yan via arch-commits 
Date: Friday, June 1, 2018 @ 11:29:59
  Author: felixonmars
Revision: 336010

archrelease: copy trunk to community-staging-x86_64

Added:
  haskell-simple-smt/repos/community-staging-x86_64/
  haskell-simple-smt/repos/community-staging-x86_64/PKGBUILD
(from rev 336009, haskell-simple-smt/trunk/PKGBUILD)

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

Copied: haskell-simple-smt/repos/community-staging-x86_64/PKGBUILD (from rev 
336009, haskell-simple-smt/trunk/PKGBUILD)
===
--- community-staging-x86_64/PKGBUILD   (rev 0)
+++ community-staging-x86_64/PKGBUILD   2018-06-01 11:29:59 UTC (rev 336010)
@@ -0,0 +1,39 @@
+# $Id$
+# Maintainer: Felix Yan 
+# Contributor: Arch Haskell Team 
+
+_hkgname=simple-smt
+pkgname=haskell-simple-smt
+pkgver=0.8
+pkgrel=3
+pkgdesc="A simple way to interact with an SMT solver process"
+url="https://github.com/yav/simple-smt";
+license=("custom:BSD3")
+arch=('x86_64')
+depends=('ghc-libs')
+makedepends=('ghc')
+source=("https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz";)
+sha512sums=('d3dcfbd5dca23fef9220e05b79502a624292cf96127c997730a1b878d77995d71494d2ddc88417026f29389639030c5f82b4ba18643effc93b577e19131e4bd8')
+
+build() {
+cd "${srcdir}/${_hkgname}-${pkgver}"
+
+runhaskell Setup configure -O --enable-shared --enable-executable-dynamic 
--disable-library-vanilla \
+--prefix=/usr --docdir="/usr/share/doc/${pkgname}" \
+--dynlibdir=/usr/lib --libsubdir=\$compiler/site-local/\$pkgid
+runhaskell Setup build
+runhaskell Setup register --gen-script
+runhaskell Setup unregister --gen-script
+sed -i -r -e "s|ghc-pkg.*update[^ ]* |&'--force' |" register.sh
+sed -i -r -e "s|ghc-pkg.*unregister[^ ]* |&'--force' |" unregister.sh
+}
+
+package() {
+cd "${srcdir}/${_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-simple-smt/repos (2 files)

2018-05-17 Thread Felix Yan via arch-commits 
Date: Thursday, May 17, 2018 @ 17:22:09
  Author: felixonmars
Revision: 323936

archrelease: copy trunk to community-staging-x86_64

Added:
  haskell-simple-smt/repos/community-staging-x86_64/
  haskell-simple-smt/repos/community-staging-x86_64/PKGBUILD
(from rev 323935, haskell-simple-smt/trunk/PKGBUILD)

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

Copied: haskell-simple-smt/repos/community-staging-x86_64/PKGBUILD (from rev 
323935, haskell-simple-smt/trunk/PKGBUILD)
===
--- community-staging-x86_64/PKGBUILD   (rev 0)
+++ community-staging-x86_64/PKGBUILD   2018-05-17 17:22:09 UTC (rev 323936)
@@ -0,0 +1,39 @@
+# $Id$
+# Maintainer: Felix Yan 
+# Contributor: Arch Haskell Team 
+
+_hkgname=simple-smt
+pkgname=haskell-simple-smt
+pkgver=0.8
+pkgrel=2
+pkgdesc="A simple way to interact with an SMT solver process"
+url="https://github.com/yav/simple-smt";
+license=("custom:BSD3")
+arch=('x86_64')
+depends=('ghc-libs')
+makedepends=('ghc')
+source=("https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz";)
+sha512sums=('d3dcfbd5dca23fef9220e05b79502a624292cf96127c997730a1b878d77995d71494d2ddc88417026f29389639030c5f82b4ba18643effc93b577e19131e4bd8')
+
+build() {
+cd "${srcdir}/${_hkgname}-${pkgver}"
+
+runhaskell Setup configure -O --enable-shared --enable-executable-dynamic 
--disable-library-vanilla \
+--prefix=/usr --docdir="/usr/share/doc/${pkgname}" \
+--dynlibdir=/usr/lib --libsubdir=\$compiler/site-local/\$pkgid
+runhaskell Setup build
+runhaskell Setup register --gen-script
+runhaskell Setup unregister --gen-script
+sed -i -r -e "s|ghc-pkg.*update[^ ]* |&'--force' |" register.sh
+sed -i -r -e "s|ghc-pkg.*unregister[^ ]* |&'--force' |" unregister.sh
+}
+
+package() {
+cd "${srcdir}/${_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-simple-smt/repos (2 files)

2018-05-12 Thread Felix Yan via arch-commits 
Date: Saturday, May 12, 2018 @ 16:07:44
  Author: felixonmars
Revision: 321095

archrelease: copy trunk to community-staging-x86_64

Added:
  haskell-simple-smt/repos/community-staging-x86_64/
  haskell-simple-smt/repos/community-staging-x86_64/PKGBUILD
(from rev 321094, haskell-simple-smt/trunk/PKGBUILD)

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

Copied: haskell-simple-smt/repos/community-staging-x86_64/PKGBUILD (from rev 
321094, haskell-simple-smt/trunk/PKGBUILD)
===
--- community-staging-x86_64/PKGBUILD   (rev 0)
+++ community-staging-x86_64/PKGBUILD   2018-05-12 16:07:44 UTC (rev 321095)
@@ -0,0 +1,39 @@
+# $Id$
+# Maintainer: Felix Yan 
+# Contributor: Arch Haskell Team 
+
+_hkgname=simple-smt
+pkgname=haskell-simple-smt
+pkgver=0.8
+pkgrel=1
+pkgdesc="A simple way to interact with an SMT solver process"
+url="https://github.com/yav/simple-smt";
+license=("custom:BSD3")
+arch=('x86_64')
+depends=('ghc-libs')
+makedepends=('ghc')
+source=("https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz";)
+sha512sums=('d3dcfbd5dca23fef9220e05b79502a624292cf96127c997730a1b878d77995d71494d2ddc88417026f29389639030c5f82b4ba18643effc93b577e19131e4bd8')
+
+build() {
+cd "${srcdir}/${_hkgname}-${pkgver}"
+
+runhaskell Setup configure -O --enable-shared --enable-executable-dynamic 
--disable-library-vanilla \
+--prefix=/usr --docdir="/usr/share/doc/${pkgname}" \
+--dynlibdir=/usr/lib --libsubdir=\$compiler/site-local/\$pkgid
+runhaskell Setup build
+runhaskell Setup register --gen-script
+runhaskell Setup unregister --gen-script
+sed -i -r -e "s|ghc-pkg.*update[^ ]* |&'--force' |" register.sh
+sed -i -r -e "s|ghc-pkg.*unregister[^ ]* |&'--force' |" unregister.sh
+}
+
+package() {
+cd "${srcdir}/${_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-simple-smt/repos (2 files)

2017-11-25 Thread Felix Yan via arch-commits 
Date: Sunday, November 26, 2017 @ 07:57:30
  Author: felixonmars
Revision: 268822

archrelease: copy trunk to community-staging-x86_64

Added:
  haskell-simple-smt/repos/community-staging-x86_64/
  haskell-simple-smt/repos/community-staging-x86_64/PKGBUILD
(from rev 268821, haskell-simple-smt/trunk/PKGBUILD)

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

Copied: haskell-simple-smt/repos/community-staging-x86_64/PKGBUILD (from rev 
268821, haskell-simple-smt/trunk/PKGBUILD)
===
--- community-staging-x86_64/PKGBUILD   (rev 0)
+++ community-staging-x86_64/PKGBUILD   2017-11-26 07:57:30 UTC (rev 268822)
@@ -0,0 +1,39 @@
+# $Id$
+# Maintainer: Felix Yan 
+# Contributor: Arch Haskell Team 
+
+_hkgname=simple-smt
+pkgname=haskell-simple-smt
+pkgver=0.7.1
+pkgrel=2
+pkgdesc="A simple way to interact with an SMT solver process"
+url="https://github.com/yav/simple-smt";
+license=("custom:BSD3")
+arch=('x86_64')
+depends=('ghc-libs')
+makedepends=('ghc')
+source=("https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz";)
+sha512sums=('512d3f04187ce5f9600cd627e91cf1c362c88eb5a13528d4627b078324b9713affcf8c30ed6846cf7bc0f3462c5cc47fe86092f42f648fcfd3aa93137561dea8')
+
+build() {
+cd "${srcdir}/${_hkgname}-${pkgver}"
+
+runhaskell Setup configure -O --enable-shared --enable-executable-dynamic 
--disable-library-vanilla \
+--prefix=/usr --docdir="/usr/share/doc/${pkgname}" \
+--dynlibdir=/usr/lib --libsubdir=\$compiler/site-local/\$pkgid
+runhaskell Setup build
+runhaskell Setup register --gen-script
+runhaskell Setup unregister --gen-script
+sed -i -r -e "s|ghc-pkg.*update[^ ]* |&'--force' |" register.sh
+sed -i -r -e "s|ghc-pkg.*unregister[^ ]* |&'--force' |" unregister.sh
+}
+
+package() {
+cd "${srcdir}/${_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"
+}