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

2022-01-10 Thread Felix Yan via arch-commits 
Date: Monday, January 10, 2022 @ 17:36:16
  Author: felixonmars
Revision: 1099587

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 1099586, haskell-simple-smt/trunk/PKGBUILD)

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

Copied: haskell-simple-smt/repos/community-staging-x86_64/PKGBUILD (from rev 
1099586, haskell-simple-smt/trunk/PKGBUILD)
===
--- community-staging-x86_64/PKGBUILD   (rev 0)
+++ community-staging-x86_64/PKGBUILD   2022-01-10 17:36:16 UTC (rev 1099587)
@@ -0,0 +1,38 @@
+# Maintainer: Felix Yan 
+# Contributor: Arch Haskell Team 
+
+_hkgname=simple-smt
+pkgname=haskell-simple-smt
+pkgver=0.9.7
+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=('21ecc28e94428b369b307f0354a12f555d64f8ade491a1bd4082762a7448baa12134a6c5d8577395446bb512e54959bbc2120050afdc55376aecaff47a203988')
+
+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 
--ghc-option=-fllvm
+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)

2021-06-16 Thread Felix Yan via arch-commits 
Date: Thursday, June 17, 2021 @ 01:04:06
  Author: felixonmars
Revision: 964559

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 964558, haskell-simple-smt/trunk/PKGBUILD)

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

Copied: haskell-simple-smt/repos/community-staging-x86_64/PKGBUILD (from rev 
964558, haskell-simple-smt/trunk/PKGBUILD)
===
--- community-staging-x86_64/PKGBUILD   (rev 0)
+++ community-staging-x86_64/PKGBUILD   2021-06-17 01:04:06 UTC (rev 964559)
@@ -0,0 +1,38 @@
+# Maintainer: Felix Yan 
+# Contributor: Arch Haskell Team 
+
+_hkgname=simple-smt
+pkgname=haskell-simple-smt
+pkgver=0.9.6
+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=('3bcd4ff00843284579cbf3d72244e80489a61123a6f888491e465a6b4a347e6a9093272eded1547679090c65e1d77bf5ca2403ef47d92df227793feada1e49f5')
+
+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)

2021-06-06 Thread Felix Yan via arch-commits 
Date: Sunday, June 6, 2021 @ 23:41:02
  Author: felixonmars
Revision: 956653

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 956652, haskell-simple-smt/trunk/PKGBUILD)

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

Copied: haskell-simple-smt/repos/community-staging-x86_64/PKGBUILD (from rev 
956652, haskell-simple-smt/trunk/PKGBUILD)
===
--- community-staging-x86_64/PKGBUILD   (rev 0)
+++ community-staging-x86_64/PKGBUILD   2021-06-06 23:41:02 UTC (rev 956653)
@@ -0,0 +1,38 @@
+# Maintainer: Felix Yan 
+# Contributor: Arch Haskell Team 
+
+_hkgname=simple-smt
+pkgname=haskell-simple-smt
+pkgver=0.9.6
+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=('3bcd4ff00843284579cbf3d72244e80489a61123a6f888491e465a6b4a347e6a9093272eded1547679090c65e1d77bf5ca2403ef47d92df227793feada1e49f5')
+
+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)

2021-03-23 Thread Felix Yan via arch-commits 
Date: Tuesday, March 23, 2021 @ 21:02:32
  Author: felixonmars
Revision: 901348

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 901347, haskell-simple-smt/trunk/PKGBUILD)

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

Copied: haskell-simple-smt/repos/community-staging-x86_64/PKGBUILD (from rev 
901347, haskell-simple-smt/trunk/PKGBUILD)
===
--- community-staging-x86_64/PKGBUILD   (rev 0)
+++ community-staging-x86_64/PKGBUILD   2021-03-23 21:02:32 UTC (rev 901348)
@@ -0,0 +1,38 @@
+# Maintainer: Felix Yan 
+# Contributor: Arch Haskell Team 
+
+_hkgname=simple-smt
+pkgname=haskell-simple-smt
+pkgver=0.9.6
+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=('3bcd4ff00843284579cbf3d72244e80489a61123a6f888491e465a6b4a347e6a9093272eded1547679090c65e1d77bf5ca2403ef47d92df227793feada1e49f5')
+
+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)

2021-02-08 Thread Felix Yan via arch-commits 
Date: Monday, February 8, 2021 @ 23:04:46
  Author: felixonmars
Revision: 850431

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 850430, haskell-simple-smt/trunk/PKGBUILD)

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

Copied: haskell-simple-smt/repos/community-staging-x86_64/PKGBUILD (from rev 
850430, haskell-simple-smt/trunk/PKGBUILD)
===
--- community-staging-x86_64/PKGBUILD   (rev 0)
+++ community-staging-x86_64/PKGBUILD   2021-02-08 23:04:46 UTC (rev 850431)
@@ -0,0 +1,38 @@
+# Maintainer: Felix Yan 
+# Contributor: Arch Haskell Team 
+
+_hkgname=simple-smt
+pkgname=haskell-simple-smt
+pkgver=0.9.5
+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=('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
+}