subject:"\[arch\-commits\] Commit in cryptol\/repos \(4 files\)"

[arch-commits] Commit in cryptol/repos (4 files)

2017-10-06 Thread Felix Yan

Date: Friday, October 6, 2017 @ 17:24:04
  Author: felixonmars
Revision: 262000

archrelease: copy trunk to community-staging-i686, community-staging-x86_64

Added:
  cryptol/repos/community-staging-i686/
  cryptol/repos/community-staging-i686/PKGBUILD
(from rev 261999, cryptol/trunk/PKGBUILD)
  cryptol/repos/community-staging-x86_64/
  cryptol/repos/community-staging-x86_64/PKGBUILD
(from rev 261999, cryptol/trunk/PKGBUILD)

---+
 community-staging-i686/PKGBUILD   |   42 
 community-staging-x86_64/PKGBUILD |   42 
 2 files changed, 84 insertions(+)

Copied: cryptol/repos/community-staging-i686/PKGBUILD (from rev 261999, 
cryptol/trunk/PKGBUILD)
===
--- community-staging-i686/PKGBUILD (rev 0)
+++ community-staging-i686/PKGBUILD 2017-10-06 17:24:04 UTC (rev 262000)
@@ -0,0 +1,42 @@
+# $Id$
+# Maintainer: Felix Yan 
+
+pkgname=cryptol
+pkgver=2.5.0
+pkgrel=7
+pkgdesc="The Language of Cryptography"
+url="http://www.cryptol.net";
+license=("custom:BSD3")
+arch=('i686' 'x86_64')
+depends=('ghc-libs' 'z3' 'haskell-base-compat' 'haskell-async' 
'haskell-gitrev' 'haskell-graphscc'
+ 'haskell-heredoc' 'haskell-monad-control' 'haskell-monadlib' 
'haskell-old-time'
+ 'haskell-presburger' 'haskell-quickcheck' 'haskell-random' 
'haskell-sbv' 'haskell-smtlib'
+ 'haskell-simple-smt' 'haskell-syb' 'haskell-text' 'haskell-tf-random'
+ 'haskell-transformers-base' 'haskell-utf8-string' 'haskell-mtl' 
'haskell-ansi-terminal')
+makedepends=('ghc' 'alex' 'happy')
+source=("https://hackage.haskell.org/packages/archive/$pkgname/${pkgver}/$pkgname-${pkgver}.tar.gz";)
+sha512sums=('e528c2b75853f559a0e122286734fce373150a458a5af2a74020240629f9f550747f30f50c16d261326e94f4060497af43951f0253dc6885043cf21aab849265')
+
+build() {
+cd "${srcdir}/${pkgname}-${pkgver}"
+
+runhaskell Setup configure -O --enable-shared --enable-executable-dynamic 
--disable-library-vanilla \
+--prefix=/usr --docdir="/usr/share/doc/${pkgname}" 
--datasubdir="$pkgname" \
+--dynlibdir=/usr/lib --libsubdir=\$compiler/site-local/\$pkgid \
+-f-static -f-relocatable
+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}/${pkgname}-${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: cryptol/repos/community-staging-x86_64/PKGBUILD (from rev 261999, 
cryptol/trunk/PKGBUILD)
===
--- community-staging-x86_64/PKGBUILD   (rev 0)
+++ community-staging-x86_64/PKGBUILD   2017-10-06 17:24:04 UTC (rev 262000)
@@ -0,0 +1,42 @@
+# $Id$
+# Maintainer: Felix Yan 
+
+pkgname=cryptol
+pkgver=2.5.0
+pkgrel=7
+pkgdesc="The Language of Cryptography"
+url="http://www.cryptol.net";
+license=("custom:BSD3")
+arch=('i686' 'x86_64')
+depends=('ghc-libs' 'z3' 'haskell-base-compat' 'haskell-async' 
'haskell-gitrev' 'haskell-graphscc'
+ 'haskell-heredoc' 'haskell-monad-control' 'haskell-monadlib' 
'haskell-old-time'
+ 'haskell-presburger' 'haskell-quickcheck' 'haskell-random' 
'haskell-sbv' 'haskell-smtlib'
+ 'haskell-simple-smt' 'haskell-syb' 'haskell-text' 'haskell-tf-random'
+ 'haskell-transformers-base' 'haskell-utf8-string' 'haskell-mtl' 
'haskell-ansi-terminal')
+makedepends=('ghc' 'alex' 'happy')
+source=("https://hackage.haskell.org/packages/archive/$pkgname/${pkgver}/$pkgname-${pkgver}.tar.gz";)
+sha512sums=('e528c2b75853f559a0e122286734fce373150a458a5af2a74020240629f9f550747f30f50c16d261326e94f4060497af43951f0253dc6885043cf21aab849265')
+
+build() {
+cd "${srcdir}/${pkgname}-${pkgver}"
+
+runhaskell Setup configure -O --enable-shared --enable-executable-dynamic 
--disable-library-vanilla \
+--prefix=/usr --docdir="/usr/share/doc/${pkgname}" 
--datasubdir="$pkgname" \
+--dynlibdir=/usr/lib --libsubdir=\$compiler/site-local/\$pkgid \
+-f-static -f-relocatable
+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}/${pkgname}-${pkgver}"
+
+ins

[arch-commits] Commit in cryptol/repos (4 files)

2017-10-02 Thread Felix Yan

Date: Tuesday, October 3, 2017 @ 03:00:47
  Author: felixonmars
Revision: 261353

archrelease: copy trunk to community-staging-i686, community-staging-x86_64

Added:
  cryptol/repos/community-staging-i686/
  cryptol/repos/community-staging-i686/PKGBUILD
(from rev 261352, cryptol/trunk/PKGBUILD)
  cryptol/repos/community-staging-x86_64/
  cryptol/repos/community-staging-x86_64/PKGBUILD
(from rev 261352, cryptol/trunk/PKGBUILD)

---+
 community-staging-i686/PKGBUILD   |   42 
 community-staging-x86_64/PKGBUILD |   42 
 2 files changed, 84 insertions(+)

Copied: cryptol/repos/community-staging-i686/PKGBUILD (from rev 261352, 
cryptol/trunk/PKGBUILD)
===
--- community-staging-i686/PKGBUILD (rev 0)
+++ community-staging-i686/PKGBUILD 2017-10-03 03:00:47 UTC (rev 261353)
@@ -0,0 +1,42 @@
+# $Id$
+# Maintainer: Felix Yan 
+
+pkgname=cryptol
+pkgver=2.5.0
+pkgrel=6
+pkgdesc="The Language of Cryptography"
+url="http://www.cryptol.net";
+license=("custom:BSD3")
+arch=('i686' 'x86_64')
+depends=('ghc-libs' 'z3' 'haskell-base-compat' 'haskell-async' 
'haskell-gitrev' 'haskell-graphscc'
+ 'haskell-heredoc' 'haskell-monad-control' 'haskell-monadlib' 
'haskell-old-time'
+ 'haskell-presburger' 'haskell-quickcheck' 'haskell-random' 
'haskell-sbv' 'haskell-smtlib'
+ 'haskell-simple-smt' 'haskell-syb' 'haskell-text' 'haskell-tf-random'
+ 'haskell-transformers-base' 'haskell-utf8-string' 'haskell-mtl' 
'haskell-ansi-terminal')
+makedepends=('ghc' 'alex' 'happy')
+source=("https://hackage.haskell.org/packages/archive/$pkgname/${pkgver}/$pkgname-${pkgver}.tar.gz";)
+sha512sums=('e528c2b75853f559a0e122286734fce373150a458a5af2a74020240629f9f550747f30f50c16d261326e94f4060497af43951f0253dc6885043cf21aab849265')
+
+build() {
+cd "${srcdir}/${pkgname}-${pkgver}"
+
+runhaskell Setup configure -O --enable-shared --enable-executable-dynamic 
--disable-library-vanilla \
+--prefix=/usr --docdir="/usr/share/doc/${pkgname}" 
--datasubdir="$pkgname" \
+--dynlibdir=/usr/lib --libsubdir=\$compiler/site-local/\$pkgid \
+-f-static -f-relocatable
+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}/${pkgname}-${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: cryptol/repos/community-staging-x86_64/PKGBUILD (from rev 261352, 
cryptol/trunk/PKGBUILD)
===
--- community-staging-x86_64/PKGBUILD   (rev 0)
+++ community-staging-x86_64/PKGBUILD   2017-10-03 03:00:47 UTC (rev 261353)
@@ -0,0 +1,42 @@
+# $Id$
+# Maintainer: Felix Yan 
+
+pkgname=cryptol
+pkgver=2.5.0
+pkgrel=6
+pkgdesc="The Language of Cryptography"
+url="http://www.cryptol.net";
+license=("custom:BSD3")
+arch=('i686' 'x86_64')
+depends=('ghc-libs' 'z3' 'haskell-base-compat' 'haskell-async' 
'haskell-gitrev' 'haskell-graphscc'
+ 'haskell-heredoc' 'haskell-monad-control' 'haskell-monadlib' 
'haskell-old-time'
+ 'haskell-presburger' 'haskell-quickcheck' 'haskell-random' 
'haskell-sbv' 'haskell-smtlib'
+ 'haskell-simple-smt' 'haskell-syb' 'haskell-text' 'haskell-tf-random'
+ 'haskell-transformers-base' 'haskell-utf8-string' 'haskell-mtl' 
'haskell-ansi-terminal')
+makedepends=('ghc' 'alex' 'happy')
+source=("https://hackage.haskell.org/packages/archive/$pkgname/${pkgver}/$pkgname-${pkgver}.tar.gz";)
+sha512sums=('e528c2b75853f559a0e122286734fce373150a458a5af2a74020240629f9f550747f30f50c16d261326e94f4060497af43951f0253dc6885043cf21aab849265')
+
+build() {
+cd "${srcdir}/${pkgname}-${pkgver}"
+
+runhaskell Setup configure -O --enable-shared --enable-executable-dynamic 
--disable-library-vanilla \
+--prefix=/usr --docdir="/usr/share/doc/${pkgname}" 
--datasubdir="$pkgname" \
+--dynlibdir=/usr/lib --libsubdir=\$compiler/site-local/\$pkgid \
+-f-static -f-relocatable
+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}/${pkgname}-${pkgver}"
+
+in

[arch-commits] Commit in cryptol/repos (4 files)

2017-09-23 Thread Felix Yan

Date: Saturday, September 23, 2017 @ 15:08:24
  Author: felixonmars
Revision: 259987

archrelease: copy trunk to community-i686, community-x86_64

Added:
  cryptol/repos/community-i686/PKGBUILD
(from rev 259986, cryptol/trunk/PKGBUILD)
  cryptol/repos/community-x86_64/PKGBUILD
(from rev 259986, cryptol/trunk/PKGBUILD)
Deleted:
  cryptol/repos/community-i686/PKGBUILD
  cryptol/repos/community-x86_64/PKGBUILD

---+
 /PKGBUILD |   84 
 community-i686/PKGBUILD   |   45 ---
 community-x86_64/PKGBUILD |   45 ---
 3 files changed, 84 insertions(+), 90 deletions(-)

Deleted: community-i686/PKGBUILD
===
--- community-i686/PKGBUILD 2017-09-23 15:07:40 UTC (rev 259986)
+++ community-i686/PKGBUILD 2017-09-23 15:08:24 UTC (rev 259987)
@@ -1,45 +0,0 @@
-# $Id$
-# Maintainer: Felix Yan 
-
-pkgname=cryptol
-pkgver=2.5.0
-pkgrel=4
-pkgdesc="The Language of Cryptography"
-url="http://www.cryptol.net";
-license=("custom:BSD3")
-arch=('i686' 'x86_64')
-depends=('ghc-libs' 'z3' 'haskell-base-compat' 'haskell-async' 
'haskell-gitrev' 'haskell-graphscc'
- 'haskell-heredoc' 'haskell-monad-control' 'haskell-monadlib' 
'haskell-old-time'
- 'haskell-presburger' 'haskell-quickcheck' 'haskell-random' 
'haskell-sbv' 'haskell-smtlib'
- 'haskell-simple-smt' 'haskell-syb' 'haskell-text' 'haskell-tf-random'
- 'haskell-transformers-base' 'haskell-utf8-string' 'haskell-mtl' 
'haskell-ansi-terminal')
-makedepends=('ghc' 'alex' 'happy')
-source=("https://hackage.haskell.org/packages/archive/$pkgname/${pkgver}/$pkgname-${pkgver}.tar.gz";)
-sha512sums=('e528c2b75853f559a0e122286734fce373150a458a5af2a74020240629f9f550747f30f50c16d261326e94f4060497af43951f0253dc6885043cf21aab849265')
-
-build() {
-cd "${srcdir}/${pkgname}-${pkgver}"
-
-runhaskell Setup configure -O --enable-shared --enable-executable-dynamic \
---prefix=/usr --docdir="/usr/share/doc/${pkgname}" 
--datasubdir="$pkgname" \
---dynlibdir=/usr/lib --libsubdir=\$compiler/site-local/\$pkgid \
--f-static -f-relocatable
-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}/${pkgname}-${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"
-
-# Remove static libs
-find "$pkgdir"/usr/lib -name "*.a" -delete
-}

Copied: cryptol/repos/community-i686/PKGBUILD (from rev 259986, 
cryptol/trunk/PKGBUILD)
===
--- community-i686/PKGBUILD (rev 0)
+++ community-i686/PKGBUILD 2017-09-23 15:08:24 UTC (rev 259987)
@@ -0,0 +1,42 @@
+# $Id$
+# Maintainer: Felix Yan 
+
+pkgname=cryptol
+pkgver=2.5.0
+pkgrel=5
+pkgdesc="The Language of Cryptography"
+url="http://www.cryptol.net";
+license=("custom:BSD3")
+arch=('i686' 'x86_64')
+depends=('ghc-libs' 'z3' 'haskell-base-compat' 'haskell-async' 
'haskell-gitrev' 'haskell-graphscc'
+ 'haskell-heredoc' 'haskell-monad-control' 'haskell-monadlib' 
'haskell-old-time'
+ 'haskell-presburger' 'haskell-quickcheck' 'haskell-random' 
'haskell-sbv' 'haskell-smtlib'
+ 'haskell-simple-smt' 'haskell-syb' 'haskell-text' 'haskell-tf-random'
+ 'haskell-transformers-base' 'haskell-utf8-string' 'haskell-mtl' 
'haskell-ansi-terminal')
+makedepends=('ghc' 'alex' 'happy')
+source=("https://hackage.haskell.org/packages/archive/$pkgname/${pkgver}/$pkgname-${pkgver}.tar.gz";)
+sha512sums=('e528c2b75853f559a0e122286734fce373150a458a5af2a74020240629f9f550747f30f50c16d261326e94f4060497af43951f0253dc6885043cf21aab849265')
+
+build() {
+cd "${srcdir}/${pkgname}-${pkgver}"
+
+runhaskell Setup configure -O --enable-shared --enable-executable-dynamic 
--disable-library-vanilla \
+--prefix=/usr --docdir="/usr/share/doc/${pkgname}" 
--datasubdir="$pkgname" \
+--dynlibdir=/usr/lib --libsubdir=\$compiler/site-local/\$pkgid \
+-f-static -f-relocatable
+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}/${pkgname}-${pkgver}"
+
+install -D -m744 register.s

[arch-commits] Commit in cryptol/repos (4 files)

2017-09-16 Thread Felix Yan

Date: Saturday, September 16, 2017 @ 18:04:28
  Author: felixonmars
Revision: 258562

archrelease: copy trunk to community-staging-i686, community-staging-x86_64

Added:
  cryptol/repos/community-staging-i686/
  cryptol/repos/community-staging-i686/PKGBUILD
(from rev 258561, cryptol/trunk/PKGBUILD)
  cryptol/repos/community-staging-x86_64/
  cryptol/repos/community-staging-x86_64/PKGBUILD
(from rev 258561, cryptol/trunk/PKGBUILD)

---+
 community-staging-i686/PKGBUILD   |   45 
 community-staging-x86_64/PKGBUILD |   45 
 2 files changed, 90 insertions(+)

Copied: cryptol/repos/community-staging-i686/PKGBUILD (from rev 258561, 
cryptol/trunk/PKGBUILD)
===
--- community-staging-i686/PKGBUILD (rev 0)
+++ community-staging-i686/PKGBUILD 2017-09-16 18:04:28 UTC (rev 258562)
@@ -0,0 +1,45 @@
+# $Id$
+# Maintainer: Felix Yan 
+
+pkgname=cryptol
+pkgver=2.5.0
+pkgrel=4
+pkgdesc="The Language of Cryptography"
+url="http://www.cryptol.net";
+license=("custom:BSD3")
+arch=('i686' 'x86_64')
+depends=('ghc-libs' 'z3' 'haskell-base-compat' 'haskell-async' 
'haskell-gitrev' 'haskell-graphscc'
+ 'haskell-heredoc' 'haskell-monad-control' 'haskell-monadlib' 
'haskell-old-time'
+ 'haskell-presburger' 'haskell-quickcheck' 'haskell-random' 
'haskell-sbv' 'haskell-smtlib'
+ 'haskell-simple-smt' 'haskell-syb' 'haskell-text' 'haskell-tf-random'
+ 'haskell-transformers-base' 'haskell-utf8-string' 'haskell-mtl' 
'haskell-ansi-terminal')
+makedepends=('ghc' 'alex' 'happy')
+source=("https://hackage.haskell.org/packages/archive/$pkgname/${pkgver}/$pkgname-${pkgver}.tar.gz";)
+sha512sums=('e528c2b75853f559a0e122286734fce373150a458a5af2a74020240629f9f550747f30f50c16d261326e94f4060497af43951f0253dc6885043cf21aab849265')
+
+build() {
+cd "${srcdir}/${pkgname}-${pkgver}"
+
+runhaskell Setup configure -O --enable-shared --enable-executable-dynamic \
+--prefix=/usr --docdir="/usr/share/doc/${pkgname}" 
--datasubdir="$pkgname" \
+--dynlibdir=/usr/lib --libsubdir=\$compiler/site-local/\$pkgid \
+-f-static -f-relocatable
+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}/${pkgname}-${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"
+
+# Remove static libs
+find "$pkgdir"/usr/lib -name "*.a" -delete
+}

Copied: cryptol/repos/community-staging-x86_64/PKGBUILD (from rev 258561, 
cryptol/trunk/PKGBUILD)
===
--- community-staging-x86_64/PKGBUILD   (rev 0)
+++ community-staging-x86_64/PKGBUILD   2017-09-16 18:04:28 UTC (rev 258562)
@@ -0,0 +1,45 @@
+# $Id$
+# Maintainer: Felix Yan 
+
+pkgname=cryptol
+pkgver=2.5.0
+pkgrel=4
+pkgdesc="The Language of Cryptography"
+url="http://www.cryptol.net";
+license=("custom:BSD3")
+arch=('i686' 'x86_64')
+depends=('ghc-libs' 'z3' 'haskell-base-compat' 'haskell-async' 
'haskell-gitrev' 'haskell-graphscc'
+ 'haskell-heredoc' 'haskell-monad-control' 'haskell-monadlib' 
'haskell-old-time'
+ 'haskell-presburger' 'haskell-quickcheck' 'haskell-random' 
'haskell-sbv' 'haskell-smtlib'
+ 'haskell-simple-smt' 'haskell-syb' 'haskell-text' 'haskell-tf-random'
+ 'haskell-transformers-base' 'haskell-utf8-string' 'haskell-mtl' 
'haskell-ansi-terminal')
+makedepends=('ghc' 'alex' 'happy')
+source=("https://hackage.haskell.org/packages/archive/$pkgname/${pkgver}/$pkgname-${pkgver}.tar.gz";)
+sha512sums=('e528c2b75853f559a0e122286734fce373150a458a5af2a74020240629f9f550747f30f50c16d261326e94f4060497af43951f0253dc6885043cf21aab849265')
+
+build() {
+cd "${srcdir}/${pkgname}-${pkgver}"
+
+runhaskell Setup configure -O --enable-shared --enable-executable-dynamic \
+--prefix=/usr --docdir="/usr/share/doc/${pkgname}" 
--datasubdir="$pkgname" \
+--dynlibdir=/usr/lib --libsubdir=\$compiler/site-local/\$pkgid \
+-f-static -f-relocatable
+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}/${pkg

[arch-commits] Commit in cryptol/repos (4 files)

2017-08-30 Thread Felix Yan

Date: Wednesday, August 30, 2017 @ 08:01:34
  Author: felixonmars
Revision: 254749

archrelease: copy trunk to community-staging-i686, community-staging-x86_64

Added:
  cryptol/repos/community-staging-i686/
  cryptol/repos/community-staging-i686/PKGBUILD
(from rev 254748, cryptol/trunk/PKGBUILD)
  cryptol/repos/community-staging-x86_64/
  cryptol/repos/community-staging-x86_64/PKGBUILD
(from rev 254748, cryptol/trunk/PKGBUILD)

---+
 community-staging-i686/PKGBUILD   |   45 
 community-staging-x86_64/PKGBUILD |   45 
 2 files changed, 90 insertions(+)

Copied: cryptol/repos/community-staging-i686/PKGBUILD (from rev 254748, 
cryptol/trunk/PKGBUILD)
===
--- community-staging-i686/PKGBUILD (rev 0)
+++ community-staging-i686/PKGBUILD 2017-08-30 08:01:34 UTC (rev 254749)
@@ -0,0 +1,45 @@
+# $Id$
+# Maintainer: Felix Yan 
+
+pkgname=cryptol
+pkgver=2.5.0
+pkgrel=3
+pkgdesc="The Language of Cryptography"
+url="http://www.cryptol.net";
+license=("custom:BSD3")
+arch=('i686' 'x86_64')
+depends=('ghc-libs' 'z3' 'haskell-base-compat' 'haskell-async' 
'haskell-gitrev' 'haskell-graphscc'
+ 'haskell-heredoc' 'haskell-monad-control' 'haskell-monadlib' 
'haskell-old-time'
+ 'haskell-presburger' 'haskell-quickcheck' 'haskell-random' 
'haskell-sbv' 'haskell-smtlib'
+ 'haskell-simple-smt' 'haskell-syb' 'haskell-text' 'haskell-tf-random'
+ 'haskell-transformers-base' 'haskell-utf8-string' 'haskell-mtl' 
'haskell-ansi-terminal')
+makedepends=('ghc' 'alex' 'happy')
+source=("https://hackage.haskell.org/packages/archive/$pkgname/${pkgver}/$pkgname-${pkgver}.tar.gz";)
+sha512sums=('e528c2b75853f559a0e122286734fce373150a458a5af2a74020240629f9f550747f30f50c16d261326e94f4060497af43951f0253dc6885043cf21aab849265')
+
+build() {
+cd "${srcdir}/${pkgname}-${pkgver}"
+
+runhaskell Setup configure -O --enable-shared --enable-executable-dynamic \
+--prefix=/usr --docdir="/usr/share/doc/${pkgname}" 
--datasubdir="$pkgname" \
+--dynlibdir=/usr/lib --libsubdir=\$compiler/site-local/\$pkgid \
+-f-static -f-relocatable
+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}/${pkgname}-${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"
+
+# Remove static libs
+find "$pkgdir"/usr/lib -name "*.a" -delete
+}

Copied: cryptol/repos/community-staging-x86_64/PKGBUILD (from rev 254748, 
cryptol/trunk/PKGBUILD)
===
--- community-staging-x86_64/PKGBUILD   (rev 0)
+++ community-staging-x86_64/PKGBUILD   2017-08-30 08:01:34 UTC (rev 254749)
@@ -0,0 +1,45 @@
+# $Id$
+# Maintainer: Felix Yan 
+
+pkgname=cryptol
+pkgver=2.5.0
+pkgrel=3
+pkgdesc="The Language of Cryptography"
+url="http://www.cryptol.net";
+license=("custom:BSD3")
+arch=('i686' 'x86_64')
+depends=('ghc-libs' 'z3' 'haskell-base-compat' 'haskell-async' 
'haskell-gitrev' 'haskell-graphscc'
+ 'haskell-heredoc' 'haskell-monad-control' 'haskell-monadlib' 
'haskell-old-time'
+ 'haskell-presburger' 'haskell-quickcheck' 'haskell-random' 
'haskell-sbv' 'haskell-smtlib'
+ 'haskell-simple-smt' 'haskell-syb' 'haskell-text' 'haskell-tf-random'
+ 'haskell-transformers-base' 'haskell-utf8-string' 'haskell-mtl' 
'haskell-ansi-terminal')
+makedepends=('ghc' 'alex' 'happy')
+source=("https://hackage.haskell.org/packages/archive/$pkgname/${pkgver}/$pkgname-${pkgver}.tar.gz";)
+sha512sums=('e528c2b75853f559a0e122286734fce373150a458a5af2a74020240629f9f550747f30f50c16d261326e94f4060497af43951f0253dc6885043cf21aab849265')
+
+build() {
+cd "${srcdir}/${pkgname}-${pkgver}"
+
+runhaskell Setup configure -O --enable-shared --enable-executable-dynamic \
+--prefix=/usr --docdir="/usr/share/doc/${pkgname}" 
--datasubdir="$pkgname" \
+--dynlibdir=/usr/lib --libsubdir=\$compiler/site-local/\$pkgid \
+-f-static -f-relocatable
+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}/${pkgna

[arch-commits] Commit in cryptol/repos (4 files)

2017-08-25 Thread Felix Yan

Date: Friday, August 25, 2017 @ 15:14:16
  Author: felixonmars
Revision: 253386

archrelease: copy trunk to community-testing-i686, community-testing-x86_64

Added:
  cryptol/repos/community-testing-i686/PKGBUILD
(from rev 253384, cryptol/trunk/PKGBUILD)
  cryptol/repos/community-testing-x86_64/PKGBUILD
(from rev 253385, cryptol/trunk/PKGBUILD)
Deleted:
  cryptol/repos/community-testing-i686/PKGBUILD
  cryptol/repos/community-testing-x86_64/PKGBUILD

---+
 /PKGBUILD |   90 
 community-testing-i686/PKGBUILD   |   45 --
 community-testing-x86_64/PKGBUILD |   45 --
 3 files changed, 90 insertions(+), 90 deletions(-)

Deleted: community-testing-i686/PKGBUILD
===
--- community-testing-i686/PKGBUILD 2017-08-25 15:13:54 UTC (rev 253385)
+++ community-testing-i686/PKGBUILD 2017-08-25 15:14:16 UTC (rev 253386)
@@ -1,45 +0,0 @@
-# $Id$
-# Maintainer: Felix Yan 
-
-pkgname=cryptol
-pkgver=2.5.0
-pkgrel=1
-pkgdesc="The Language of Cryptography"
-url="http://www.cryptol.net";
-license=("custom:BSD3")
-arch=('i686' 'x86_64')
-depends=('ghc-libs' 'haskell-base-compat' 'haskell-async' 'haskell-gitrev' 
'haskell-graphscc'
- 'haskell-heredoc' 'haskell-monad-control' 'haskell-monadlib' 
'haskell-old-time'
- 'haskell-presburger' 'haskell-quickcheck' 'haskell-random' 
'haskell-sbv' 'haskell-smtlib'
- 'haskell-simple-smt' 'haskell-syb' 'haskell-text' 'haskell-tf-random'
- 'haskell-transformers-base' 'haskell-utf8-string' 'haskell-mtl' 
'haskell-ansi-terminal')
-makedepends=('ghc' 'alex' 'happy')
-source=("https://hackage.haskell.org/packages/archive/$pkgname/${pkgver}/$pkgname-${pkgver}.tar.gz";)
-sha512sums=('e528c2b75853f559a0e122286734fce373150a458a5af2a74020240629f9f550747f30f50c16d261326e94f4060497af43951f0253dc6885043cf21aab849265')
-
-build() {
-cd "${srcdir}/${pkgname}-${pkgver}"
-
-runhaskell Setup configure -O --enable-shared --enable-executable-dynamic \
---prefix=/usr --docdir="/usr/share/doc/${pkgname}" 
--datasubdir="$pkgname" \
---dynlibdir=/usr/lib --libsubdir=\$compiler/site-local/\$pkgid \
--f-static -f-relocatable
-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}/${pkgname}-${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"
-
-# Remove static libs
-find "$pkgdir"/usr/lib -name "*.a" -delete
-}

Copied: cryptol/repos/community-testing-i686/PKGBUILD (from rev 253384, 
cryptol/trunk/PKGBUILD)
===
--- community-testing-i686/PKGBUILD (rev 0)
+++ community-testing-i686/PKGBUILD 2017-08-25 15:14:16 UTC (rev 253386)
@@ -0,0 +1,45 @@
+# $Id$
+# Maintainer: Felix Yan 
+
+pkgname=cryptol
+pkgver=2.5.0
+pkgrel=2
+pkgdesc="The Language of Cryptography"
+url="http://www.cryptol.net";
+license=("custom:BSD3")
+arch=('i686' 'x86_64')
+depends=('ghc-libs' 'z3' 'haskell-base-compat' 'haskell-async' 
'haskell-gitrev' 'haskell-graphscc'
+ 'haskell-heredoc' 'haskell-monad-control' 'haskell-monadlib' 
'haskell-old-time'
+ 'haskell-presburger' 'haskell-quickcheck' 'haskell-random' 
'haskell-sbv' 'haskell-smtlib'
+ 'haskell-simple-smt' 'haskell-syb' 'haskell-text' 'haskell-tf-random'
+ 'haskell-transformers-base' 'haskell-utf8-string' 'haskell-mtl' 
'haskell-ansi-terminal')
+makedepends=('ghc' 'alex' 'happy')
+source=("https://hackage.haskell.org/packages/archive/$pkgname/${pkgver}/$pkgname-${pkgver}.tar.gz";)
+sha512sums=('e528c2b75853f559a0e122286734fce373150a458a5af2a74020240629f9f550747f30f50c16d261326e94f4060497af43951f0253dc6885043cf21aab849265')
+
+build() {
+cd "${srcdir}/${pkgname}-${pkgver}"
+
+runhaskell Setup configure -O --enable-shared --enable-executable-dynamic \
+--prefix=/usr --docdir="/usr/share/doc/${pkgname}" 
--datasubdir="$pkgname" \
+--dynlibdir=/usr/lib --libsubdir=\$compiler/site-local/\$pkgid \
+-f-static -f-relocatable
+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() {
+

[arch-commits] Commit in cryptol/repos (4 files)

2017-08-25 Thread Felix Yan

Date: Friday, August 25, 2017 @ 14:45:39
  Author: felixonmars
Revision: 253380

archrelease: copy trunk to community-testing-i686, community-testing-x86_64

Added:
  cryptol/repos/community-testing-i686/
  cryptol/repos/community-testing-i686/PKGBUILD
(from rev 253379, cryptol/trunk/PKGBUILD)
  cryptol/repos/community-testing-x86_64/
  cryptol/repos/community-testing-x86_64/PKGBUILD
(from rev 253379, cryptol/trunk/PKGBUILD)

---+
 community-testing-i686/PKGBUILD   |   45 
 community-testing-x86_64/PKGBUILD |   45 
 2 files changed, 90 insertions(+)

Copied: cryptol/repos/community-testing-i686/PKGBUILD (from rev 253379, 
cryptol/trunk/PKGBUILD)
===
--- community-testing-i686/PKGBUILD (rev 0)
+++ community-testing-i686/PKGBUILD 2017-08-25 14:45:39 UTC (rev 253380)
@@ -0,0 +1,45 @@
+# $Id$
+# Maintainer: Felix Yan 
+
+pkgname=cryptol
+pkgver=2.5.0
+pkgrel=1
+pkgdesc="The Language of Cryptography"
+url="http://www.cryptol.net";
+license=("custom:BSD3")
+arch=('i686' 'x86_64')
+depends=('ghc-libs' 'haskell-base-compat' 'haskell-async' 'haskell-gitrev' 
'haskell-graphscc'
+ 'haskell-heredoc' 'haskell-monad-control' 'haskell-monadlib' 
'haskell-old-time'
+ 'haskell-presburger' 'haskell-quickcheck' 'haskell-random' 
'haskell-sbv' 'haskell-smtlib'
+ 'haskell-simple-smt' 'haskell-syb' 'haskell-text' 'haskell-tf-random'
+ 'haskell-transformers-base' 'haskell-utf8-string' 'haskell-mtl' 
'haskell-ansi-terminal')
+makedepends=('ghc' 'alex' 'happy')
+source=("https://hackage.haskell.org/packages/archive/$pkgname/${pkgver}/$pkgname-${pkgver}.tar.gz";)
+sha512sums=('e528c2b75853f559a0e122286734fce373150a458a5af2a74020240629f9f550747f30f50c16d261326e94f4060497af43951f0253dc6885043cf21aab849265')
+
+build() {
+cd "${srcdir}/${pkgname}-${pkgver}"
+
+runhaskell Setup configure -O --enable-shared --enable-executable-dynamic \
+--prefix=/usr --docdir="/usr/share/doc/${pkgname}" 
--datasubdir="$pkgname" \
+--dynlibdir=/usr/lib --libsubdir=\$compiler/site-local/\$pkgid \
+-f-static -f-relocatable
+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}/${pkgname}-${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"
+
+# Remove static libs
+find "$pkgdir"/usr/lib -name "*.a" -delete
+}

Copied: cryptol/repos/community-testing-x86_64/PKGBUILD (from rev 253379, 
cryptol/trunk/PKGBUILD)
===
--- community-testing-x86_64/PKGBUILD   (rev 0)
+++ community-testing-x86_64/PKGBUILD   2017-08-25 14:45:39 UTC (rev 253380)
@@ -0,0 +1,45 @@
+# $Id$
+# Maintainer: Felix Yan 
+
+pkgname=cryptol
+pkgver=2.5.0
+pkgrel=1
+pkgdesc="The Language of Cryptography"
+url="http://www.cryptol.net";
+license=("custom:BSD3")
+arch=('i686' 'x86_64')
+depends=('ghc-libs' 'haskell-base-compat' 'haskell-async' 'haskell-gitrev' 
'haskell-graphscc'
+ 'haskell-heredoc' 'haskell-monad-control' 'haskell-monadlib' 
'haskell-old-time'
+ 'haskell-presburger' 'haskell-quickcheck' 'haskell-random' 
'haskell-sbv' 'haskell-smtlib'
+ 'haskell-simple-smt' 'haskell-syb' 'haskell-text' 'haskell-tf-random'
+ 'haskell-transformers-base' 'haskell-utf8-string' 'haskell-mtl' 
'haskell-ansi-terminal')
+makedepends=('ghc' 'alex' 'happy')
+source=("https://hackage.haskell.org/packages/archive/$pkgname/${pkgver}/$pkgname-${pkgver}.tar.gz";)
+sha512sums=('e528c2b75853f559a0e122286734fce373150a458a5af2a74020240629f9f550747f30f50c16d261326e94f4060497af43951f0253dc6885043cf21aab849265')
+
+build() {
+cd "${srcdir}/${pkgname}-${pkgver}"
+
+runhaskell Setup configure -O --enable-shared --enable-executable-dynamic \
+--prefix=/usr --docdir="/usr/share/doc/${pkgname}" 
--datasubdir="$pkgname" \
+--dynlibdir=/usr/lib --libsubdir=\$compiler/site-local/\$pkgid \
+-f-static -f-relocatable
+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}/${pkgname}-${pkgver}

[arch-commits] Commit in cryptol/repos (4 files)

[arch-commits] Commit in cryptol/repos (4 files)

[arch-commits] Commit in cryptol/repos (4 files)

[arch-commits] Commit in cryptol/repos (4 files)

[arch-commits] Commit in cryptol/repos (4 files)

[arch-commits] Commit in cryptol/repos (4 files)

[arch-commits] Commit in cryptol/repos (4 files)

7 matches

Site Navigation

Mail list logo

Footer information