[arch-commits] Commit in haskell-what4/repos (2 files)
Date: Monday, December 28, 2020 @ 11:38:24 Author: felixonmars Revision: 794745 archrelease: copy trunk to community-staging-x86_64 Added: haskell-what4/repos/community-staging-x86_64/ haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 794744, haskell-what4/trunk/PKGBUILD) --+ PKGBUILD | 58 ++ 1 file changed, 58 insertions(+) Copied: haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 794744, haskell-what4/trunk/PKGBUILD) === --- community-staging-x86_64/PKGBUILD (rev 0) +++ community-staging-x86_64/PKGBUILD 2020-12-28 11:38:24 UTC (rev 794745) @@ -0,0 +1,58 @@ +# Maintainer: Felix Yan + +_hkgname=what4 +pkgname=haskell-what4 +pkgver=1.0 +pkgrel=78 +pkgdesc="Solver-agnostic symbolic values support for issuing queries" +url="https://github.com/GaloisInc/what4; +license=('BSD') +arch=('x86_64') +depends=('ghc-libs' 'haskell-attoparsec' 'haskell-ansi-wl-pprint' 'haskell-bimap' + 'haskell-bifunctors' 'haskell-bv-sized' 'haskell-deriving-compat' + 'haskell-data-binary-ieee754' 'haskell-extra' 'haskell-fingertree' 'haskell-hashable' + 'haskell-hashtables' 'haskell-io-streams' 'haskell-lens' 'haskell-panic' + 'haskell-parameterized-utils' 'haskell-scientific' 'haskell-temporary' + 'haskell-th-abstraction' 'haskell-unordered-containers' 'haskell-utf8-string' + 'haskell-vector' 'haskell-versions' 'haskell-zenc') +makedepends=('ghc' 'uusi' 'haskell-hedgehog' 'haskell-quickcheck' 'haskell-tasty' 'haskell-tasty-hedgehog' + 'haskell-tasty-hunit' 'haskell-tasty-quickcheck') +checkdepends=('cvc4' 'yices' 'z3') +optdepends=('cvc4' 'yices' 'z3') +source=(https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz) +sha512sums=('fcfb36322d3cd82fa5c013d404cbe8c7c8e52dc8e1b8b530df8c1c174d67327e9a48ba1a4c0714d87925eecd69713b341c4c96055693d2b6788a0c6bf7fc56a9') + +prepare() { +cd $_hkgname-$pkgver +echo -e "import Distribution.Simple\nmain = defaultMain" > Setup.hs +uusi $_hkgname.cabal +} + +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 +# https://github.com/GaloisInc/what4/issues/67 +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-what4/repos (2 files)
Date: Saturday, December 26, 2020 @ 23:16:46 Author: felixonmars Revision: 793215 archrelease: copy trunk to community-staging-x86_64 Added: haskell-what4/repos/community-staging-x86_64/ haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 793214, haskell-what4/trunk/PKGBUILD) --+ PKGBUILD | 58 ++ 1 file changed, 58 insertions(+) Copied: haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 793214, haskell-what4/trunk/PKGBUILD) === --- community-staging-x86_64/PKGBUILD (rev 0) +++ community-staging-x86_64/PKGBUILD 2020-12-26 23:16:46 UTC (rev 793215) @@ -0,0 +1,58 @@ +# Maintainer: Felix Yan + +_hkgname=what4 +pkgname=haskell-what4 +pkgver=1.0 +pkgrel=77 +pkgdesc="Solver-agnostic symbolic values support for issuing queries" +url="https://github.com/GaloisInc/what4; +license=('BSD') +arch=('x86_64') +depends=('ghc-libs' 'haskell-attoparsec' 'haskell-ansi-wl-pprint' 'haskell-bimap' + 'haskell-bifunctors' 'haskell-bv-sized' 'haskell-deriving-compat' + 'haskell-data-binary-ieee754' 'haskell-extra' 'haskell-fingertree' 'haskell-hashable' + 'haskell-hashtables' 'haskell-io-streams' 'haskell-lens' 'haskell-panic' + 'haskell-parameterized-utils' 'haskell-scientific' 'haskell-temporary' + 'haskell-th-abstraction' 'haskell-unordered-containers' 'haskell-utf8-string' + 'haskell-vector' 'haskell-versions' 'haskell-zenc') +makedepends=('ghc' 'uusi' 'haskell-hedgehog' 'haskell-quickcheck' 'haskell-tasty' 'haskell-tasty-hedgehog' + 'haskell-tasty-hunit' 'haskell-tasty-quickcheck') +checkdepends=('cvc4' 'yices' 'z3') +optdepends=('cvc4' 'yices' 'z3') +source=(https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz) +sha512sums=('fcfb36322d3cd82fa5c013d404cbe8c7c8e52dc8e1b8b530df8c1c174d67327e9a48ba1a4c0714d87925eecd69713b341c4c96055693d2b6788a0c6bf7fc56a9') + +prepare() { +cd $_hkgname-$pkgver +echo -e "import Distribution.Simple\nmain = defaultMain" > Setup.hs +uusi $_hkgname.cabal +} + +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 +# https://github.com/GaloisInc/what4/issues/67 +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-what4/repos (2 files)
Date: Saturday, December 26, 2020 @ 04:45:21 Author: felixonmars Revision: 791928 archrelease: copy trunk to community-staging-x86_64 Added: haskell-what4/repos/community-staging-x86_64/ haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 791927, haskell-what4/trunk/PKGBUILD) --+ PKGBUILD | 58 ++ 1 file changed, 58 insertions(+) Copied: haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 791927, haskell-what4/trunk/PKGBUILD) === --- community-staging-x86_64/PKGBUILD (rev 0) +++ community-staging-x86_64/PKGBUILD 2020-12-26 04:45:21 UTC (rev 791928) @@ -0,0 +1,58 @@ +# Maintainer: Felix Yan + +_hkgname=what4 +pkgname=haskell-what4 +pkgver=1.0 +pkgrel=76 +pkgdesc="Solver-agnostic symbolic values support for issuing queries" +url="https://github.com/GaloisInc/what4; +license=('BSD') +arch=('x86_64') +depends=('ghc-libs' 'haskell-attoparsec' 'haskell-ansi-wl-pprint' 'haskell-bimap' + 'haskell-bifunctors' 'haskell-bv-sized' 'haskell-deriving-compat' + 'haskell-data-binary-ieee754' 'haskell-extra' 'haskell-fingertree' 'haskell-hashable' + 'haskell-hashtables' 'haskell-io-streams' 'haskell-lens' 'haskell-panic' + 'haskell-parameterized-utils' 'haskell-scientific' 'haskell-temporary' + 'haskell-th-abstraction' 'haskell-unordered-containers' 'haskell-utf8-string' + 'haskell-vector' 'haskell-versions' 'haskell-zenc') +makedepends=('ghc' 'uusi' 'haskell-hedgehog' 'haskell-quickcheck' 'haskell-tasty' 'haskell-tasty-hedgehog' + 'haskell-tasty-hunit' 'haskell-tasty-quickcheck') +checkdepends=('cvc4' 'yices' 'z3') +optdepends=('cvc4' 'yices' 'z3') +source=(https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz) +sha512sums=('fcfb36322d3cd82fa5c013d404cbe8c7c8e52dc8e1b8b530df8c1c174d67327e9a48ba1a4c0714d87925eecd69713b341c4c96055693d2b6788a0c6bf7fc56a9') + +prepare() { +cd $_hkgname-$pkgver +echo -e "import Distribution.Simple\nmain = defaultMain" > Setup.hs +uusi $_hkgname.cabal +} + +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 +# https://github.com/GaloisInc/what4/issues/67 +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-what4/repos (2 files)
Date: Friday, December 25, 2020 @ 10:28:39 Author: felixonmars Revision: 790020 archrelease: copy trunk to community-staging-x86_64 Added: haskell-what4/repos/community-staging-x86_64/ haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 790019, haskell-what4/trunk/PKGBUILD) --+ PKGBUILD | 58 ++ 1 file changed, 58 insertions(+) Copied: haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 790019, haskell-what4/trunk/PKGBUILD) === --- community-staging-x86_64/PKGBUILD (rev 0) +++ community-staging-x86_64/PKGBUILD 2020-12-25 10:28:39 UTC (rev 790020) @@ -0,0 +1,58 @@ +# Maintainer: Felix Yan + +_hkgname=what4 +pkgname=haskell-what4 +pkgver=1.0 +pkgrel=75 +pkgdesc="Solver-agnostic symbolic values support for issuing queries" +url="https://github.com/GaloisInc/what4; +license=('BSD') +arch=('x86_64') +depends=('ghc-libs' 'haskell-attoparsec' 'haskell-ansi-wl-pprint' 'haskell-bimap' + 'haskell-bifunctors' 'haskell-bv-sized' 'haskell-deriving-compat' + 'haskell-data-binary-ieee754' 'haskell-extra' 'haskell-fingertree' 'haskell-hashable' + 'haskell-hashtables' 'haskell-io-streams' 'haskell-lens' 'haskell-panic' + 'haskell-parameterized-utils' 'haskell-scientific' 'haskell-temporary' + 'haskell-th-abstraction' 'haskell-unordered-containers' 'haskell-utf8-string' + 'haskell-vector' 'haskell-versions' 'haskell-zenc') +makedepends=('ghc' 'uusi' 'haskell-hedgehog' 'haskell-quickcheck' 'haskell-tasty' 'haskell-tasty-hedgehog' + 'haskell-tasty-hunit' 'haskell-tasty-quickcheck') +checkdepends=('cvc4' 'yices' 'z3') +optdepends=('cvc4' 'yices' 'z3') +source=(https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz) +sha512sums=('fcfb36322d3cd82fa5c013d404cbe8c7c8e52dc8e1b8b530df8c1c174d67327e9a48ba1a4c0714d87925eecd69713b341c4c96055693d2b6788a0c6bf7fc56a9') + +prepare() { +cd $_hkgname-$pkgver +echo -e "import Distribution.Simple\nmain = defaultMain" > Setup.hs +uusi $_hkgname.cabal +} + +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 +# https://github.com/GaloisInc/what4/issues/67 +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-what4/repos (2 files)
Date: Thursday, December 24, 2020 @ 11:31:00 Author: felixonmars Revision: 787065 archrelease: copy trunk to community-staging-x86_64 Added: haskell-what4/repos/community-staging-x86_64/ haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 787064, haskell-what4/trunk/PKGBUILD) --+ PKGBUILD | 58 ++ 1 file changed, 58 insertions(+) Copied: haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 787064, haskell-what4/trunk/PKGBUILD) === --- community-staging-x86_64/PKGBUILD (rev 0) +++ community-staging-x86_64/PKGBUILD 2020-12-24 11:31:00 UTC (rev 787065) @@ -0,0 +1,58 @@ +# Maintainer: Felix Yan + +_hkgname=what4 +pkgname=haskell-what4 +pkgver=1.0 +pkgrel=74 +pkgdesc="Solver-agnostic symbolic values support for issuing queries" +url="https://github.com/GaloisInc/what4; +license=('BSD') +arch=('x86_64') +depends=('ghc-libs' 'haskell-attoparsec' 'haskell-ansi-wl-pprint' 'haskell-bimap' + 'haskell-bifunctors' 'haskell-bv-sized' 'haskell-deriving-compat' + 'haskell-data-binary-ieee754' 'haskell-extra' 'haskell-fingertree' 'haskell-hashable' + 'haskell-hashtables' 'haskell-io-streams' 'haskell-lens' 'haskell-panic' + 'haskell-parameterized-utils' 'haskell-scientific' 'haskell-temporary' + 'haskell-th-abstraction' 'haskell-unordered-containers' 'haskell-utf8-string' + 'haskell-vector' 'haskell-versions' 'haskell-zenc') +makedepends=('ghc' 'uusi' 'haskell-hedgehog' 'haskell-quickcheck' 'haskell-tasty' 'haskell-tasty-hedgehog' + 'haskell-tasty-hunit' 'haskell-tasty-quickcheck') +checkdepends=('cvc4' 'yices' 'z3') +optdepends=('cvc4' 'yices' 'z3') +source=(https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz) +sha512sums=('fcfb36322d3cd82fa5c013d404cbe8c7c8e52dc8e1b8b530df8c1c174d67327e9a48ba1a4c0714d87925eecd69713b341c4c96055693d2b6788a0c6bf7fc56a9') + +prepare() { +cd $_hkgname-$pkgver +echo -e "import Distribution.Simple\nmain = defaultMain" > Setup.hs +uusi $_hkgname.cabal +} + +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 +# https://github.com/GaloisInc/what4/issues/67 +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-what4/repos (2 files)
Date: Wednesday, December 23, 2020 @ 17:50:21 Author: felixonmars Revision: 785017 archrelease: copy trunk to community-staging-x86_64 Added: haskell-what4/repos/community-staging-x86_64/ haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 785016, haskell-what4/trunk/PKGBUILD) --+ PKGBUILD | 58 ++ 1 file changed, 58 insertions(+) Copied: haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 785016, haskell-what4/trunk/PKGBUILD) === --- community-staging-x86_64/PKGBUILD (rev 0) +++ community-staging-x86_64/PKGBUILD 2020-12-23 17:50:21 UTC (rev 785017) @@ -0,0 +1,58 @@ +# Maintainer: Felix Yan + +_hkgname=what4 +pkgname=haskell-what4 +pkgver=1.0 +pkgrel=73 +pkgdesc="Solver-agnostic symbolic values support for issuing queries" +url="https://github.com/GaloisInc/what4; +license=('BSD') +arch=('x86_64') +depends=('ghc-libs' 'haskell-attoparsec' 'haskell-ansi-wl-pprint' 'haskell-bimap' + 'haskell-bifunctors' 'haskell-bv-sized' 'haskell-deriving-compat' + 'haskell-data-binary-ieee754' 'haskell-extra' 'haskell-fingertree' 'haskell-hashable' + 'haskell-hashtables' 'haskell-io-streams' 'haskell-lens' 'haskell-panic' + 'haskell-parameterized-utils' 'haskell-scientific' 'haskell-temporary' + 'haskell-th-abstraction' 'haskell-unordered-containers' 'haskell-utf8-string' + 'haskell-vector' 'haskell-versions' 'haskell-zenc') +makedepends=('ghc' 'uusi' 'haskell-hedgehog' 'haskell-quickcheck' 'haskell-tasty' 'haskell-tasty-hedgehog' + 'haskell-tasty-hunit' 'haskell-tasty-quickcheck') +checkdepends=('cvc4' 'yices' 'z3') +optdepends=('cvc4' 'yices' 'z3') +source=(https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz) +sha512sums=('fcfb36322d3cd82fa5c013d404cbe8c7c8e52dc8e1b8b530df8c1c174d67327e9a48ba1a4c0714d87925eecd69713b341c4c96055693d2b6788a0c6bf7fc56a9') + +prepare() { +cd $_hkgname-$pkgver +echo -e "import Distribution.Simple\nmain = defaultMain" > Setup.hs +uusi $_hkgname.cabal +} + +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 +# https://github.com/GaloisInc/what4/issues/67 +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-what4/repos (2 files)
Date: Wednesday, December 23, 2020 @ 12:25:07 Author: felixonmars Revision: 784190 archrelease: copy trunk to community-staging-x86_64 Added: haskell-what4/repos/community-staging-x86_64/ haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 784189, haskell-what4/trunk/PKGBUILD) --+ PKGBUILD | 58 ++ 1 file changed, 58 insertions(+) Copied: haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 784189, haskell-what4/trunk/PKGBUILD) === --- community-staging-x86_64/PKGBUILD (rev 0) +++ community-staging-x86_64/PKGBUILD 2020-12-23 12:25:07 UTC (rev 784190) @@ -0,0 +1,58 @@ +# Maintainer: Felix Yan + +_hkgname=what4 +pkgname=haskell-what4 +pkgver=1.0 +pkgrel=72 +pkgdesc="Solver-agnostic symbolic values support for issuing queries" +url="https://github.com/GaloisInc/what4; +license=('BSD') +arch=('x86_64') +depends=('ghc-libs' 'haskell-attoparsec' 'haskell-ansi-wl-pprint' 'haskell-bimap' + 'haskell-bifunctors' 'haskell-bv-sized' 'haskell-deriving-compat' + 'haskell-data-binary-ieee754' 'haskell-extra' 'haskell-fingertree' 'haskell-hashable' + 'haskell-hashtables' 'haskell-io-streams' 'haskell-lens' 'haskell-panic' + 'haskell-parameterized-utils' 'haskell-scientific' 'haskell-temporary' + 'haskell-th-abstraction' 'haskell-unordered-containers' 'haskell-utf8-string' + 'haskell-vector' 'haskell-versions' 'haskell-zenc') +makedepends=('ghc' 'uusi' 'haskell-hedgehog' 'haskell-quickcheck' 'haskell-tasty' 'haskell-tasty-hedgehog' + 'haskell-tasty-hunit' 'haskell-tasty-quickcheck') +checkdepends=('cvc4' 'yices' 'z3') +optdepends=('cvc4' 'yices' 'z3') +source=(https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz) +sha512sums=('fcfb36322d3cd82fa5c013d404cbe8c7c8e52dc8e1b8b530df8c1c174d67327e9a48ba1a4c0714d87925eecd69713b341c4c96055693d2b6788a0c6bf7fc56a9') + +prepare() { +cd $_hkgname-$pkgver +echo -e "import Distribution.Simple\nmain = defaultMain" > Setup.hs +uusi $_hkgname.cabal +} + +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 +# https://github.com/GaloisInc/what4/issues/67 +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-what4/repos (2 files)
Date: Tuesday, December 22, 2020 @ 18:03:09 Author: felixonmars Revision: 782703 archrelease: copy trunk to community-staging-x86_64 Added: haskell-what4/repos/community-staging-x86_64/ haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 782702, haskell-what4/trunk/PKGBUILD) --+ PKGBUILD | 58 ++ 1 file changed, 58 insertions(+) Copied: haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 782702, haskell-what4/trunk/PKGBUILD) === --- community-staging-x86_64/PKGBUILD (rev 0) +++ community-staging-x86_64/PKGBUILD 2020-12-22 18:03:09 UTC (rev 782703) @@ -0,0 +1,58 @@ +# Maintainer: Felix Yan + +_hkgname=what4 +pkgname=haskell-what4 +pkgver=1.0 +pkgrel=71 +pkgdesc="Solver-agnostic symbolic values support for issuing queries" +url="https://github.com/GaloisInc/what4; +license=('BSD') +arch=('x86_64') +depends=('ghc-libs' 'haskell-attoparsec' 'haskell-ansi-wl-pprint' 'haskell-bimap' + 'haskell-bifunctors' 'haskell-bv-sized' 'haskell-deriving-compat' + 'haskell-data-binary-ieee754' 'haskell-extra' 'haskell-fingertree' 'haskell-hashable' + 'haskell-hashtables' 'haskell-io-streams' 'haskell-lens' 'haskell-panic' + 'haskell-parameterized-utils' 'haskell-scientific' 'haskell-temporary' + 'haskell-th-abstraction' 'haskell-unordered-containers' 'haskell-utf8-string' + 'haskell-vector' 'haskell-versions' 'haskell-zenc') +makedepends=('ghc' 'uusi' 'haskell-hedgehog' 'haskell-quickcheck' 'haskell-tasty' 'haskell-tasty-hedgehog' + 'haskell-tasty-hunit' 'haskell-tasty-quickcheck') +checkdepends=('cvc4' 'yices' 'z3') +optdepends=('cvc4' 'yices' 'z3') +source=(https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz) +sha512sums=('fcfb36322d3cd82fa5c013d404cbe8c7c8e52dc8e1b8b530df8c1c174d67327e9a48ba1a4c0714d87925eecd69713b341c4c96055693d2b6788a0c6bf7fc56a9') + +prepare() { +cd $_hkgname-$pkgver +echo -e "import Distribution.Simple\nmain = defaultMain" > Setup.hs +uusi $_hkgname.cabal +} + +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 +# https://github.com/GaloisInc/what4/issues/67 +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-what4/repos (2 files)
Date: Tuesday, December 22, 2020 @ 10:38:33 Author: felixonmars Revision: 781860 archrelease: copy trunk to community-staging-x86_64 Added: haskell-what4/repos/community-staging-x86_64/ haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 781859, haskell-what4/trunk/PKGBUILD) --+ PKGBUILD | 58 ++ 1 file changed, 58 insertions(+) Copied: haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 781859, haskell-what4/trunk/PKGBUILD) === --- community-staging-x86_64/PKGBUILD (rev 0) +++ community-staging-x86_64/PKGBUILD 2020-12-22 10:38:33 UTC (rev 781860) @@ -0,0 +1,58 @@ +# Maintainer: Felix Yan + +_hkgname=what4 +pkgname=haskell-what4 +pkgver=1.0 +pkgrel=70 +pkgdesc="Solver-agnostic symbolic values support for issuing queries" +url="https://github.com/GaloisInc/what4; +license=('BSD') +arch=('x86_64') +depends=('ghc-libs' 'haskell-attoparsec' 'haskell-ansi-wl-pprint' 'haskell-bimap' + 'haskell-bifunctors' 'haskell-bv-sized' 'haskell-deriving-compat' + 'haskell-data-binary-ieee754' 'haskell-extra' 'haskell-fingertree' 'haskell-hashable' + 'haskell-hashtables' 'haskell-io-streams' 'haskell-lens' 'haskell-panic' + 'haskell-parameterized-utils' 'haskell-scientific' 'haskell-temporary' + 'haskell-th-abstraction' 'haskell-unordered-containers' 'haskell-utf8-string' + 'haskell-vector' 'haskell-versions' 'haskell-zenc') +makedepends=('ghc' 'uusi' 'haskell-hedgehog' 'haskell-quickcheck' 'haskell-tasty' 'haskell-tasty-hedgehog' + 'haskell-tasty-hunit' 'haskell-tasty-quickcheck') +checkdepends=('cvc4' 'yices' 'z3') +optdepends=('cvc4' 'yices' 'z3') +source=(https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz) +sha512sums=('fcfb36322d3cd82fa5c013d404cbe8c7c8e52dc8e1b8b530df8c1c174d67327e9a48ba1a4c0714d87925eecd69713b341c4c96055693d2b6788a0c6bf7fc56a9') + +prepare() { +cd $_hkgname-$pkgver +echo -e "import Distribution.Simple\nmain = defaultMain" > Setup.hs +uusi $_hkgname.cabal +} + +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 +# https://github.com/GaloisInc/what4/issues/67 +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-what4/repos (2 files)
Date: Friday, December 18, 2020 @ 20:14:42 Author: felixonmars Revision: 779541 archrelease: copy trunk to community-staging-x86_64 Added: haskell-what4/repos/community-staging-x86_64/ haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 779540, haskell-what4/trunk/PKGBUILD) --+ PKGBUILD | 58 ++ 1 file changed, 58 insertions(+) Copied: haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 779540, haskell-what4/trunk/PKGBUILD) === --- community-staging-x86_64/PKGBUILD (rev 0) +++ community-staging-x86_64/PKGBUILD 2020-12-18 20:14:42 UTC (rev 779541) @@ -0,0 +1,58 @@ +# Maintainer: Felix Yan + +_hkgname=what4 +pkgname=haskell-what4 +pkgver=1.0 +pkgrel=69 +pkgdesc="Solver-agnostic symbolic values support for issuing queries" +url="https://github.com/GaloisInc/what4; +license=('BSD') +arch=('x86_64') +depends=('ghc-libs' 'haskell-attoparsec' 'haskell-ansi-wl-pprint' 'haskell-bimap' + 'haskell-bifunctors' 'haskell-bv-sized' 'haskell-deriving-compat' + 'haskell-data-binary-ieee754' 'haskell-extra' 'haskell-fingertree' 'haskell-hashable' + 'haskell-hashtables' 'haskell-io-streams' 'haskell-lens' 'haskell-panic' + 'haskell-parameterized-utils' 'haskell-scientific' 'haskell-temporary' + 'haskell-th-abstraction' 'haskell-unordered-containers' 'haskell-utf8-string' + 'haskell-vector' 'haskell-versions' 'haskell-zenc') +makedepends=('ghc' 'uusi' 'haskell-hedgehog' 'haskell-quickcheck' 'haskell-tasty' 'haskell-tasty-hedgehog' + 'haskell-tasty-hunit' 'haskell-tasty-quickcheck') +checkdepends=('cvc4' 'yices' 'z3') +optdepends=('cvc4' 'yices' 'z3') +source=(https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz) +sha512sums=('fcfb36322d3cd82fa5c013d404cbe8c7c8e52dc8e1b8b530df8c1c174d67327e9a48ba1a4c0714d87925eecd69713b341c4c96055693d2b6788a0c6bf7fc56a9') + +prepare() { +cd $_hkgname-$pkgver +echo -e "import Distribution.Simple\nmain = defaultMain" > Setup.hs +uusi $_hkgname.cabal +} + +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 +# https://github.com/GaloisInc/what4/issues/67 +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-what4/repos (2 files)
Date: Friday, December 18, 2020 @ 15:03:59 Author: felixonmars Revision: 778702 archrelease: copy trunk to community-staging-x86_64 Added: haskell-what4/repos/community-staging-x86_64/ haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 778701, haskell-what4/trunk/PKGBUILD) --+ PKGBUILD | 58 ++ 1 file changed, 58 insertions(+) Copied: haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 778701, haskell-what4/trunk/PKGBUILD) === --- community-staging-x86_64/PKGBUILD (rev 0) +++ community-staging-x86_64/PKGBUILD 2020-12-18 15:03:59 UTC (rev 778702) @@ -0,0 +1,58 @@ +# Maintainer: Felix Yan + +_hkgname=what4 +pkgname=haskell-what4 +pkgver=1.0 +pkgrel=68 +pkgdesc="Solver-agnostic symbolic values support for issuing queries" +url="https://github.com/GaloisInc/what4; +license=('BSD') +arch=('x86_64') +depends=('ghc-libs' 'haskell-attoparsec' 'haskell-ansi-wl-pprint' 'haskell-bimap' + 'haskell-bifunctors' 'haskell-bv-sized' 'haskell-deriving-compat' + 'haskell-data-binary-ieee754' 'haskell-extra' 'haskell-fingertree' 'haskell-hashable' + 'haskell-hashtables' 'haskell-io-streams' 'haskell-lens' 'haskell-panic' + 'haskell-parameterized-utils' 'haskell-scientific' 'haskell-temporary' + 'haskell-th-abstraction' 'haskell-unordered-containers' 'haskell-utf8-string' + 'haskell-vector' 'haskell-versions' 'haskell-zenc') +makedepends=('ghc' 'uusi' 'haskell-hedgehog' 'haskell-quickcheck' 'haskell-tasty' 'haskell-tasty-hedgehog' + 'haskell-tasty-hunit' 'haskell-tasty-quickcheck') +checkdepends=('cvc4' 'yices' 'z3') +optdepends=('cvc4' 'yices' 'z3') +source=(https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz) +sha512sums=('fcfb36322d3cd82fa5c013d404cbe8c7c8e52dc8e1b8b530df8c1c174d67327e9a48ba1a4c0714d87925eecd69713b341c4c96055693d2b6788a0c6bf7fc56a9') + +prepare() { +cd $_hkgname-$pkgver +echo -e "import Distribution.Simple\nmain = defaultMain" > Setup.hs +uusi $_hkgname.cabal +} + +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 +# https://github.com/GaloisInc/what4/issues/67 +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-what4/repos (2 files)
Date: Wednesday, December 16, 2020 @ 12:27:25 Author: felixonmars Revision: 776657 archrelease: copy trunk to community-staging-x86_64 Added: haskell-what4/repos/community-staging-x86_64/ haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 776656, haskell-what4/trunk/PKGBUILD) --+ PKGBUILD | 58 ++ 1 file changed, 58 insertions(+) Copied: haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 776656, haskell-what4/trunk/PKGBUILD) === --- community-staging-x86_64/PKGBUILD (rev 0) +++ community-staging-x86_64/PKGBUILD 2020-12-16 12:27:25 UTC (rev 776657) @@ -0,0 +1,58 @@ +# Maintainer: Felix Yan + +_hkgname=what4 +pkgname=haskell-what4 +pkgver=1.0 +pkgrel=67 +pkgdesc="Solver-agnostic symbolic values support for issuing queries" +url="https://github.com/GaloisInc/what4; +license=('BSD') +arch=('x86_64') +depends=('ghc-libs' 'haskell-attoparsec' 'haskell-ansi-wl-pprint' 'haskell-bimap' + 'haskell-bifunctors' 'haskell-bv-sized' 'haskell-deriving-compat' + 'haskell-data-binary-ieee754' 'haskell-extra' 'haskell-fingertree' 'haskell-hashable' + 'haskell-hashtables' 'haskell-io-streams' 'haskell-lens' 'haskell-panic' + 'haskell-parameterized-utils' 'haskell-scientific' 'haskell-temporary' + 'haskell-th-abstraction' 'haskell-unordered-containers' 'haskell-utf8-string' + 'haskell-vector' 'haskell-versions' 'haskell-zenc') +makedepends=('ghc' 'uusi' 'haskell-hedgehog' 'haskell-quickcheck' 'haskell-tasty' 'haskell-tasty-hedgehog' + 'haskell-tasty-hunit' 'haskell-tasty-quickcheck') +checkdepends=('cvc4' 'yices' 'z3') +optdepends=('cvc4' 'yices' 'z3') +source=(https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz) +sha512sums=('fcfb36322d3cd82fa5c013d404cbe8c7c8e52dc8e1b8b530df8c1c174d67327e9a48ba1a4c0714d87925eecd69713b341c4c96055693d2b6788a0c6bf7fc56a9') + +prepare() { +cd $_hkgname-$pkgver +echo -e "import Distribution.Simple\nmain = defaultMain" > Setup.hs +uusi $_hkgname.cabal +} + +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 +# https://github.com/GaloisInc/what4/issues/67 +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-what4/repos (2 files)
Date: Monday, December 14, 2020 @ 12:17:18 Author: felixonmars Revision: 774938 archrelease: copy trunk to community-staging-x86_64 Added: haskell-what4/repos/community-staging-x86_64/ haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 774937, haskell-what4/trunk/PKGBUILD) --+ PKGBUILD | 58 ++ 1 file changed, 58 insertions(+) Copied: haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 774937, haskell-what4/trunk/PKGBUILD) === --- community-staging-x86_64/PKGBUILD (rev 0) +++ community-staging-x86_64/PKGBUILD 2020-12-14 12:17:18 UTC (rev 774938) @@ -0,0 +1,58 @@ +# Maintainer: Felix Yan + +_hkgname=what4 +pkgname=haskell-what4 +pkgver=1.0 +pkgrel=66 +pkgdesc="Solver-agnostic symbolic values support for issuing queries" +url="https://github.com/GaloisInc/what4; +license=('BSD') +arch=('x86_64') +depends=('ghc-libs' 'haskell-attoparsec' 'haskell-ansi-wl-pprint' 'haskell-bimap' + 'haskell-bifunctors' 'haskell-bv-sized' 'haskell-deriving-compat' + 'haskell-data-binary-ieee754' 'haskell-extra' 'haskell-fingertree' 'haskell-hashable' + 'haskell-hashtables' 'haskell-io-streams' 'haskell-lens' 'haskell-panic' + 'haskell-parameterized-utils' 'haskell-scientific' 'haskell-temporary' + 'haskell-th-abstraction' 'haskell-unordered-containers' 'haskell-utf8-string' + 'haskell-vector' 'haskell-versions' 'haskell-zenc') +makedepends=('ghc' 'uusi' 'haskell-hedgehog' 'haskell-quickcheck' 'haskell-tasty' 'haskell-tasty-hedgehog' + 'haskell-tasty-hunit' 'haskell-tasty-quickcheck') +checkdepends=('cvc4' 'yices' 'z3') +optdepends=('cvc4' 'yices' 'z3') +source=(https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz) +sha512sums=('fcfb36322d3cd82fa5c013d404cbe8c7c8e52dc8e1b8b530df8c1c174d67327e9a48ba1a4c0714d87925eecd69713b341c4c96055693d2b6788a0c6bf7fc56a9') + +prepare() { +cd $_hkgname-$pkgver +echo -e "import Distribution.Simple\nmain = defaultMain" > Setup.hs +uusi $_hkgname.cabal +} + +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 +# https://github.com/GaloisInc/what4/issues/67 +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-what4/repos (2 files)
Date: Tuesday, December 8, 2020 @ 18:09:44 Author: felixonmars Revision: 771955 archrelease: copy trunk to community-staging-x86_64 Added: haskell-what4/repos/community-staging-x86_64/ haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 771954, haskell-what4/trunk/PKGBUILD) --+ PKGBUILD | 58 ++ 1 file changed, 58 insertions(+) Copied: haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 771954, haskell-what4/trunk/PKGBUILD) === --- community-staging-x86_64/PKGBUILD (rev 0) +++ community-staging-x86_64/PKGBUILD 2020-12-08 18:09:44 UTC (rev 771955) @@ -0,0 +1,58 @@ +# Maintainer: Felix Yan + +_hkgname=what4 +pkgname=haskell-what4 +pkgver=1.0 +pkgrel=65 +pkgdesc="Solver-agnostic symbolic values support for issuing queries" +url="https://github.com/GaloisInc/what4; +license=('BSD') +arch=('x86_64') +depends=('ghc-libs' 'haskell-attoparsec' 'haskell-ansi-wl-pprint' 'haskell-bimap' + 'haskell-bifunctors' 'haskell-bv-sized' 'haskell-deriving-compat' + 'haskell-data-binary-ieee754' 'haskell-extra' 'haskell-fingertree' 'haskell-hashable' + 'haskell-hashtables' 'haskell-io-streams' 'haskell-lens' 'haskell-panic' + 'haskell-parameterized-utils' 'haskell-scientific' 'haskell-temporary' + 'haskell-th-abstraction' 'haskell-unordered-containers' 'haskell-utf8-string' + 'haskell-vector' 'haskell-versions' 'haskell-zenc') +makedepends=('ghc' 'uusi' 'haskell-hedgehog' 'haskell-quickcheck' 'haskell-tasty' 'haskell-tasty-hedgehog' + 'haskell-tasty-hunit' 'haskell-tasty-quickcheck') +checkdepends=('cvc4' 'yices' 'z3') +optdepends=('cvc4' 'yices' 'z3') +source=(https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz) +sha512sums=('fcfb36322d3cd82fa5c013d404cbe8c7c8e52dc8e1b8b530df8c1c174d67327e9a48ba1a4c0714d87925eecd69713b341c4c96055693d2b6788a0c6bf7fc56a9') + +prepare() { +cd $_hkgname-$pkgver +echo -e "import Distribution.Simple\nmain = defaultMain" > Setup.hs +uusi $_hkgname.cabal +} + +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 +# https://github.com/GaloisInc/what4/issues/67 +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-what4/repos (2 files)
Date: Friday, December 4, 2020 @ 22:54:48 Author: felixonmars Revision: 770206 archrelease: copy trunk to community-staging-x86_64 Added: haskell-what4/repos/community-staging-x86_64/ haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 770205, haskell-what4/trunk/PKGBUILD) --+ PKGBUILD | 58 ++ 1 file changed, 58 insertions(+) Copied: haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 770205, haskell-what4/trunk/PKGBUILD) === --- community-staging-x86_64/PKGBUILD (rev 0) +++ community-staging-x86_64/PKGBUILD 2020-12-04 22:54:48 UTC (rev 770206) @@ -0,0 +1,58 @@ +# Maintainer: Felix Yan + +_hkgname=what4 +pkgname=haskell-what4 +pkgver=1.0 +pkgrel=64 +pkgdesc="Solver-agnostic symbolic values support for issuing queries" +url="https://github.com/GaloisInc/what4; +license=('BSD') +arch=('x86_64') +depends=('ghc-libs' 'haskell-attoparsec' 'haskell-ansi-wl-pprint' 'haskell-bimap' + 'haskell-bifunctors' 'haskell-bv-sized' 'haskell-deriving-compat' + 'haskell-data-binary-ieee754' 'haskell-extra' 'haskell-fingertree' 'haskell-hashable' + 'haskell-hashtables' 'haskell-io-streams' 'haskell-lens' 'haskell-panic' + 'haskell-parameterized-utils' 'haskell-scientific' 'haskell-temporary' + 'haskell-th-abstraction' 'haskell-unordered-containers' 'haskell-utf8-string' + 'haskell-vector' 'haskell-versions' 'haskell-zenc') +makedepends=('ghc' 'uusi' 'haskell-hedgehog' 'haskell-quickcheck' 'haskell-tasty' 'haskell-tasty-hedgehog' + 'haskell-tasty-hunit' 'haskell-tasty-quickcheck') +checkdepends=('cvc4' 'yices' 'z3') +optdepends=('cvc4' 'yices' 'z3') +source=(https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz) +sha512sums=('fcfb36322d3cd82fa5c013d404cbe8c7c8e52dc8e1b8b530df8c1c174d67327e9a48ba1a4c0714d87925eecd69713b341c4c96055693d2b6788a0c6bf7fc56a9') + +prepare() { +cd $_hkgname-$pkgver +echo -e "import Distribution.Simple\nmain = defaultMain" > Setup.hs +uusi $_hkgname.cabal +} + +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 +# https://github.com/GaloisInc/what4/issues/67 +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-what4/repos (2 files)
Date: Monday, November 30, 2020 @ 21:44:45 Author: felixonmars Revision: 766772 archrelease: copy trunk to community-staging-x86_64 Added: haskell-what4/repos/community-staging-x86_64/ haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 766771, haskell-what4/trunk/PKGBUILD) --+ PKGBUILD | 58 ++ 1 file changed, 58 insertions(+) Copied: haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 766771, haskell-what4/trunk/PKGBUILD) === --- community-staging-x86_64/PKGBUILD (rev 0) +++ community-staging-x86_64/PKGBUILD 2020-11-30 21:44:45 UTC (rev 766772) @@ -0,0 +1,58 @@ +# Maintainer: Felix Yan + +_hkgname=what4 +pkgname=haskell-what4 +pkgver=1.0 +pkgrel=63 +pkgdesc="Solver-agnostic symbolic values support for issuing queries" +url="https://github.com/GaloisInc/what4; +license=('BSD') +arch=('x86_64') +depends=('ghc-libs' 'haskell-attoparsec' 'haskell-ansi-wl-pprint' 'haskell-bimap' + 'haskell-bifunctors' 'haskell-bv-sized' 'haskell-deriving-compat' + 'haskell-data-binary-ieee754' 'haskell-extra' 'haskell-fingertree' 'haskell-hashable' + 'haskell-hashtables' 'haskell-io-streams' 'haskell-lens' 'haskell-panic' + 'haskell-parameterized-utils' 'haskell-scientific' 'haskell-temporary' + 'haskell-th-abstraction' 'haskell-unordered-containers' 'haskell-utf8-string' + 'haskell-vector' 'haskell-versions' 'haskell-zenc') +makedepends=('ghc' 'uusi' 'haskell-hedgehog' 'haskell-quickcheck' 'haskell-tasty' 'haskell-tasty-hedgehog' + 'haskell-tasty-hunit' 'haskell-tasty-quickcheck') +checkdepends=('cvc4' 'yices' 'z3') +optdepends=('cvc4' 'yices' 'z3') +source=(https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz) +sha512sums=('fcfb36322d3cd82fa5c013d404cbe8c7c8e52dc8e1b8b530df8c1c174d67327e9a48ba1a4c0714d87925eecd69713b341c4c96055693d2b6788a0c6bf7fc56a9') + +prepare() { +cd $_hkgname-$pkgver +echo -e "import Distribution.Simple\nmain = defaultMain" > Setup.hs +uusi $_hkgname.cabal +} + +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 +# https://github.com/GaloisInc/what4/issues/67 +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-what4/repos (2 files)
Date: Saturday, November 28, 2020 @ 01:50:37 Author: felixonmars Revision: 764959 archrelease: copy trunk to community-staging-x86_64 Added: haskell-what4/repos/community-staging-x86_64/ haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 764958, haskell-what4/trunk/PKGBUILD) --+ PKGBUILD | 58 ++ 1 file changed, 58 insertions(+) Copied: haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 764958, haskell-what4/trunk/PKGBUILD) === --- community-staging-x86_64/PKGBUILD (rev 0) +++ community-staging-x86_64/PKGBUILD 2020-11-28 01:50:37 UTC (rev 764959) @@ -0,0 +1,58 @@ +# Maintainer: Felix Yan + +_hkgname=what4 +pkgname=haskell-what4 +pkgver=1.0 +pkgrel=62 +pkgdesc="Solver-agnostic symbolic values support for issuing queries" +url="https://github.com/GaloisInc/what4; +license=('BSD') +arch=('x86_64') +depends=('ghc-libs' 'haskell-attoparsec' 'haskell-ansi-wl-pprint' 'haskell-bimap' + 'haskell-bifunctors' 'haskell-bv-sized' 'haskell-deriving-compat' + 'haskell-data-binary-ieee754' 'haskell-extra' 'haskell-fingertree' 'haskell-hashable' + 'haskell-hashtables' 'haskell-io-streams' 'haskell-lens' 'haskell-panic' + 'haskell-parameterized-utils' 'haskell-scientific' 'haskell-temporary' + 'haskell-th-abstraction' 'haskell-unordered-containers' 'haskell-utf8-string' + 'haskell-vector' 'haskell-versions' 'haskell-zenc') +makedepends=('ghc' 'uusi' 'haskell-hedgehog' 'haskell-quickcheck' 'haskell-tasty' 'haskell-tasty-hedgehog' + 'haskell-tasty-hunit' 'haskell-tasty-quickcheck') +checkdepends=('cvc4' 'yices' 'z3') +optdepends=('cvc4' 'yices' 'z3') +source=(https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz) +sha512sums=('fcfb36322d3cd82fa5c013d404cbe8c7c8e52dc8e1b8b530df8c1c174d67327e9a48ba1a4c0714d87925eecd69713b341c4c96055693d2b6788a0c6bf7fc56a9') + +prepare() { +cd $_hkgname-$pkgver +echo -e "import Distribution.Simple\nmain = defaultMain" > Setup.hs +uusi $_hkgname.cabal +} + +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 +# https://github.com/GaloisInc/what4/issues/67 +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-what4/repos (2 files)
Date: Sunday, November 22, 2020 @ 23:36:29 Author: felixonmars Revision: 759737 archrelease: copy trunk to community-staging-x86_64 Added: haskell-what4/repos/community-staging-x86_64/ haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 759736, haskell-what4/trunk/PKGBUILD) --+ PKGBUILD | 58 ++ 1 file changed, 58 insertions(+) Copied: haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 759736, haskell-what4/trunk/PKGBUILD) === --- community-staging-x86_64/PKGBUILD (rev 0) +++ community-staging-x86_64/PKGBUILD 2020-11-22 23:36:29 UTC (rev 759737) @@ -0,0 +1,58 @@ +# Maintainer: Felix Yan + +_hkgname=what4 +pkgname=haskell-what4 +pkgver=1.0 +pkgrel=61 +pkgdesc="Solver-agnostic symbolic values support for issuing queries" +url="https://github.com/GaloisInc/what4; +license=('BSD') +arch=('x86_64') +depends=('ghc-libs' 'haskell-attoparsec' 'haskell-ansi-wl-pprint' 'haskell-bimap' + 'haskell-bifunctors' 'haskell-bv-sized' 'haskell-deriving-compat' + 'haskell-data-binary-ieee754' 'haskell-extra' 'haskell-fingertree' 'haskell-hashable' + 'haskell-hashtables' 'haskell-io-streams' 'haskell-lens' 'haskell-panic' + 'haskell-parameterized-utils' 'haskell-scientific' 'haskell-temporary' + 'haskell-th-abstraction' 'haskell-unordered-containers' 'haskell-utf8-string' + 'haskell-vector' 'haskell-versions' 'haskell-zenc') +makedepends=('ghc' 'uusi' 'haskell-hedgehog' 'haskell-quickcheck' 'haskell-tasty' 'haskell-tasty-hedgehog' + 'haskell-tasty-hunit' 'haskell-tasty-quickcheck') +checkdepends=('cvc4' 'yices' 'z3') +optdepends=('cvc4' 'yices' 'z3') +source=(https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz) +sha512sums=('fcfb36322d3cd82fa5c013d404cbe8c7c8e52dc8e1b8b530df8c1c174d67327e9a48ba1a4c0714d87925eecd69713b341c4c96055693d2b6788a0c6bf7fc56a9') + +prepare() { +cd $_hkgname-$pkgver +echo -e "import Distribution.Simple\nmain = defaultMain" > Setup.hs +uusi $_hkgname.cabal +} + +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 +# https://github.com/GaloisInc/what4/issues/67 +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-what4/repos (2 files)
Date: Tuesday, November 17, 2020 @ 05:20:34 Author: felixonmars Revision: 755950 archrelease: copy trunk to community-staging-x86_64 Added: haskell-what4/repos/community-staging-x86_64/ haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 755949, haskell-what4/trunk/PKGBUILD) --+ PKGBUILD | 58 ++ 1 file changed, 58 insertions(+) Copied: haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 755949, haskell-what4/trunk/PKGBUILD) === --- community-staging-x86_64/PKGBUILD (rev 0) +++ community-staging-x86_64/PKGBUILD 2020-11-17 05:20:34 UTC (rev 755950) @@ -0,0 +1,58 @@ +# Maintainer: Felix Yan + +_hkgname=what4 +pkgname=haskell-what4 +pkgver=1.0 +pkgrel=60 +pkgdesc="Solver-agnostic symbolic values support for issuing queries" +url="https://github.com/GaloisInc/what4; +license=('BSD') +arch=('x86_64') +depends=('ghc-libs' 'haskell-attoparsec' 'haskell-ansi-wl-pprint' 'haskell-bimap' + 'haskell-bifunctors' 'haskell-bv-sized' 'haskell-deriving-compat' + 'haskell-data-binary-ieee754' 'haskell-extra' 'haskell-fingertree' 'haskell-hashable' + 'haskell-hashtables' 'haskell-io-streams' 'haskell-lens' 'haskell-panic' + 'haskell-parameterized-utils' 'haskell-scientific' 'haskell-temporary' + 'haskell-th-abstraction' 'haskell-unordered-containers' 'haskell-utf8-string' + 'haskell-vector' 'haskell-versions' 'haskell-zenc') +makedepends=('ghc' 'uusi' 'haskell-hedgehog' 'haskell-quickcheck' 'haskell-tasty' 'haskell-tasty-hedgehog' + 'haskell-tasty-hunit' 'haskell-tasty-quickcheck') +checkdepends=('cvc4' 'yices' 'z3') +optdepends=('cvc4' 'yices' 'z3') +source=(https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz) +sha512sums=('fcfb36322d3cd82fa5c013d404cbe8c7c8e52dc8e1b8b530df8c1c174d67327e9a48ba1a4c0714d87925eecd69713b341c4c96055693d2b6788a0c6bf7fc56a9') + +prepare() { +cd $_hkgname-$pkgver +echo -e "import Distribution.Simple\nmain = defaultMain" > Setup.hs +uusi $_hkgname.cabal +} + +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 +# https://github.com/GaloisInc/what4/issues/67 +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-what4/repos (2 files)
Date: Saturday, November 7, 2020 @ 13:16:30 Author: felixonmars Revision: 745741 archrelease: copy trunk to community-staging-x86_64 Added: haskell-what4/repos/community-staging-x86_64/ haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 745740, haskell-what4/trunk/PKGBUILD) --+ PKGBUILD | 58 ++ 1 file changed, 58 insertions(+) Copied: haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 745740, haskell-what4/trunk/PKGBUILD) === --- community-staging-x86_64/PKGBUILD (rev 0) +++ community-staging-x86_64/PKGBUILD 2020-11-07 13:16:30 UTC (rev 745741) @@ -0,0 +1,58 @@ +# Maintainer: Felix Yan + +_hkgname=what4 +pkgname=haskell-what4 +pkgver=1.0 +pkgrel=59 +pkgdesc="Solver-agnostic symbolic values support for issuing queries" +url="https://github.com/GaloisInc/what4; +license=('BSD') +arch=('x86_64') +depends=('ghc-libs' 'haskell-attoparsec' 'haskell-ansi-wl-pprint' 'haskell-bimap' + 'haskell-bifunctors' 'haskell-bv-sized' 'haskell-deriving-compat' + 'haskell-data-binary-ieee754' 'haskell-extra' 'haskell-fingertree' 'haskell-hashable' + 'haskell-hashtables' 'haskell-io-streams' 'haskell-lens' 'haskell-panic' + 'haskell-parameterized-utils' 'haskell-scientific' 'haskell-temporary' + 'haskell-th-abstraction' 'haskell-unordered-containers' 'haskell-utf8-string' + 'haskell-vector' 'haskell-versions' 'haskell-zenc') +makedepends=('ghc' 'uusi' 'haskell-hedgehog' 'haskell-quickcheck' 'haskell-tasty' 'haskell-tasty-hedgehog' + 'haskell-tasty-hunit' 'haskell-tasty-quickcheck') +checkdepends=('cvc4' 'yices' 'z3') +optdepends=('cvc4' 'yices' 'z3') +source=(https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz) +sha512sums=('fcfb36322d3cd82fa5c013d404cbe8c7c8e52dc8e1b8b530df8c1c174d67327e9a48ba1a4c0714d87925eecd69713b341c4c96055693d2b6788a0c6bf7fc56a9') + +prepare() { +cd $_hkgname-$pkgver +echo -e "import Distribution.Simple\nmain = defaultMain" > Setup.hs +uusi $_hkgname.cabal +} + +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 +# https://github.com/GaloisInc/what4/issues/67 +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-what4/repos (2 files)
Date: Friday, November 6, 2020 @ 19:13:12 Author: felixonmars Revision: 744524 archrelease: copy trunk to community-staging-x86_64 Added: haskell-what4/repos/community-staging-x86_64/ haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 744523, haskell-what4/trunk/PKGBUILD) --+ PKGBUILD | 58 ++ 1 file changed, 58 insertions(+) Copied: haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 744523, haskell-what4/trunk/PKGBUILD) === --- community-staging-x86_64/PKGBUILD (rev 0) +++ community-staging-x86_64/PKGBUILD 2020-11-06 19:13:12 UTC (rev 744524) @@ -0,0 +1,58 @@ +# Maintainer: Felix Yan + +_hkgname=what4 +pkgname=haskell-what4 +pkgver=1.0 +pkgrel=58 +pkgdesc="Solver-agnostic symbolic values support for issuing queries" +url="https://github.com/GaloisInc/what4; +license=('BSD') +arch=('x86_64') +depends=('ghc-libs' 'haskell-attoparsec' 'haskell-ansi-wl-pprint' 'haskell-bimap' + 'haskell-bifunctors' 'haskell-bv-sized' 'haskell-deriving-compat' + 'haskell-data-binary-ieee754' 'haskell-extra' 'haskell-fingertree' 'haskell-hashable' + 'haskell-hashtables' 'haskell-io-streams' 'haskell-lens' 'haskell-panic' + 'haskell-parameterized-utils' 'haskell-scientific' 'haskell-temporary' + 'haskell-th-abstraction' 'haskell-unordered-containers' 'haskell-utf8-string' + 'haskell-vector' 'haskell-versions' 'haskell-zenc') +makedepends=('ghc' 'uusi' 'haskell-hedgehog' 'haskell-quickcheck' 'haskell-tasty' 'haskell-tasty-hedgehog' + 'haskell-tasty-hunit' 'haskell-tasty-quickcheck') +checkdepends=('cvc4' 'yices' 'z3') +optdepends=('cvc4' 'yices' 'z3') +source=(https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz) +sha512sums=('fcfb36322d3cd82fa5c013d404cbe8c7c8e52dc8e1b8b530df8c1c174d67327e9a48ba1a4c0714d87925eecd69713b341c4c96055693d2b6788a0c6bf7fc56a9') + +prepare() { +cd $_hkgname-$pkgver +echo -e "import Distribution.Simple\nmain = defaultMain" > Setup.hs +uusi $_hkgname.cabal +} + +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 +# https://github.com/GaloisInc/what4/issues/67 +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-what4/repos (2 files)
Date: Wednesday, November 4, 2020 @ 16:51:27 Author: felixonmars Revision: 742405 archrelease: copy trunk to community-staging-x86_64 Added: haskell-what4/repos/community-staging-x86_64/ haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 742404, haskell-what4/trunk/PKGBUILD) --+ PKGBUILD | 58 ++ 1 file changed, 58 insertions(+) Copied: haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 742404, haskell-what4/trunk/PKGBUILD) === --- community-staging-x86_64/PKGBUILD (rev 0) +++ community-staging-x86_64/PKGBUILD 2020-11-04 16:51:27 UTC (rev 742405) @@ -0,0 +1,58 @@ +# Maintainer: Felix Yan + +_hkgname=what4 +pkgname=haskell-what4 +pkgver=1.0 +pkgrel=57 +pkgdesc="Solver-agnostic symbolic values support for issuing queries" +url="https://github.com/GaloisInc/what4; +license=('BSD') +arch=('x86_64') +depends=('ghc-libs' 'haskell-attoparsec' 'haskell-ansi-wl-pprint' 'haskell-bimap' + 'haskell-bifunctors' 'haskell-bv-sized' 'haskell-deriving-compat' + 'haskell-data-binary-ieee754' 'haskell-extra' 'haskell-fingertree' 'haskell-hashable' + 'haskell-hashtables' 'haskell-io-streams' 'haskell-lens' 'haskell-panic' + 'haskell-parameterized-utils' 'haskell-scientific' 'haskell-temporary' + 'haskell-th-abstraction' 'haskell-unordered-containers' 'haskell-utf8-string' + 'haskell-vector' 'haskell-versions' 'haskell-zenc') +makedepends=('ghc' 'uusi' 'haskell-hedgehog' 'haskell-quickcheck' 'haskell-tasty' 'haskell-tasty-hedgehog' + 'haskell-tasty-hunit' 'haskell-tasty-quickcheck') +checkdepends=('cvc4' 'yices' 'z3') +optdepends=('cvc4' 'yices' 'z3') +source=(https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz) +sha512sums=('fcfb36322d3cd82fa5c013d404cbe8c7c8e52dc8e1b8b530df8c1c174d67327e9a48ba1a4c0714d87925eecd69713b341c4c96055693d2b6788a0c6bf7fc56a9') + +prepare() { +cd $_hkgname-$pkgver +echo -e "import Distribution.Simple\nmain = defaultMain" > Setup.hs +uusi $_hkgname.cabal +} + +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 +# https://github.com/GaloisInc/what4/issues/67 +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-what4/repos (2 files)
Date: Wednesday, November 4, 2020 @ 13:27:19 Author: felixonmars Revision: 742005 archrelease: copy trunk to community-staging-x86_64 Added: haskell-what4/repos/community-staging-x86_64/ haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 742004, haskell-what4/trunk/PKGBUILD) --+ PKGBUILD | 58 ++ 1 file changed, 58 insertions(+) Copied: haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 742004, haskell-what4/trunk/PKGBUILD) === --- community-staging-x86_64/PKGBUILD (rev 0) +++ community-staging-x86_64/PKGBUILD 2020-11-04 13:27:19 UTC (rev 742005) @@ -0,0 +1,58 @@ +# Maintainer: Felix Yan + +_hkgname=what4 +pkgname=haskell-what4 +pkgver=1.0 +pkgrel=56 +pkgdesc="Solver-agnostic symbolic values support for issuing queries" +url="https://github.com/GaloisInc/what4; +license=('BSD') +arch=('x86_64') +depends=('ghc-libs' 'haskell-attoparsec' 'haskell-ansi-wl-pprint' 'haskell-bimap' + 'haskell-bifunctors' 'haskell-bv-sized' 'haskell-deriving-compat' + 'haskell-data-binary-ieee754' 'haskell-extra' 'haskell-fingertree' 'haskell-hashable' + 'haskell-hashtables' 'haskell-io-streams' 'haskell-lens' 'haskell-panic' + 'haskell-parameterized-utils' 'haskell-scientific' 'haskell-temporary' + 'haskell-th-abstraction' 'haskell-unordered-containers' 'haskell-utf8-string' + 'haskell-vector' 'haskell-versions' 'haskell-zenc') +makedepends=('ghc' 'uusi' 'haskell-hedgehog' 'haskell-quickcheck' 'haskell-tasty' 'haskell-tasty-hedgehog' + 'haskell-tasty-hunit' 'haskell-tasty-quickcheck') +checkdepends=('cvc4' 'yices' 'z3') +optdepends=('cvc4' 'yices' 'z3') +source=(https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz) +sha512sums=('fcfb36322d3cd82fa5c013d404cbe8c7c8e52dc8e1b8b530df8c1c174d67327e9a48ba1a4c0714d87925eecd69713b341c4c96055693d2b6788a0c6bf7fc56a9') + +prepare() { +cd $_hkgname-$pkgver +echo -e "import Distribution.Simple\nmain = defaultMain" > Setup.hs +uusi $_hkgname.cabal +} + +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 +# https://github.com/GaloisInc/what4/issues/67 +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-what4/repos (2 files)
Date: Tuesday, November 3, 2020 @ 10:05:40 Author: felixonmars Revision: 740524 archrelease: copy trunk to community-staging-x86_64 Added: haskell-what4/repos/community-staging-x86_64/ haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 740523, haskell-what4/trunk/PKGBUILD) --+ PKGBUILD | 58 ++ 1 file changed, 58 insertions(+) Copied: haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 740523, haskell-what4/trunk/PKGBUILD) === --- community-staging-x86_64/PKGBUILD (rev 0) +++ community-staging-x86_64/PKGBUILD 2020-11-03 10:05:40 UTC (rev 740524) @@ -0,0 +1,58 @@ +# Maintainer: Felix Yan + +_hkgname=what4 +pkgname=haskell-what4 +pkgver=1.0 +pkgrel=55 +pkgdesc="Solver-agnostic symbolic values support for issuing queries" +url="https://github.com/GaloisInc/what4; +license=('BSD') +arch=('x86_64') +depends=('ghc-libs' 'haskell-attoparsec' 'haskell-ansi-wl-pprint' 'haskell-bimap' + 'haskell-bifunctors' 'haskell-bv-sized' 'haskell-deriving-compat' + 'haskell-data-binary-ieee754' 'haskell-extra' 'haskell-fingertree' 'haskell-hashable' + 'haskell-hashtables' 'haskell-io-streams' 'haskell-lens' 'haskell-panic' + 'haskell-parameterized-utils' 'haskell-scientific' 'haskell-temporary' + 'haskell-th-abstraction' 'haskell-unordered-containers' 'haskell-utf8-string' + 'haskell-vector' 'haskell-versions' 'haskell-zenc') +makedepends=('ghc' 'uusi' 'haskell-hedgehog' 'haskell-quickcheck' 'haskell-tasty' 'haskell-tasty-hedgehog' + 'haskell-tasty-hunit' 'haskell-tasty-quickcheck') +checkdepends=('cvc4' 'yices' 'z3') +optdepends=('cvc4' 'yices' 'z3') +source=(https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz) +sha512sums=('fcfb36322d3cd82fa5c013d404cbe8c7c8e52dc8e1b8b530df8c1c174d67327e9a48ba1a4c0714d87925eecd69713b341c4c96055693d2b6788a0c6bf7fc56a9') + +prepare() { +cd $_hkgname-$pkgver +echo -e "import Distribution.Simple\nmain = defaultMain" > Setup.hs +uusi $_hkgname.cabal +} + +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 +# https://github.com/GaloisInc/what4/issues/67 +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-what4/repos (2 files)
Date: Saturday, October 31, 2020 @ 23:16:59 Author: felixonmars Revision: 737992 archrelease: copy trunk to community-staging-x86_64 Added: haskell-what4/repos/community-staging-x86_64/ haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 737991, haskell-what4/trunk/PKGBUILD) --+ PKGBUILD | 58 ++ 1 file changed, 58 insertions(+) Copied: haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 737991, haskell-what4/trunk/PKGBUILD) === --- community-staging-x86_64/PKGBUILD (rev 0) +++ community-staging-x86_64/PKGBUILD 2020-10-31 23:16:59 UTC (rev 737992) @@ -0,0 +1,58 @@ +# Maintainer: Felix Yan + +_hkgname=what4 +pkgname=haskell-what4 +pkgver=1.0 +pkgrel=54 +pkgdesc="Solver-agnostic symbolic values support for issuing queries" +url="https://github.com/GaloisInc/what4; +license=('BSD') +arch=('x86_64') +depends=('ghc-libs' 'haskell-attoparsec' 'haskell-ansi-wl-pprint' 'haskell-bimap' + 'haskell-bifunctors' 'haskell-bv-sized' 'haskell-deriving-compat' + 'haskell-data-binary-ieee754' 'haskell-extra' 'haskell-fingertree' 'haskell-hashable' + 'haskell-hashtables' 'haskell-io-streams' 'haskell-lens' 'haskell-panic' + 'haskell-parameterized-utils' 'haskell-scientific' 'haskell-temporary' + 'haskell-th-abstraction' 'haskell-unordered-containers' 'haskell-utf8-string' + 'haskell-vector' 'haskell-versions' 'haskell-zenc') +makedepends=('ghc' 'uusi' 'haskell-hedgehog' 'haskell-quickcheck' 'haskell-tasty' 'haskell-tasty-hedgehog' + 'haskell-tasty-hunit' 'haskell-tasty-quickcheck') +checkdepends=('cvc4' 'yices' 'z3') +optdepends=('cvc4' 'yices' 'z3') +source=(https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz) +sha512sums=('fcfb36322d3cd82fa5c013d404cbe8c7c8e52dc8e1b8b530df8c1c174d67327e9a48ba1a4c0714d87925eecd69713b341c4c96055693d2b6788a0c6bf7fc56a9') + +prepare() { +cd $_hkgname-$pkgver +echo -e "import Distribution.Simple\nmain = defaultMain" > Setup.hs +uusi $_hkgname.cabal +} + +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 +# https://github.com/GaloisInc/what4/issues/67 +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-what4/repos (2 files)
Date: Wednesday, October 28, 2020 @ 11:09:04 Author: felixonmars Revision: 735424 archrelease: copy trunk to community-staging-x86_64 Added: haskell-what4/repos/community-staging-x86_64/ haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 735423, haskell-what4/trunk/PKGBUILD) --+ PKGBUILD | 58 ++ 1 file changed, 58 insertions(+) Copied: haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 735423, haskell-what4/trunk/PKGBUILD) === --- community-staging-x86_64/PKGBUILD (rev 0) +++ community-staging-x86_64/PKGBUILD 2020-10-28 11:09:04 UTC (rev 735424) @@ -0,0 +1,58 @@ +# Maintainer: Felix Yan + +_hkgname=what4 +pkgname=haskell-what4 +pkgver=1.0 +pkgrel=53 +pkgdesc="Solver-agnostic symbolic values support for issuing queries" +url="https://github.com/GaloisInc/what4; +license=('BSD') +arch=('x86_64') +depends=('ghc-libs' 'haskell-attoparsec' 'haskell-ansi-wl-pprint' 'haskell-bimap' + 'haskell-bifunctors' 'haskell-bv-sized' 'haskell-deriving-compat' + 'haskell-data-binary-ieee754' 'haskell-extra' 'haskell-fingertree' 'haskell-hashable' + 'haskell-hashtables' 'haskell-io-streams' 'haskell-lens' 'haskell-panic' + 'haskell-parameterized-utils' 'haskell-scientific' 'haskell-temporary' + 'haskell-th-abstraction' 'haskell-unordered-containers' 'haskell-utf8-string' + 'haskell-vector' 'haskell-versions' 'haskell-zenc') +makedepends=('ghc' 'uusi' 'haskell-hedgehog' 'haskell-quickcheck' 'haskell-tasty' 'haskell-tasty-hedgehog' + 'haskell-tasty-hunit' 'haskell-tasty-quickcheck') +checkdepends=('cvc4' 'yices' 'z3') +optdepends=('cvc4' 'yices' 'z3') +source=(https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz) +sha512sums=('fcfb36322d3cd82fa5c013d404cbe8c7c8e52dc8e1b8b530df8c1c174d67327e9a48ba1a4c0714d87925eecd69713b341c4c96055693d2b6788a0c6bf7fc56a9') + +prepare() { +cd $_hkgname-$pkgver +echo -e "import Distribution.Simple\nmain = defaultMain" > Setup.hs +uusi $_hkgname.cabal +} + +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 +# https://github.com/GaloisInc/what4/issues/67 +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-what4/repos (2 files)
Date: Sunday, October 25, 2020 @ 23:51:46 Author: felixonmars Revision: 733735 archrelease: copy trunk to community-staging-x86_64 Added: haskell-what4/repos/community-staging-x86_64/ haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 733734, haskell-what4/trunk/PKGBUILD) --+ PKGBUILD | 58 ++ 1 file changed, 58 insertions(+) Copied: haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 733734, haskell-what4/trunk/PKGBUILD) === --- community-staging-x86_64/PKGBUILD (rev 0) +++ community-staging-x86_64/PKGBUILD 2020-10-25 23:51:46 UTC (rev 733735) @@ -0,0 +1,58 @@ +# Maintainer: Felix Yan + +_hkgname=what4 +pkgname=haskell-what4 +pkgver=1.0 +pkgrel=52 +pkgdesc="Solver-agnostic symbolic values support for issuing queries" +url="https://github.com/GaloisInc/what4; +license=('BSD') +arch=('x86_64') +depends=('ghc-libs' 'haskell-attoparsec' 'haskell-ansi-wl-pprint' 'haskell-bimap' + 'haskell-bifunctors' 'haskell-bv-sized' 'haskell-deriving-compat' + 'haskell-data-binary-ieee754' 'haskell-extra' 'haskell-fingertree' 'haskell-hashable' + 'haskell-hashtables' 'haskell-io-streams' 'haskell-lens' 'haskell-panic' + 'haskell-parameterized-utils' 'haskell-scientific' 'haskell-temporary' + 'haskell-th-abstraction' 'haskell-unordered-containers' 'haskell-utf8-string' + 'haskell-vector' 'haskell-versions' 'haskell-zenc') +makedepends=('ghc' 'uusi' 'haskell-hedgehog' 'haskell-quickcheck' 'haskell-tasty' 'haskell-tasty-hedgehog' + 'haskell-tasty-hunit' 'haskell-tasty-quickcheck') +checkdepends=('cvc4' 'yices' 'z3') +optdepends=('cvc4' 'yices' 'z3') +source=(https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz) +sha512sums=('fcfb36322d3cd82fa5c013d404cbe8c7c8e52dc8e1b8b530df8c1c174d67327e9a48ba1a4c0714d87925eecd69713b341c4c96055693d2b6788a0c6bf7fc56a9') + +prepare() { +cd $_hkgname-$pkgver +echo -e "import Distribution.Simple\nmain = defaultMain" > Setup.hs +uusi $_hkgname.cabal +} + +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 +# https://github.com/GaloisInc/what4/issues/67 +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-what4/repos (2 files)
Date: Sunday, October 25, 2020 @ 14:32:45 Author: felixonmars Revision: 732682 archrelease: copy trunk to community-staging-x86_64 Added: haskell-what4/repos/community-staging-x86_64/ haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 732681, haskell-what4/trunk/PKGBUILD) --+ PKGBUILD | 58 ++ 1 file changed, 58 insertions(+) Copied: haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 732681, haskell-what4/trunk/PKGBUILD) === --- community-staging-x86_64/PKGBUILD (rev 0) +++ community-staging-x86_64/PKGBUILD 2020-10-25 14:32:45 UTC (rev 732682) @@ -0,0 +1,58 @@ +# Maintainer: Felix Yan + +_hkgname=what4 +pkgname=haskell-what4 +pkgver=1.0 +pkgrel=51 +pkgdesc="Solver-agnostic symbolic values support for issuing queries" +url="https://github.com/GaloisInc/what4; +license=('BSD') +arch=('x86_64') +depends=('ghc-libs' 'haskell-attoparsec' 'haskell-ansi-wl-pprint' 'haskell-bimap' + 'haskell-bifunctors' 'haskell-bv-sized' 'haskell-deriving-compat' + 'haskell-data-binary-ieee754' 'haskell-extra' 'haskell-fingertree' 'haskell-hashable' + 'haskell-hashtables' 'haskell-io-streams' 'haskell-lens' 'haskell-panic' + 'haskell-parameterized-utils' 'haskell-scientific' 'haskell-temporary' + 'haskell-th-abstraction' 'haskell-unordered-containers' 'haskell-utf8-string' + 'haskell-vector' 'haskell-versions' 'haskell-zenc') +makedepends=('ghc' 'uusi' 'haskell-hedgehog' 'haskell-quickcheck' 'haskell-tasty' 'haskell-tasty-hedgehog' + 'haskell-tasty-hunit' 'haskell-tasty-quickcheck') +checkdepends=('cvc4' 'yices' 'z3') +optdepends=('cvc4' 'yices' 'z3') +source=(https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz) +sha512sums=('fcfb36322d3cd82fa5c013d404cbe8c7c8e52dc8e1b8b530df8c1c174d67327e9a48ba1a4c0714d87925eecd69713b341c4c96055693d2b6788a0c6bf7fc56a9') + +prepare() { +cd $_hkgname-$pkgver +echo -e "import Distribution.Simple\nmain = defaultMain" > Setup.hs +uusi $_hkgname.cabal +} + +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 +# https://github.com/GaloisInc/what4/issues/67 +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-what4/repos (2 files)
Date: Saturday, October 24, 2020 @ 09:45:53 Author: felixonmars Revision: 731140 archrelease: copy trunk to community-staging-x86_64 Added: haskell-what4/repos/community-staging-x86_64/ haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 731139, haskell-what4/trunk/PKGBUILD) --+ PKGBUILD | 58 ++ 1 file changed, 58 insertions(+) Copied: haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 731139, haskell-what4/trunk/PKGBUILD) === --- community-staging-x86_64/PKGBUILD (rev 0) +++ community-staging-x86_64/PKGBUILD 2020-10-24 09:45:53 UTC (rev 731140) @@ -0,0 +1,58 @@ +# Maintainer: Felix Yan + +_hkgname=what4 +pkgname=haskell-what4 +pkgver=1.0 +pkgrel=50 +pkgdesc="Solver-agnostic symbolic values support for issuing queries" +url="https://github.com/GaloisInc/what4; +license=('BSD') +arch=('x86_64') +depends=('ghc-libs' 'haskell-attoparsec' 'haskell-ansi-wl-pprint' 'haskell-bimap' + 'haskell-bifunctors' 'haskell-bv-sized' 'haskell-deriving-compat' + 'haskell-data-binary-ieee754' 'haskell-extra' 'haskell-fingertree' 'haskell-hashable' + 'haskell-hashtables' 'haskell-io-streams' 'haskell-lens' 'haskell-panic' + 'haskell-parameterized-utils' 'haskell-scientific' 'haskell-temporary' + 'haskell-th-abstraction' 'haskell-unordered-containers' 'haskell-utf8-string' + 'haskell-vector' 'haskell-versions' 'haskell-zenc') +makedepends=('ghc' 'uusi' 'haskell-hedgehog' 'haskell-quickcheck' 'haskell-tasty' 'haskell-tasty-hedgehog' + 'haskell-tasty-hunit' 'haskell-tasty-quickcheck') +checkdepends=('cvc4' 'yices' 'z3') +optdepends=('cvc4' 'yices' 'z3') +source=(https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz) +sha512sums=('fcfb36322d3cd82fa5c013d404cbe8c7c8e52dc8e1b8b530df8c1c174d67327e9a48ba1a4c0714d87925eecd69713b341c4c96055693d2b6788a0c6bf7fc56a9') + +prepare() { +cd $_hkgname-$pkgver +echo -e "import Distribution.Simple\nmain = defaultMain" > Setup.hs +uusi $_hkgname.cabal +} + +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 +# https://github.com/GaloisInc/what4/issues/67 +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-what4/repos (2 files)
Date: Friday, October 23, 2020 @ 09:44:59 Author: felixonmars Revision: 730644 archrelease: copy trunk to community-staging-x86_64 Added: haskell-what4/repos/community-staging-x86_64/ haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 730643, haskell-what4/trunk/PKGBUILD) --+ PKGBUILD | 58 ++ 1 file changed, 58 insertions(+) Copied: haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 730643, haskell-what4/trunk/PKGBUILD) === --- community-staging-x86_64/PKGBUILD (rev 0) +++ community-staging-x86_64/PKGBUILD 2020-10-23 09:44:59 UTC (rev 730644) @@ -0,0 +1,58 @@ +# Maintainer: Felix Yan + +_hkgname=what4 +pkgname=haskell-what4 +pkgver=1.0 +pkgrel=49 +pkgdesc="Solver-agnostic symbolic values support for issuing queries" +url="https://github.com/GaloisInc/what4; +license=('BSD') +arch=('x86_64') +depends=('ghc-libs' 'haskell-attoparsec' 'haskell-ansi-wl-pprint' 'haskell-bimap' + 'haskell-bifunctors' 'haskell-bv-sized' 'haskell-deriving-compat' + 'haskell-data-binary-ieee754' 'haskell-extra' 'haskell-fingertree' 'haskell-hashable' + 'haskell-hashtables' 'haskell-io-streams' 'haskell-lens' 'haskell-panic' + 'haskell-parameterized-utils' 'haskell-scientific' 'haskell-temporary' + 'haskell-th-abstraction' 'haskell-unordered-containers' 'haskell-utf8-string' + 'haskell-vector' 'haskell-versions' 'haskell-zenc') +makedepends=('ghc' 'uusi' 'haskell-hedgehog' 'haskell-quickcheck' 'haskell-tasty' 'haskell-tasty-hedgehog' + 'haskell-tasty-hunit' 'haskell-tasty-quickcheck') +checkdepends=('cvc4' 'yices' 'z3') +optdepends=('cvc4' 'yices' 'z3') +source=(https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz) +sha512sums=('fcfb36322d3cd82fa5c013d404cbe8c7c8e52dc8e1b8b530df8c1c174d67327e9a48ba1a4c0714d87925eecd69713b341c4c96055693d2b6788a0c6bf7fc56a9') + +prepare() { +cd $_hkgname-$pkgver +echo -e "import Distribution.Simple\nmain = defaultMain" > Setup.hs +uusi $_hkgname.cabal +} + +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 +# https://github.com/GaloisInc/what4/issues/67 +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-what4/repos (2 files)
Date: Thursday, October 22, 2020 @ 23:52:15 Author: felixonmars Revision: 730368 archrelease: copy trunk to community-staging-x86_64 Added: haskell-what4/repos/community-staging-x86_64/ haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 730367, haskell-what4/trunk/PKGBUILD) --+ PKGBUILD | 58 ++ 1 file changed, 58 insertions(+) Copied: haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 730367, haskell-what4/trunk/PKGBUILD) === --- community-staging-x86_64/PKGBUILD (rev 0) +++ community-staging-x86_64/PKGBUILD 2020-10-22 23:52:15 UTC (rev 730368) @@ -0,0 +1,58 @@ +# Maintainer: Felix Yan + +_hkgname=what4 +pkgname=haskell-what4 +pkgver=1.0 +pkgrel=48 +pkgdesc="Solver-agnostic symbolic values support for issuing queries" +url="https://github.com/GaloisInc/what4; +license=('BSD') +arch=('x86_64') +depends=('ghc-libs' 'haskell-attoparsec' 'haskell-ansi-wl-pprint' 'haskell-bimap' + 'haskell-bifunctors' 'haskell-bv-sized' 'haskell-deriving-compat' + 'haskell-data-binary-ieee754' 'haskell-extra' 'haskell-fingertree' 'haskell-hashable' + 'haskell-hashtables' 'haskell-io-streams' 'haskell-lens' 'haskell-panic' + 'haskell-parameterized-utils' 'haskell-scientific' 'haskell-temporary' + 'haskell-th-abstraction' 'haskell-unordered-containers' 'haskell-utf8-string' + 'haskell-vector' 'haskell-versions' 'haskell-zenc') +makedepends=('ghc' 'uusi' 'haskell-hedgehog' 'haskell-quickcheck' 'haskell-tasty' 'haskell-tasty-hedgehog' + 'haskell-tasty-hunit' 'haskell-tasty-quickcheck') +checkdepends=('cvc4' 'yices' 'z3') +optdepends=('cvc4' 'yices' 'z3') +source=(https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz) +sha512sums=('fcfb36322d3cd82fa5c013d404cbe8c7c8e52dc8e1b8b530df8c1c174d67327e9a48ba1a4c0714d87925eecd69713b341c4c96055693d2b6788a0c6bf7fc56a9') + +prepare() { +cd $_hkgname-$pkgver +echo -e "import Distribution.Simple\nmain = defaultMain" > Setup.hs +uusi $_hkgname.cabal +} + +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 +# https://github.com/GaloisInc/what4/issues/67 +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-what4/repos (2 files)
Date: Thursday, October 22, 2020 @ 11:36:51 Author: felixonmars Revision: 729053 archrelease: copy trunk to community-staging-x86_64 Added: haskell-what4/repos/community-staging-x86_64/ haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 729052, haskell-what4/trunk/PKGBUILD) --+ PKGBUILD | 58 ++ 1 file changed, 58 insertions(+) Copied: haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 729052, haskell-what4/trunk/PKGBUILD) === --- community-staging-x86_64/PKGBUILD (rev 0) +++ community-staging-x86_64/PKGBUILD 2020-10-22 11:36:51 UTC (rev 729053) @@ -0,0 +1,58 @@ +# Maintainer: Felix Yan + +_hkgname=what4 +pkgname=haskell-what4 +pkgver=1.0 +pkgrel=47 +pkgdesc="Solver-agnostic symbolic values support for issuing queries" +url="https://github.com/GaloisInc/what4; +license=('BSD') +arch=('x86_64') +depends=('ghc-libs' 'haskell-attoparsec' 'haskell-ansi-wl-pprint' 'haskell-bimap' + 'haskell-bifunctors' 'haskell-bv-sized' 'haskell-deriving-compat' + 'haskell-data-binary-ieee754' 'haskell-extra' 'haskell-fingertree' 'haskell-hashable' + 'haskell-hashtables' 'haskell-io-streams' 'haskell-lens' 'haskell-panic' + 'haskell-parameterized-utils' 'haskell-scientific' 'haskell-temporary' + 'haskell-th-abstraction' 'haskell-unordered-containers' 'haskell-utf8-string' + 'haskell-vector' 'haskell-versions' 'haskell-zenc') +makedepends=('ghc' 'uusi' 'haskell-hedgehog' 'haskell-quickcheck' 'haskell-tasty' 'haskell-tasty-hedgehog' + 'haskell-tasty-hunit' 'haskell-tasty-quickcheck') +checkdepends=('cvc4' 'yices' 'z3') +optdepends=('cvc4' 'yices' 'z3') +source=(https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz) +sha512sums=('fcfb36322d3cd82fa5c013d404cbe8c7c8e52dc8e1b8b530df8c1c174d67327e9a48ba1a4c0714d87925eecd69713b341c4c96055693d2b6788a0c6bf7fc56a9') + +prepare() { +cd $_hkgname-$pkgver +echo -e "import Distribution.Simple\nmain = defaultMain" > Setup.hs +uusi $_hkgname.cabal +} + +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 +# https://github.com/GaloisInc/what4/issues/67 +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-what4/repos (2 files)
Date: Sunday, October 18, 2020 @ 23:24:57 Author: felixonmars Revision: 726933 archrelease: copy trunk to community-staging-x86_64 Added: haskell-what4/repos/community-staging-x86_64/ haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 726932, haskell-what4/trunk/PKGBUILD) --+ PKGBUILD | 58 ++ 1 file changed, 58 insertions(+) Copied: haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 726932, haskell-what4/trunk/PKGBUILD) === --- community-staging-x86_64/PKGBUILD (rev 0) +++ community-staging-x86_64/PKGBUILD 2020-10-18 23:24:57 UTC (rev 726933) @@ -0,0 +1,58 @@ +# Maintainer: Felix Yan + +_hkgname=what4 +pkgname=haskell-what4 +pkgver=1.0 +pkgrel=46 +pkgdesc="Solver-agnostic symbolic values support for issuing queries" +url="https://github.com/GaloisInc/what4; +license=('BSD') +arch=('x86_64') +depends=('ghc-libs' 'haskell-attoparsec' 'haskell-ansi-wl-pprint' 'haskell-bimap' + 'haskell-bifunctors' 'haskell-bv-sized' 'haskell-deriving-compat' + 'haskell-data-binary-ieee754' 'haskell-extra' 'haskell-fingertree' 'haskell-hashable' + 'haskell-hashtables' 'haskell-io-streams' 'haskell-lens' 'haskell-panic' + 'haskell-parameterized-utils' 'haskell-scientific' 'haskell-temporary' + 'haskell-th-abstraction' 'haskell-unordered-containers' 'haskell-utf8-string' + 'haskell-vector' 'haskell-versions' 'haskell-zenc') +makedepends=('ghc' 'uusi' 'haskell-hedgehog' 'haskell-quickcheck' 'haskell-tasty' 'haskell-tasty-hedgehog' + 'haskell-tasty-hunit' 'haskell-tasty-quickcheck') +checkdepends=('cvc4' 'yices' 'z3') +optdepends=('cvc4' 'yices' 'z3') +source=(https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz) +sha512sums=('fcfb36322d3cd82fa5c013d404cbe8c7c8e52dc8e1b8b530df8c1c174d67327e9a48ba1a4c0714d87925eecd69713b341c4c96055693d2b6788a0c6bf7fc56a9') + +prepare() { +cd $_hkgname-$pkgver +echo -e "import Distribution.Simple\nmain = defaultMain" > Setup.hs +uusi $_hkgname.cabal +} + +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 +# https://github.com/GaloisInc/what4/issues/67 +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-what4/repos (2 files)
Date: Saturday, October 17, 2020 @ 23:46:53 Author: felixonmars Revision: 725776 archrelease: copy trunk to community-staging-x86_64 Added: haskell-what4/repos/community-staging-x86_64/ haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 725775, haskell-what4/trunk/PKGBUILD) --+ PKGBUILD | 58 ++ 1 file changed, 58 insertions(+) Copied: haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 725775, haskell-what4/trunk/PKGBUILD) === --- community-staging-x86_64/PKGBUILD (rev 0) +++ community-staging-x86_64/PKGBUILD 2020-10-17 23:46:53 UTC (rev 725776) @@ -0,0 +1,58 @@ +# Maintainer: Felix Yan + +_hkgname=what4 +pkgname=haskell-what4 +pkgver=1.0 +pkgrel=45 +pkgdesc="Solver-agnostic symbolic values support for issuing queries" +url="https://github.com/GaloisInc/what4; +license=('BSD') +arch=('x86_64') +depends=('ghc-libs' 'haskell-attoparsec' 'haskell-ansi-wl-pprint' 'haskell-bimap' + 'haskell-bifunctors' 'haskell-bv-sized' 'haskell-deriving-compat' + 'haskell-data-binary-ieee754' 'haskell-extra' 'haskell-fingertree' 'haskell-hashable' + 'haskell-hashtables' 'haskell-io-streams' 'haskell-lens' 'haskell-panic' + 'haskell-parameterized-utils' 'haskell-scientific' 'haskell-temporary' + 'haskell-th-abstraction' 'haskell-unordered-containers' 'haskell-utf8-string' + 'haskell-vector' 'haskell-versions' 'haskell-zenc') +makedepends=('ghc' 'uusi' 'haskell-hedgehog' 'haskell-quickcheck' 'haskell-tasty' 'haskell-tasty-hedgehog' + 'haskell-tasty-hunit' 'haskell-tasty-quickcheck') +checkdepends=('cvc4' 'yices' 'z3') +optdepends=('cvc4' 'yices' 'z3') +source=(https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz) +sha512sums=('fcfb36322d3cd82fa5c013d404cbe8c7c8e52dc8e1b8b530df8c1c174d67327e9a48ba1a4c0714d87925eecd69713b341c4c96055693d2b6788a0c6bf7fc56a9') + +prepare() { +cd $_hkgname-$pkgver +echo -e "import Distribution.Simple\nmain = defaultMain" > Setup.hs +uusi $_hkgname.cabal +} + +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 +# https://github.com/GaloisInc/what4/issues/67 +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-what4/repos (2 files)
Date: Wednesday, October 14, 2020 @ 21:17:25 Author: felixonmars Revision: 724000 archrelease: copy trunk to community-staging-x86_64 Added: haskell-what4/repos/community-staging-x86_64/ haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 723999, haskell-what4/trunk/PKGBUILD) --+ PKGBUILD | 57 + 1 file changed, 57 insertions(+) Copied: haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 723999, haskell-what4/trunk/PKGBUILD) === --- community-staging-x86_64/PKGBUILD (rev 0) +++ community-staging-x86_64/PKGBUILD 2020-10-14 21:17:25 UTC (rev 724000) @@ -0,0 +1,57 @@ +# Maintainer: Felix Yan + +_hkgname=what4 +pkgname=haskell-what4 +pkgver=1.0 +pkgrel=44 +pkgdesc="Solver-agnostic symbolic values support for issuing queries" +url="https://github.com/GaloisInc/what4; +license=('BSD') +arch=('x86_64') +depends=('ghc-libs' 'haskell-attoparsec' 'haskell-ansi-wl-pprint' 'haskell-bimap' + 'haskell-bifunctors' 'haskell-bv-sized' 'haskell-deriving-compat' + 'haskell-data-binary-ieee754' 'haskell-extra' 'haskell-fingertree' 'haskell-hashable' + 'haskell-hashtables' 'haskell-io-streams' 'haskell-lens' 'haskell-panic' + 'haskell-parameterized-utils' 'haskell-scientific' 'haskell-temporary' + 'haskell-th-abstraction' 'haskell-unordered-containers' 'haskell-utf8-string' + 'haskell-vector' 'haskell-versions' 'haskell-zenc') +makedepends=('ghc' 'haskell-hedgehog' 'haskell-quickcheck' 'haskell-tasty' 'haskell-tasty-hedgehog' + 'haskell-tasty-hunit' 'haskell-tasty-quickcheck') +checkdepends=('cvc4' 'yices' 'z3') +optdepends=('cvc4' 'yices' 'z3') +source=(https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz) +sha512sums=('fcfb36322d3cd82fa5c013d404cbe8c7c8e52dc8e1b8b530df8c1c174d67327e9a48ba1a4c0714d87925eecd69713b341c4c96055693d2b6788a0c6bf7fc56a9') + +prepare() { +cd $_hkgname-$pkgver +echo -e "import Distribution.Simple\nmain = defaultMain" > Setup.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 +# https://github.com/GaloisInc/what4/issues/67 +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-what4/repos (2 files)
Date: Saturday, October 10, 2020 @ 08:24:57 Author: felixonmars Revision: 722912 archrelease: copy trunk to community-staging-x86_64 Added: haskell-what4/repos/community-staging-x86_64/ haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 722911, haskell-what4/trunk/PKGBUILD) --+ PKGBUILD | 57 + 1 file changed, 57 insertions(+) Copied: haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 722911, haskell-what4/trunk/PKGBUILD) === --- community-staging-x86_64/PKGBUILD (rev 0) +++ community-staging-x86_64/PKGBUILD 2020-10-10 08:24:57 UTC (rev 722912) @@ -0,0 +1,57 @@ +# Maintainer: Felix Yan + +_hkgname=what4 +pkgname=haskell-what4 +pkgver=1.0 +pkgrel=43 +pkgdesc="Solver-agnostic symbolic values support for issuing queries" +url="https://github.com/GaloisInc/what4; +license=('BSD') +arch=('x86_64') +depends=('ghc-libs' 'haskell-attoparsec' 'haskell-ansi-wl-pprint' 'haskell-bimap' + 'haskell-bifunctors' 'haskell-bv-sized' 'haskell-deriving-compat' + 'haskell-data-binary-ieee754' 'haskell-extra' 'haskell-fingertree' 'haskell-hashable' + 'haskell-hashtables' 'haskell-io-streams' 'haskell-lens' 'haskell-panic' + 'haskell-parameterized-utils' 'haskell-scientific' 'haskell-temporary' + 'haskell-th-abstraction' 'haskell-unordered-containers' 'haskell-utf8-string' + 'haskell-vector' 'haskell-versions' 'haskell-zenc') +makedepends=('ghc' 'haskell-hedgehog' 'haskell-quickcheck' 'haskell-tasty' 'haskell-tasty-hedgehog' + 'haskell-tasty-hunit' 'haskell-tasty-quickcheck') +checkdepends=('cvc4' 'yices' 'z3') +optdepends=('cvc4' 'yices' 'z3') +source=(https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz) +sha512sums=('fcfb36322d3cd82fa5c013d404cbe8c7c8e52dc8e1b8b530df8c1c174d67327e9a48ba1a4c0714d87925eecd69713b341c4c96055693d2b6788a0c6bf7fc56a9') + +prepare() { +cd $_hkgname-$pkgver +echo -e "import Distribution.Simple\nmain = defaultMain" > Setup.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 +# https://github.com/GaloisInc/what4/issues/67 +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-what4/repos (2 files)
Date: Wednesday, October 7, 2020 @ 14:31:10 Author: felixonmars Revision: 720657 archrelease: copy trunk to community-staging-x86_64 Added: haskell-what4/repos/community-staging-x86_64/ haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 720656, haskell-what4/trunk/PKGBUILD) --+ PKGBUILD | 57 + 1 file changed, 57 insertions(+) Copied: haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 720656, haskell-what4/trunk/PKGBUILD) === --- community-staging-x86_64/PKGBUILD (rev 0) +++ community-staging-x86_64/PKGBUILD 2020-10-07 14:31:10 UTC (rev 720657) @@ -0,0 +1,57 @@ +# Maintainer: Felix Yan + +_hkgname=what4 +pkgname=haskell-what4 +pkgver=1.0 +pkgrel=42 +pkgdesc="Solver-agnostic symbolic values support for issuing queries" +url="https://github.com/GaloisInc/what4; +license=('BSD') +arch=('x86_64') +depends=('ghc-libs' 'haskell-attoparsec' 'haskell-ansi-wl-pprint' 'haskell-bimap' + 'haskell-bifunctors' 'haskell-bv-sized' 'haskell-deriving-compat' + 'haskell-data-binary-ieee754' 'haskell-extra' 'haskell-fingertree' 'haskell-hashable' + 'haskell-hashtables' 'haskell-io-streams' 'haskell-lens' 'haskell-panic' + 'haskell-parameterized-utils' 'haskell-scientific' 'haskell-temporary' + 'haskell-th-abstraction' 'haskell-unordered-containers' 'haskell-utf8-string' + 'haskell-vector' 'haskell-versions' 'haskell-zenc') +makedepends=('ghc' 'haskell-hedgehog' 'haskell-quickcheck' 'haskell-tasty' 'haskell-tasty-hedgehog' + 'haskell-tasty-hunit' 'haskell-tasty-quickcheck') +checkdepends=('cvc4' 'yices' 'z3') +optdepends=('cvc4' 'yices' 'z3') +source=(https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz) +sha512sums=('fcfb36322d3cd82fa5c013d404cbe8c7c8e52dc8e1b8b530df8c1c174d67327e9a48ba1a4c0714d87925eecd69713b341c4c96055693d2b6788a0c6bf7fc56a9') + +prepare() { +cd $_hkgname-$pkgver +echo -e "import Distribution.Simple\nmain = defaultMain" > Setup.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 +# https://github.com/GaloisInc/what4/issues/67 +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-what4/repos (2 files)
Date: Monday, October 5, 2020 @ 22:10:53 Author: felixonmars Revision: 719191 archrelease: copy trunk to community-staging-x86_64 Added: haskell-what4/repos/community-staging-x86_64/ haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 719190, haskell-what4/trunk/PKGBUILD) --+ PKGBUILD | 57 + 1 file changed, 57 insertions(+) Copied: haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 719190, haskell-what4/trunk/PKGBUILD) === --- community-staging-x86_64/PKGBUILD (rev 0) +++ community-staging-x86_64/PKGBUILD 2020-10-05 22:10:53 UTC (rev 719191) @@ -0,0 +1,57 @@ +# Maintainer: Felix Yan + +_hkgname=what4 +pkgname=haskell-what4 +pkgver=1.0 +pkgrel=41 +pkgdesc="Solver-agnostic symbolic values support for issuing queries" +url="https://github.com/GaloisInc/what4; +license=('BSD') +arch=('x86_64') +depends=('ghc-libs' 'haskell-attoparsec' 'haskell-ansi-wl-pprint' 'haskell-bimap' + 'haskell-bifunctors' 'haskell-bv-sized' 'haskell-deriving-compat' + 'haskell-data-binary-ieee754' 'haskell-extra' 'haskell-fingertree' 'haskell-hashable' + 'haskell-hashtables' 'haskell-io-streams' 'haskell-lens' 'haskell-panic' + 'haskell-parameterized-utils' 'haskell-scientific' 'haskell-temporary' + 'haskell-th-abstraction' 'haskell-unordered-containers' 'haskell-utf8-string' + 'haskell-vector' 'haskell-versions' 'haskell-zenc') +makedepends=('ghc' 'haskell-hedgehog' 'haskell-quickcheck' 'haskell-tasty' 'haskell-tasty-hedgehog' + 'haskell-tasty-hunit' 'haskell-tasty-quickcheck') +checkdepends=('cvc4' 'yices' 'z3') +optdepends=('cvc4' 'yices' 'z3') +source=(https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz) +sha512sums=('fcfb36322d3cd82fa5c013d404cbe8c7c8e52dc8e1b8b530df8c1c174d67327e9a48ba1a4c0714d87925eecd69713b341c4c96055693d2b6788a0c6bf7fc56a9') + +prepare() { +cd $_hkgname-$pkgver +echo -e "import Distribution.Simple\nmain = defaultMain" > Setup.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 +# https://github.com/GaloisInc/what4/issues/67 +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-what4/repos (2 files)
Date: Sunday, October 4, 2020 @ 11:16:42 Author: felixonmars Revision: 717631 archrelease: copy trunk to community-staging-x86_64 Added: haskell-what4/repos/community-staging-x86_64/ haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 717630, haskell-what4/trunk/PKGBUILD) --+ PKGBUILD | 57 + 1 file changed, 57 insertions(+) Copied: haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 717630, haskell-what4/trunk/PKGBUILD) === --- community-staging-x86_64/PKGBUILD (rev 0) +++ community-staging-x86_64/PKGBUILD 2020-10-04 11:16:42 UTC (rev 717631) @@ -0,0 +1,57 @@ +# Maintainer: Felix Yan + +_hkgname=what4 +pkgname=haskell-what4 +pkgver=1.0 +pkgrel=40 +pkgdesc="Solver-agnostic symbolic values support for issuing queries" +url="https://github.com/GaloisInc/what4; +license=('BSD') +arch=('x86_64') +depends=('ghc-libs' 'haskell-attoparsec' 'haskell-ansi-wl-pprint' 'haskell-bimap' + 'haskell-bifunctors' 'haskell-bv-sized' 'haskell-deriving-compat' + 'haskell-data-binary-ieee754' 'haskell-extra' 'haskell-fingertree' 'haskell-hashable' + 'haskell-hashtables' 'haskell-io-streams' 'haskell-lens' 'haskell-panic' + 'haskell-parameterized-utils' 'haskell-scientific' 'haskell-temporary' + 'haskell-th-abstraction' 'haskell-unordered-containers' 'haskell-utf8-string' + 'haskell-vector' 'haskell-versions' 'haskell-zenc') +makedepends=('ghc' 'haskell-hedgehog' 'haskell-quickcheck' 'haskell-tasty' 'haskell-tasty-hedgehog' + 'haskell-tasty-hunit' 'haskell-tasty-quickcheck') +checkdepends=('cvc4' 'yices' 'z3') +optdepends=('cvc4' 'yices' 'z3') +source=(https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz) +sha512sums=('fcfb36322d3cd82fa5c013d404cbe8c7c8e52dc8e1b8b530df8c1c174d67327e9a48ba1a4c0714d87925eecd69713b341c4c96055693d2b6788a0c6bf7fc56a9') + +prepare() { +cd $_hkgname-$pkgver +echo -e "import Distribution.Simple\nmain = defaultMain" > Setup.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 +# https://github.com/GaloisInc/what4/issues/67 +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-what4/repos (2 files)
Date: Friday, October 2, 2020 @ 12:17:09 Author: felixonmars Revision: 715412 archrelease: copy trunk to community-staging-x86_64 Added: haskell-what4/repos/community-staging-x86_64/ haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 715411, haskell-what4/trunk/PKGBUILD) --+ PKGBUILD | 57 + 1 file changed, 57 insertions(+) Copied: haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 715411, haskell-what4/trunk/PKGBUILD) === --- community-staging-x86_64/PKGBUILD (rev 0) +++ community-staging-x86_64/PKGBUILD 2020-10-02 12:17:09 UTC (rev 715412) @@ -0,0 +1,57 @@ +# Maintainer: Felix Yan + +_hkgname=what4 +pkgname=haskell-what4 +pkgver=1.0 +pkgrel=39 +pkgdesc="Solver-agnostic symbolic values support for issuing queries" +url="https://github.com/GaloisInc/what4; +license=('BSD') +arch=('x86_64') +depends=('ghc-libs' 'haskell-attoparsec' 'haskell-ansi-wl-pprint' 'haskell-bimap' + 'haskell-bifunctors' 'haskell-bv-sized' 'haskell-deriving-compat' + 'haskell-data-binary-ieee754' 'haskell-extra' 'haskell-fingertree' 'haskell-hashable' + 'haskell-hashtables' 'haskell-io-streams' 'haskell-lens' 'haskell-panic' + 'haskell-parameterized-utils' 'haskell-scientific' 'haskell-temporary' + 'haskell-th-abstraction' 'haskell-unordered-containers' 'haskell-utf8-string' + 'haskell-vector' 'haskell-versions' 'haskell-zenc') +makedepends=('ghc' 'haskell-hedgehog' 'haskell-quickcheck' 'haskell-tasty' 'haskell-tasty-hedgehog' + 'haskell-tasty-hunit' 'haskell-tasty-quickcheck') +checkdepends=('cvc4' 'yices' 'z3') +optdepends=('cvc4' 'yices' 'z3') +source=(https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz) +sha512sums=('fcfb36322d3cd82fa5c013d404cbe8c7c8e52dc8e1b8b530df8c1c174d67327e9a48ba1a4c0714d87925eecd69713b341c4c96055693d2b6788a0c6bf7fc56a9') + +prepare() { +cd $_hkgname-$pkgver +echo -e "import Distribution.Simple\nmain = defaultMain" > Setup.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 +# https://github.com/GaloisInc/what4/issues/67 +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-what4/repos (2 files)
Date: Tuesday, September 29, 2020 @ 20:10:02 Author: felixonmars Revision: 713812 archrelease: copy trunk to community-staging-x86_64 Added: haskell-what4/repos/community-staging-x86_64/ haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 713811, haskell-what4/trunk/PKGBUILD) --+ PKGBUILD | 57 + 1 file changed, 57 insertions(+) Copied: haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 713811, haskell-what4/trunk/PKGBUILD) === --- community-staging-x86_64/PKGBUILD (rev 0) +++ community-staging-x86_64/PKGBUILD 2020-09-29 20:10:02 UTC (rev 713812) @@ -0,0 +1,57 @@ +# Maintainer: Felix Yan + +_hkgname=what4 +pkgname=haskell-what4 +pkgver=1.0 +pkgrel=38 +pkgdesc="Solver-agnostic symbolic values support for issuing queries" +url="https://github.com/GaloisInc/what4; +license=('BSD') +arch=('x86_64') +depends=('ghc-libs' 'haskell-attoparsec' 'haskell-ansi-wl-pprint' 'haskell-bimap' + 'haskell-bifunctors' 'haskell-bv-sized' 'haskell-deriving-compat' + 'haskell-data-binary-ieee754' 'haskell-extra' 'haskell-fingertree' 'haskell-hashable' + 'haskell-hashtables' 'haskell-io-streams' 'haskell-lens' 'haskell-panic' + 'haskell-parameterized-utils' 'haskell-scientific' 'haskell-temporary' + 'haskell-th-abstraction' 'haskell-unordered-containers' 'haskell-utf8-string' + 'haskell-vector' 'haskell-versions' 'haskell-zenc') +makedepends=('ghc' 'haskell-hedgehog' 'haskell-quickcheck' 'haskell-tasty' 'haskell-tasty-hedgehog' + 'haskell-tasty-hunit' 'haskell-tasty-quickcheck') +checkdepends=('cvc4' 'yices' 'z3') +optdepends=('cvc4' 'yices' 'z3') +source=(https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz) +sha512sums=('fcfb36322d3cd82fa5c013d404cbe8c7c8e52dc8e1b8b530df8c1c174d67327e9a48ba1a4c0714d87925eecd69713b341c4c96055693d2b6788a0c6bf7fc56a9') + +prepare() { +cd $_hkgname-$pkgver +echo -e "import Distribution.Simple\nmain = defaultMain" > Setup.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 +# https://github.com/GaloisInc/what4/issues/67 +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-what4/repos (2 files)
Date: Thursday, September 24, 2020 @ 14:36:08 Author: felixonmars Revision: 711828 archrelease: copy trunk to community-staging-x86_64 Added: haskell-what4/repos/community-staging-x86_64/ haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 711827, haskell-what4/trunk/PKGBUILD) --+ PKGBUILD | 57 + 1 file changed, 57 insertions(+) Copied: haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 711827, haskell-what4/trunk/PKGBUILD) === --- community-staging-x86_64/PKGBUILD (rev 0) +++ community-staging-x86_64/PKGBUILD 2020-09-24 14:36:08 UTC (rev 711828) @@ -0,0 +1,57 @@ +# Maintainer: Felix Yan + +_hkgname=what4 +pkgname=haskell-what4 +pkgver=1.0 +pkgrel=37 +pkgdesc="Solver-agnostic symbolic values support for issuing queries" +url="https://github.com/GaloisInc/what4; +license=('BSD') +arch=('x86_64') +depends=('ghc-libs' 'haskell-attoparsec' 'haskell-ansi-wl-pprint' 'haskell-bimap' + 'haskell-bifunctors' 'haskell-bv-sized' 'haskell-deriving-compat' + 'haskell-data-binary-ieee754' 'haskell-extra' 'haskell-fingertree' 'haskell-hashable' + 'haskell-hashtables' 'haskell-io-streams' 'haskell-lens' 'haskell-panic' + 'haskell-parameterized-utils' 'haskell-scientific' 'haskell-temporary' + 'haskell-th-abstraction' 'haskell-unordered-containers' 'haskell-utf8-string' + 'haskell-vector' 'haskell-versions' 'haskell-zenc') +makedepends=('ghc' 'haskell-hedgehog' 'haskell-quickcheck' 'haskell-tasty' 'haskell-tasty-hedgehog' + 'haskell-tasty-hunit' 'haskell-tasty-quickcheck') +checkdepends=('cvc4' 'yices' 'z3') +optdepends=('cvc4' 'yices' 'z3') +source=(https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz) +sha512sums=('fcfb36322d3cd82fa5c013d404cbe8c7c8e52dc8e1b8b530df8c1c174d67327e9a48ba1a4c0714d87925eecd69713b341c4c96055693d2b6788a0c6bf7fc56a9') + +prepare() { +cd $_hkgname-$pkgver +echo -e "import Distribution.Simple\nmain = defaultMain" > Setup.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 +# https://github.com/GaloisInc/what4/issues/67 +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-what4/repos (2 files)
Date: Saturday, September 19, 2020 @ 01:31:39 Author: felixonmars Revision: 710834 archrelease: copy trunk to community-staging-x86_64 Added: haskell-what4/repos/community-staging-x86_64/ haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 710833, haskell-what4/trunk/PKGBUILD) --+ PKGBUILD | 57 + 1 file changed, 57 insertions(+) Copied: haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 710833, haskell-what4/trunk/PKGBUILD) === --- community-staging-x86_64/PKGBUILD (rev 0) +++ community-staging-x86_64/PKGBUILD 2020-09-19 01:31:39 UTC (rev 710834) @@ -0,0 +1,57 @@ +# Maintainer: Felix Yan + +_hkgname=what4 +pkgname=haskell-what4 +pkgver=1.0 +pkgrel=36 +pkgdesc="Solver-agnostic symbolic values support for issuing queries" +url="https://github.com/GaloisInc/what4; +license=('BSD') +arch=('x86_64') +depends=('ghc-libs' 'haskell-attoparsec' 'haskell-ansi-wl-pprint' 'haskell-bimap' + 'haskell-bifunctors' 'haskell-bv-sized' 'haskell-deriving-compat' + 'haskell-data-binary-ieee754' 'haskell-extra' 'haskell-fingertree' 'haskell-hashable' + 'haskell-hashtables' 'haskell-io-streams' 'haskell-lens' 'haskell-panic' + 'haskell-parameterized-utils' 'haskell-scientific' 'haskell-temporary' + 'haskell-th-abstraction' 'haskell-unordered-containers' 'haskell-utf8-string' + 'haskell-vector' 'haskell-versions' 'haskell-zenc') +makedepends=('ghc' 'haskell-hedgehog' 'haskell-quickcheck' 'haskell-tasty' 'haskell-tasty-hedgehog' + 'haskell-tasty-hunit' 'haskell-tasty-quickcheck') +checkdepends=('cvc4' 'yices' 'z3') +optdepends=('cvc4' 'yices' 'z3') +source=(https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz) +sha512sums=('fcfb36322d3cd82fa5c013d404cbe8c7c8e52dc8e1b8b530df8c1c174d67327e9a48ba1a4c0714d87925eecd69713b341c4c96055693d2b6788a0c6bf7fc56a9') + +prepare() { +cd $_hkgname-$pkgver +echo -e "import Distribution.Simple\nmain = defaultMain" > Setup.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 +# https://github.com/GaloisInc/what4/issues/67 +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-what4/repos (2 files)
Date: Friday, September 18, 2020 @ 04:56:36 Author: felixonmars Revision: 709781 archrelease: copy trunk to community-staging-x86_64 Added: haskell-what4/repos/community-staging-x86_64/ haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 709780, haskell-what4/trunk/PKGBUILD) --+ PKGBUILD | 57 + 1 file changed, 57 insertions(+) Copied: haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 709780, haskell-what4/trunk/PKGBUILD) === --- community-staging-x86_64/PKGBUILD (rev 0) +++ community-staging-x86_64/PKGBUILD 2020-09-18 04:56:36 UTC (rev 709781) @@ -0,0 +1,57 @@ +# Maintainer: Felix Yan + +_hkgname=what4 +pkgname=haskell-what4 +pkgver=1.0 +pkgrel=35 +pkgdesc="Solver-agnostic symbolic values support for issuing queries" +url="https://github.com/GaloisInc/what4; +license=('BSD') +arch=('x86_64') +depends=('ghc-libs' 'haskell-attoparsec' 'haskell-ansi-wl-pprint' 'haskell-bimap' + 'haskell-bifunctors' 'haskell-bv-sized' 'haskell-deriving-compat' + 'haskell-data-binary-ieee754' 'haskell-extra' 'haskell-fingertree' 'haskell-hashable' + 'haskell-hashtables' 'haskell-io-streams' 'haskell-lens' 'haskell-panic' + 'haskell-parameterized-utils' 'haskell-scientific' 'haskell-temporary' + 'haskell-th-abstraction' 'haskell-unordered-containers' 'haskell-utf8-string' + 'haskell-vector' 'haskell-versions' 'haskell-zenc') +makedepends=('ghc' 'haskell-hedgehog' 'haskell-quickcheck' 'haskell-tasty' 'haskell-tasty-hedgehog' + 'haskell-tasty-hunit' 'haskell-tasty-quickcheck') +checkdepends=('cvc4' 'yices' 'z3') +optdepends=('cvc4' 'yices' 'z3') +source=(https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz) +sha512sums=('fcfb36322d3cd82fa5c013d404cbe8c7c8e52dc8e1b8b530df8c1c174d67327e9a48ba1a4c0714d87925eecd69713b341c4c96055693d2b6788a0c6bf7fc56a9') + +prepare() { +cd $_hkgname-$pkgver +echo -e "import Distribution.Simple\nmain = defaultMain" > Setup.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 +# https://github.com/GaloisInc/what4/issues/67 +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-what4/repos (2 files)
Date: Wednesday, September 16, 2020 @ 15:44:03 Author: felixonmars Revision: 708116 archrelease: copy trunk to community-staging-x86_64 Added: haskell-what4/repos/community-staging-x86_64/ haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 708115, haskell-what4/trunk/PKGBUILD) --+ PKGBUILD | 57 + 1 file changed, 57 insertions(+) Copied: haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 708115, haskell-what4/trunk/PKGBUILD) === --- community-staging-x86_64/PKGBUILD (rev 0) +++ community-staging-x86_64/PKGBUILD 2020-09-16 15:44:03 UTC (rev 708116) @@ -0,0 +1,57 @@ +# Maintainer: Felix Yan + +_hkgname=what4 +pkgname=haskell-what4 +pkgver=1.0 +pkgrel=34 +pkgdesc="Solver-agnostic symbolic values support for issuing queries" +url="https://github.com/GaloisInc/what4; +license=('BSD') +arch=('x86_64') +depends=('ghc-libs' 'haskell-attoparsec' 'haskell-ansi-wl-pprint' 'haskell-bimap' + 'haskell-bifunctors' 'haskell-bv-sized' 'haskell-deriving-compat' + 'haskell-data-binary-ieee754' 'haskell-extra' 'haskell-fingertree' 'haskell-hashable' + 'haskell-hashtables' 'haskell-io-streams' 'haskell-lens' 'haskell-panic' + 'haskell-parameterized-utils' 'haskell-scientific' 'haskell-temporary' + 'haskell-th-abstraction' 'haskell-unordered-containers' 'haskell-utf8-string' + 'haskell-vector' 'haskell-versions' 'haskell-zenc') +makedepends=('ghc' 'haskell-hedgehog' 'haskell-quickcheck' 'haskell-tasty' 'haskell-tasty-hedgehog' + 'haskell-tasty-hunit' 'haskell-tasty-quickcheck') +checkdepends=('cvc4' 'yices' 'z3') +optdepends=('cvc4' 'yices' 'z3') +source=(https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz) +sha512sums=('fcfb36322d3cd82fa5c013d404cbe8c7c8e52dc8e1b8b530df8c1c174d67327e9a48ba1a4c0714d87925eecd69713b341c4c96055693d2b6788a0c6bf7fc56a9') + +prepare() { +cd $_hkgname-$pkgver +echo -e "import Distribution.Simple\nmain = defaultMain" > Setup.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 +# https://github.com/GaloisInc/what4/issues/67 +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-what4/repos (2 files)
Date: Tuesday, September 15, 2020 @ 08:05:02 Author: felixonmars Revision: 707059 archrelease: copy trunk to community-staging-x86_64 Added: haskell-what4/repos/community-staging-x86_64/ haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 707058, haskell-what4/trunk/PKGBUILD) --+ PKGBUILD | 57 + 1 file changed, 57 insertions(+) Copied: haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 707058, haskell-what4/trunk/PKGBUILD) === --- community-staging-x86_64/PKGBUILD (rev 0) +++ community-staging-x86_64/PKGBUILD 2020-09-15 08:05:02 UTC (rev 707059) @@ -0,0 +1,57 @@ +# Maintainer: Felix Yan + +_hkgname=what4 +pkgname=haskell-what4 +pkgver=1.0 +pkgrel=33 +pkgdesc="Solver-agnostic symbolic values support for issuing queries" +url="https://github.com/GaloisInc/what4; +license=('BSD') +arch=('x86_64') +depends=('ghc-libs' 'haskell-attoparsec' 'haskell-ansi-wl-pprint' 'haskell-bimap' + 'haskell-bifunctors' 'haskell-bv-sized' 'haskell-deriving-compat' + 'haskell-data-binary-ieee754' 'haskell-extra' 'haskell-fingertree' 'haskell-hashable' + 'haskell-hashtables' 'haskell-io-streams' 'haskell-lens' 'haskell-panic' + 'haskell-parameterized-utils' 'haskell-scientific' 'haskell-temporary' + 'haskell-th-abstraction' 'haskell-unordered-containers' 'haskell-utf8-string' + 'haskell-vector' 'haskell-versions' 'haskell-zenc') +makedepends=('ghc' 'haskell-hedgehog' 'haskell-quickcheck' 'haskell-tasty' 'haskell-tasty-hedgehog' + 'haskell-tasty-hunit' 'haskell-tasty-quickcheck') +checkdepends=('cvc4' 'yices' 'z3') +optdepends=('cvc4' 'yices' 'z3') +source=(https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz) +sha512sums=('fcfb36322d3cd82fa5c013d404cbe8c7c8e52dc8e1b8b530df8c1c174d67327e9a48ba1a4c0714d87925eecd69713b341c4c96055693d2b6788a0c6bf7fc56a9') + +prepare() { +cd $_hkgname-$pkgver +echo -e "import Distribution.Simple\nmain = defaultMain" > Setup.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 +# https://github.com/GaloisInc/what4/issues/67 +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-what4/repos (2 files)
Date: Saturday, September 12, 2020 @ 21:44:12 Author: felixonmars Revision: 704885 archrelease: copy trunk to community-staging-x86_64 Added: haskell-what4/repos/community-staging-x86_64/ haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 704884, haskell-what4/trunk/PKGBUILD) --+ PKGBUILD | 57 + 1 file changed, 57 insertions(+) Copied: haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 704884, haskell-what4/trunk/PKGBUILD) === --- community-staging-x86_64/PKGBUILD (rev 0) +++ community-staging-x86_64/PKGBUILD 2020-09-12 21:44:12 UTC (rev 704885) @@ -0,0 +1,57 @@ +# Maintainer: Felix Yan + +_hkgname=what4 +pkgname=haskell-what4 +pkgver=1.0 +pkgrel=32 +pkgdesc="Solver-agnostic symbolic values support for issuing queries" +url="https://github.com/GaloisInc/what4; +license=('BSD') +arch=('x86_64') +depends=('ghc-libs' 'haskell-attoparsec' 'haskell-ansi-wl-pprint' 'haskell-bimap' + 'haskell-bifunctors' 'haskell-bv-sized' 'haskell-deriving-compat' + 'haskell-data-binary-ieee754' 'haskell-extra' 'haskell-fingertree' 'haskell-hashable' + 'haskell-hashtables' 'haskell-io-streams' 'haskell-lens' 'haskell-panic' + 'haskell-parameterized-utils' 'haskell-scientific' 'haskell-temporary' + 'haskell-th-abstraction' 'haskell-unordered-containers' 'haskell-utf8-string' + 'haskell-vector' 'haskell-versions' 'haskell-zenc') +makedepends=('ghc' 'haskell-hedgehog' 'haskell-quickcheck' 'haskell-tasty' 'haskell-tasty-hedgehog' + 'haskell-tasty-hunit' 'haskell-tasty-quickcheck') +checkdepends=('cvc4' 'yices' 'z3') +optdepends=('cvc4' 'yices' 'z3') +source=(https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz) +sha512sums=('fcfb36322d3cd82fa5c013d404cbe8c7c8e52dc8e1b8b530df8c1c174d67327e9a48ba1a4c0714d87925eecd69713b341c4c96055693d2b6788a0c6bf7fc56a9') + +prepare() { +cd $_hkgname-$pkgver +echo -e "import Distribution.Simple\nmain = defaultMain" > Setup.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 +# https://github.com/GaloisInc/what4/issues/67 +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-what4/repos (2 files)
Date: Friday, September 11, 2020 @ 12:33:59 Author: felixonmars Revision: 702765 archrelease: copy trunk to community-staging-x86_64 Added: haskell-what4/repos/community-staging-x86_64/ haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 702764, haskell-what4/trunk/PKGBUILD) --+ PKGBUILD | 56 1 file changed, 56 insertions(+) Copied: haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 702764, haskell-what4/trunk/PKGBUILD) === --- community-staging-x86_64/PKGBUILD (rev 0) +++ community-staging-x86_64/PKGBUILD 2020-09-11 12:33:59 UTC (rev 702765) @@ -0,0 +1,56 @@ +# Maintainer: Felix Yan + +_hkgname=what4 +pkgname=haskell-what4 +pkgver=1.0 +pkgrel=31 +pkgdesc="Solver-agnostic symbolic values support for issuing queries" +url="https://github.com/GaloisInc/what4; +license=('BSD') +arch=('x86_64') +depends=('ghc-libs' 'haskell-attoparsec' 'haskell-ansi-wl-pprint' 'haskell-bimap' + 'haskell-bifunctors' 'haskell-bv-sized' 'haskell-deriving-compat' + 'haskell-data-binary-ieee754' 'haskell-extra' 'haskell-fingertree' 'haskell-hashable' + 'haskell-hashtables' 'haskell-io-streams' 'haskell-lens' 'haskell-panic' + 'haskell-parameterized-utils' 'haskell-scientific' 'haskell-temporary' + 'haskell-th-abstraction' 'haskell-unordered-containers' 'haskell-utf8-string' + 'haskell-vector' 'haskell-versions' 'haskell-zenc') +makedepends=('ghc' 'haskell-hedgehog' 'haskell-quickcheck' 'haskell-tasty' 'haskell-tasty-hedgehog' + 'haskell-tasty-hunit' 'haskell-tasty-quickcheck') +checkdepends=('cvc4' 'yices' 'z3') +optdepends=('cvc4' 'yices' 'z3') +source=(https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz) +sha512sums=('fcfb36322d3cd82fa5c013d404cbe8c7c8e52dc8e1b8b530df8c1c174d67327e9a48ba1a4c0714d87925eecd69713b341c4c96055693d2b6788a0c6bf7fc56a9') + +prepare() { +cd $_hkgname-$pkgver +echo -e "import Distribution.Simple\nmain = defaultMain" > Setup.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 +}
[arch-commits] Commit in haskell-what4/repos (2 files)
Date: Tuesday, September 8, 2020 @ 23:26:36 Author: felixonmars Revision: 701433 archrelease: copy trunk to community-staging-x86_64 Added: haskell-what4/repos/community-staging-x86_64/ haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 701432, haskell-what4/trunk/PKGBUILD) --+ PKGBUILD | 56 1 file changed, 56 insertions(+) Copied: haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 701432, haskell-what4/trunk/PKGBUILD) === --- community-staging-x86_64/PKGBUILD (rev 0) +++ community-staging-x86_64/PKGBUILD 2020-09-08 23:26:36 UTC (rev 701433) @@ -0,0 +1,56 @@ +# Maintainer: Felix Yan + +_hkgname=what4 +pkgname=haskell-what4 +pkgver=1.0 +pkgrel=30 +pkgdesc="Solver-agnostic symbolic values support for issuing queries" +url="https://github.com/GaloisInc/what4; +license=('BSD') +arch=('x86_64') +depends=('ghc-libs' 'haskell-attoparsec' 'haskell-ansi-wl-pprint' 'haskell-bimap' + 'haskell-bifunctors' 'haskell-bv-sized' 'haskell-deriving-compat' + 'haskell-data-binary-ieee754' 'haskell-extra' 'haskell-fingertree' 'haskell-hashable' + 'haskell-hashtables' 'haskell-io-streams' 'haskell-lens' 'haskell-panic' + 'haskell-parameterized-utils' 'haskell-scientific' 'haskell-temporary' + 'haskell-th-abstraction' 'haskell-unordered-containers' 'haskell-utf8-string' + 'haskell-vector' 'haskell-versions' 'haskell-zenc') +makedepends=('ghc' 'haskell-hedgehog' 'haskell-quickcheck' 'haskell-tasty' 'haskell-tasty-hedgehog' + 'haskell-tasty-hunit' 'haskell-tasty-quickcheck') +checkdepends=('cvc4' 'yices' 'z3') +optdepends=('cvc4' 'yices' 'z3') +source=(https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz) +sha512sums=('fcfb36322d3cd82fa5c013d404cbe8c7c8e52dc8e1b8b530df8c1c174d67327e9a48ba1a4c0714d87925eecd69713b341c4c96055693d2b6788a0c6bf7fc56a9') + +prepare() { +cd $_hkgname-$pkgver +echo -e "import Distribution.Simple\nmain = defaultMain" > Setup.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 +}
[arch-commits] Commit in haskell-what4/repos (2 files)
Date: Tuesday, September 8, 2020 @ 15:36:52 Author: felixonmars Revision: 701260 archrelease: copy trunk to community-staging-x86_64 Added: haskell-what4/repos/community-staging-x86_64/ haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 701259, haskell-what4/trunk/PKGBUILD) --+ PKGBUILD | 56 1 file changed, 56 insertions(+) Copied: haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 701259, haskell-what4/trunk/PKGBUILD) === --- community-staging-x86_64/PKGBUILD (rev 0) +++ community-staging-x86_64/PKGBUILD 2020-09-08 15:36:52 UTC (rev 701260) @@ -0,0 +1,56 @@ +# Maintainer: Felix Yan + +_hkgname=what4 +pkgname=haskell-what4 +pkgver=1.0 +pkgrel=29 +pkgdesc="Solver-agnostic symbolic values support for issuing queries" +url="https://github.com/GaloisInc/what4; +license=('BSD') +arch=('x86_64') +depends=('ghc-libs' 'haskell-attoparsec' 'haskell-ansi-wl-pprint' 'haskell-bimap' + 'haskell-bifunctors' 'haskell-bv-sized' 'haskell-deriving-compat' + 'haskell-data-binary-ieee754' 'haskell-extra' 'haskell-fingertree' 'haskell-hashable' + 'haskell-hashtables' 'haskell-io-streams' 'haskell-lens' 'haskell-panic' + 'haskell-parameterized-utils' 'haskell-scientific' 'haskell-temporary' + 'haskell-th-abstraction' 'haskell-unordered-containers' 'haskell-utf8-string' + 'haskell-vector' 'haskell-versions' 'haskell-zenc') +makedepends=('ghc' 'haskell-hedgehog' 'haskell-quickcheck' 'haskell-tasty' 'haskell-tasty-hedgehog' + 'haskell-tasty-hunit' 'haskell-tasty-quickcheck') +checkdepends=('cvc4' 'yices' 'z3') +optdepends=('cvc4' 'yices' 'z3') +source=(https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz) +sha512sums=('fcfb36322d3cd82fa5c013d404cbe8c7c8e52dc8e1b8b530df8c1c174d67327e9a48ba1a4c0714d87925eecd69713b341c4c96055693d2b6788a0c6bf7fc56a9') + +prepare() { +cd $_hkgname-$pkgver +echo -e "import Distribution.Simple\nmain = defaultMain" > Setup.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 +}
[arch-commits] Commit in haskell-what4/repos (2 files)
Date: Monday, September 7, 2020 @ 20:51:28 Author: felixonmars Revision: 700350 archrelease: copy trunk to community-staging-x86_64 Added: haskell-what4/repos/community-staging-x86_64/ haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 700348, haskell-what4/trunk/PKGBUILD) --+ PKGBUILD | 56 1 file changed, 56 insertions(+) Copied: haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 700348, haskell-what4/trunk/PKGBUILD) === --- community-staging-x86_64/PKGBUILD (rev 0) +++ community-staging-x86_64/PKGBUILD 2020-09-07 20:51:28 UTC (rev 700350) @@ -0,0 +1,56 @@ +# Maintainer: Felix Yan + +_hkgname=what4 +pkgname=haskell-what4 +pkgver=1.0 +pkgrel=28 +pkgdesc="Solver-agnostic symbolic values support for issuing queries" +url="https://github.com/GaloisInc/what4; +license=('BSD') +arch=('x86_64') +depends=('ghc-libs' 'haskell-attoparsec' 'haskell-ansi-wl-pprint' 'haskell-bimap' + 'haskell-bifunctors' 'haskell-bv-sized' 'haskell-deriving-compat' + 'haskell-data-binary-ieee754' 'haskell-extra' 'haskell-fingertree' 'haskell-hashable' + 'haskell-hashtables' 'haskell-io-streams' 'haskell-lens' 'haskell-panic' + 'haskell-parameterized-utils' 'haskell-scientific' 'haskell-temporary' + 'haskell-th-abstraction' 'haskell-unordered-containers' 'haskell-utf8-string' + 'haskell-vector' 'haskell-versions' 'haskell-zenc') +makedepends=('ghc' 'haskell-hedgehog' 'haskell-quickcheck' 'haskell-tasty' 'haskell-tasty-hedgehog' + 'haskell-tasty-hunit' 'haskell-tasty-quickcheck') +checkdepends=('cvc4' 'yices' 'z3') +optdepends=('cvc4' 'yices' 'z3') +source=(https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz) +sha512sums=('fcfb36322d3cd82fa5c013d404cbe8c7c8e52dc8e1b8b530df8c1c174d67327e9a48ba1a4c0714d87925eecd69713b341c4c96055693d2b6788a0c6bf7fc56a9') + +prepare() { +cd $_hkgname-$pkgver +echo -e "import Distribution.Simple\nmain = defaultMain" > Setup.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 +}
[arch-commits] Commit in haskell-what4/repos (2 files)
Date: Saturday, September 5, 2020 @ 01:51:53 Author: felixonmars Revision: 698820 archrelease: copy trunk to community-staging-x86_64 Added: haskell-what4/repos/community-staging-x86_64/ haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 698819, haskell-what4/trunk/PKGBUILD) --+ PKGBUILD | 56 1 file changed, 56 insertions(+) Copied: haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 698819, haskell-what4/trunk/PKGBUILD) === --- community-staging-x86_64/PKGBUILD (rev 0) +++ community-staging-x86_64/PKGBUILD 2020-09-05 01:51:53 UTC (rev 698820) @@ -0,0 +1,56 @@ +# Maintainer: Felix Yan + +_hkgname=what4 +pkgname=haskell-what4 +pkgver=1.0 +pkgrel=27 +pkgdesc="Solver-agnostic symbolic values support for issuing queries" +url="https://github.com/GaloisInc/what4; +license=('BSD') +arch=('x86_64') +depends=('ghc-libs' 'haskell-attoparsec' 'haskell-ansi-wl-pprint' 'haskell-bimap' + 'haskell-bifunctors' 'haskell-bv-sized' 'haskell-deriving-compat' + 'haskell-data-binary-ieee754' 'haskell-extra' 'haskell-fingertree' 'haskell-hashable' + 'haskell-hashtables' 'haskell-io-streams' 'haskell-lens' 'haskell-panic' + 'haskell-parameterized-utils' 'haskell-scientific' 'haskell-temporary' + 'haskell-th-abstraction' 'haskell-unordered-containers' 'haskell-utf8-string' + 'haskell-vector' 'haskell-versions' 'haskell-zenc') +makedepends=('ghc' 'haskell-hedgehog' 'haskell-quickcheck' 'haskell-tasty' 'haskell-tasty-hedgehog' + 'haskell-tasty-hunit' 'haskell-tasty-quickcheck') +checkdepends=('cvc4' 'yices' 'z3') +optdepends=('cvc4' 'yices' 'z3') +source=(https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz) +sha512sums=('fcfb36322d3cd82fa5c013d404cbe8c7c8e52dc8e1b8b530df8c1c174d67327e9a48ba1a4c0714d87925eecd69713b341c4c96055693d2b6788a0c6bf7fc56a9') + +prepare() { +cd $_hkgname-$pkgver +echo -e "import Distribution.Simple\nmain = defaultMain" > Setup.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 +}
[arch-commits] Commit in haskell-what4/repos (2 files)
Date: Thursday, September 3, 2020 @ 15:04:38 Author: felixonmars Revision: 697481 archrelease: copy trunk to community-staging-x86_64 Added: haskell-what4/repos/community-staging-x86_64/ haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 697480, haskell-what4/trunk/PKGBUILD) --+ PKGBUILD | 56 1 file changed, 56 insertions(+) Copied: haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 697480, haskell-what4/trunk/PKGBUILD) === --- community-staging-x86_64/PKGBUILD (rev 0) +++ community-staging-x86_64/PKGBUILD 2020-09-03 15:04:38 UTC (rev 697481) @@ -0,0 +1,56 @@ +# Maintainer: Felix Yan + +_hkgname=what4 +pkgname=haskell-what4 +pkgver=1.0 +pkgrel=26 +pkgdesc="Solver-agnostic symbolic values support for issuing queries" +url="https://github.com/GaloisInc/what4; +license=('BSD') +arch=('x86_64') +depends=('ghc-libs' 'haskell-attoparsec' 'haskell-ansi-wl-pprint' 'haskell-bimap' + 'haskell-bifunctors' 'haskell-bv-sized' 'haskell-deriving-compat' + 'haskell-data-binary-ieee754' 'haskell-extra' 'haskell-fingertree' 'haskell-hashable' + 'haskell-hashtables' 'haskell-io-streams' 'haskell-lens' 'haskell-panic' + 'haskell-parameterized-utils' 'haskell-scientific' 'haskell-temporary' + 'haskell-th-abstraction' 'haskell-unordered-containers' 'haskell-utf8-string' + 'haskell-vector' 'haskell-versions' 'haskell-zenc') +makedepends=('ghc' 'haskell-hedgehog' 'haskell-quickcheck' 'haskell-tasty' 'haskell-tasty-hedgehog' + 'haskell-tasty-hunit' 'haskell-tasty-quickcheck') +checkdepends=('cvc4' 'yices' 'z3') +optdepends=('cvc4' 'yices' 'z3') +source=(https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz) +sha512sums=('fcfb36322d3cd82fa5c013d404cbe8c7c8e52dc8e1b8b530df8c1c174d67327e9a48ba1a4c0714d87925eecd69713b341c4c96055693d2b6788a0c6bf7fc56a9') + +prepare() { +cd $_hkgname-$pkgver +echo -e "import Distribution.Simple\nmain = defaultMain" > Setup.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 +}
[arch-commits] Commit in haskell-what4/repos (2 files)
Date: Tuesday, September 1, 2020 @ 10:28:26 Author: felixonmars Revision: 695351 archrelease: copy trunk to community-staging-x86_64 Added: haskell-what4/repos/community-staging-x86_64/ haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 695350, haskell-what4/trunk/PKGBUILD) --+ PKGBUILD | 56 1 file changed, 56 insertions(+) Copied: haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 695350, haskell-what4/trunk/PKGBUILD) === --- community-staging-x86_64/PKGBUILD (rev 0) +++ community-staging-x86_64/PKGBUILD 2020-09-01 10:28:26 UTC (rev 695351) @@ -0,0 +1,56 @@ +# Maintainer: Felix Yan + +_hkgname=what4 +pkgname=haskell-what4 +pkgver=1.0 +pkgrel=25 +pkgdesc="Solver-agnostic symbolic values support for issuing queries" +url="https://github.com/GaloisInc/what4; +license=('BSD') +arch=('x86_64') +depends=('ghc-libs' 'haskell-attoparsec' 'haskell-ansi-wl-pprint' 'haskell-bimap' + 'haskell-bifunctors' 'haskell-bv-sized' 'haskell-deriving-compat' + 'haskell-data-binary-ieee754' 'haskell-extra' 'haskell-fingertree' 'haskell-hashable' + 'haskell-hashtables' 'haskell-io-streams' 'haskell-lens' 'haskell-panic' + 'haskell-parameterized-utils' 'haskell-scientific' 'haskell-temporary' + 'haskell-th-abstraction' 'haskell-unordered-containers' 'haskell-utf8-string' + 'haskell-vector' 'haskell-versions' 'haskell-zenc') +makedepends=('ghc' 'haskell-hedgehog' 'haskell-quickcheck' 'haskell-tasty' 'haskell-tasty-hedgehog' + 'haskell-tasty-hunit' 'haskell-tasty-quickcheck') +checkdepends=('cvc4' 'yices' 'z3') +optdepends=('cvc4' 'yices' 'z3') +source=(https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz) +sha512sums=('fcfb36322d3cd82fa5c013d404cbe8c7c8e52dc8e1b8b530df8c1c174d67327e9a48ba1a4c0714d87925eecd69713b341c4c96055693d2b6788a0c6bf7fc56a9') + +prepare() { +cd $_hkgname-$pkgver +echo -e "import Distribution.Simple\nmain = defaultMain" > Setup.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 +}
[arch-commits] Commit in haskell-what4/repos (2 files)
Date: Monday, August 31, 2020 @ 19:51:25 Author: felixonmars Revision: 694376 archrelease: copy trunk to community-staging-x86_64 Added: haskell-what4/repos/community-staging-x86_64/ haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 694375, haskell-what4/trunk/PKGBUILD) --+ PKGBUILD | 56 1 file changed, 56 insertions(+) Copied: haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 694375, haskell-what4/trunk/PKGBUILD) === --- community-staging-x86_64/PKGBUILD (rev 0) +++ community-staging-x86_64/PKGBUILD 2020-08-31 19:51:25 UTC (rev 694376) @@ -0,0 +1,56 @@ +# Maintainer: Felix Yan + +_hkgname=what4 +pkgname=haskell-what4 +pkgver=1.0 +pkgrel=24 +pkgdesc="Solver-agnostic symbolic values support for issuing queries" +url="https://github.com/GaloisInc/what4; +license=('BSD') +arch=('x86_64') +depends=('ghc-libs' 'haskell-attoparsec' 'haskell-ansi-wl-pprint' 'haskell-bimap' + 'haskell-bifunctors' 'haskell-bv-sized' 'haskell-deriving-compat' + 'haskell-data-binary-ieee754' 'haskell-extra' 'haskell-fingertree' 'haskell-hashable' + 'haskell-hashtables' 'haskell-io-streams' 'haskell-lens' 'haskell-panic' + 'haskell-parameterized-utils' 'haskell-scientific' 'haskell-temporary' + 'haskell-th-abstraction' 'haskell-unordered-containers' 'haskell-utf8-string' + 'haskell-vector' 'haskell-versions' 'haskell-zenc') +makedepends=('ghc' 'haskell-hedgehog' 'haskell-quickcheck' 'haskell-tasty' 'haskell-tasty-hedgehog' + 'haskell-tasty-hunit' 'haskell-tasty-quickcheck') +checkdepends=('cvc4' 'yices' 'z3') +optdepends=('cvc4' 'yices' 'z3') +source=(https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz) +sha512sums=('fcfb36322d3cd82fa5c013d404cbe8c7c8e52dc8e1b8b530df8c1c174d67327e9a48ba1a4c0714d87925eecd69713b341c4c96055693d2b6788a0c6bf7fc56a9') + +prepare() { +cd $_hkgname-$pkgver +echo -e "import Distribution.Simple\nmain = defaultMain" > Setup.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 +}
[arch-commits] Commit in haskell-what4/repos (2 files)
Date: Saturday, August 29, 2020 @ 21:53:05 Author: felixonmars Revision: 692272 archrelease: copy trunk to community-staging-x86_64 Added: haskell-what4/repos/community-staging-x86_64/ haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 692271, haskell-what4/trunk/PKGBUILD) --+ PKGBUILD | 56 1 file changed, 56 insertions(+) Copied: haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 692271, haskell-what4/trunk/PKGBUILD) === --- community-staging-x86_64/PKGBUILD (rev 0) +++ community-staging-x86_64/PKGBUILD 2020-08-29 21:53:05 UTC (rev 692272) @@ -0,0 +1,56 @@ +# Maintainer: Felix Yan + +_hkgname=what4 +pkgname=haskell-what4 +pkgver=1.0 +pkgrel=23 +pkgdesc="Solver-agnostic symbolic values support for issuing queries" +url="https://github.com/GaloisInc/what4; +license=('BSD') +arch=('x86_64') +depends=('ghc-libs' 'haskell-attoparsec' 'haskell-ansi-wl-pprint' 'haskell-bimap' + 'haskell-bifunctors' 'haskell-bv-sized' 'haskell-deriving-compat' + 'haskell-data-binary-ieee754' 'haskell-extra' 'haskell-fingertree' 'haskell-hashable' + 'haskell-hashtables' 'haskell-io-streams' 'haskell-lens' 'haskell-panic' + 'haskell-parameterized-utils' 'haskell-scientific' 'haskell-temporary' + 'haskell-th-abstraction' 'haskell-unordered-containers' 'haskell-utf8-string' + 'haskell-vector' 'haskell-versions' 'haskell-zenc') +makedepends=('ghc' 'haskell-hedgehog' 'haskell-quickcheck' 'haskell-tasty' 'haskell-tasty-hedgehog' + 'haskell-tasty-hunit' 'haskell-tasty-quickcheck') +checkdepends=('cvc4' 'yices' 'z3') +optdepends=('cvc4' 'yices' 'z3') +source=(https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz) +sha512sums=('fcfb36322d3cd82fa5c013d404cbe8c7c8e52dc8e1b8b530df8c1c174d67327e9a48ba1a4c0714d87925eecd69713b341c4c96055693d2b6788a0c6bf7fc56a9') + +prepare() { +cd $_hkgname-$pkgver +echo -e "import Distribution.Simple\nmain = defaultMain" > Setup.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 +}
[arch-commits] Commit in haskell-what4/repos (2 files)
Date: Friday, August 28, 2020 @ 20:29:20 Author: felixonmars Revision: 691271 archrelease: copy trunk to community-staging-x86_64 Added: haskell-what4/repos/community-staging-x86_64/ haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 691270, haskell-what4/trunk/PKGBUILD) --+ PKGBUILD | 56 1 file changed, 56 insertions(+) Copied: haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 691270, haskell-what4/trunk/PKGBUILD) === --- community-staging-x86_64/PKGBUILD (rev 0) +++ community-staging-x86_64/PKGBUILD 2020-08-28 20:29:20 UTC (rev 691271) @@ -0,0 +1,56 @@ +# Maintainer: Felix Yan + +_hkgname=what4 +pkgname=haskell-what4 +pkgver=1.0 +pkgrel=22 +pkgdesc="Solver-agnostic symbolic values support for issuing queries" +url="https://github.com/GaloisInc/what4; +license=('BSD') +arch=('x86_64') +depends=('ghc-libs' 'haskell-attoparsec' 'haskell-ansi-wl-pprint' 'haskell-bimap' + 'haskell-bifunctors' 'haskell-bv-sized' 'haskell-deriving-compat' + 'haskell-data-binary-ieee754' 'haskell-extra' 'haskell-fingertree' 'haskell-hashable' + 'haskell-hashtables' 'haskell-io-streams' 'haskell-lens' 'haskell-panic' + 'haskell-parameterized-utils' 'haskell-scientific' 'haskell-temporary' + 'haskell-th-abstraction' 'haskell-unordered-containers' 'haskell-utf8-string' + 'haskell-vector' 'haskell-versions' 'haskell-zenc') +makedepends=('ghc' 'haskell-hedgehog' 'haskell-quickcheck' 'haskell-tasty' 'haskell-tasty-hedgehog' + 'haskell-tasty-hunit' 'haskell-tasty-quickcheck') +checkdepends=('cvc4' 'yices' 'z3') +optdepends=('cvc4' 'yices' 'z3') +source=(https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz) +sha512sums=('fcfb36322d3cd82fa5c013d404cbe8c7c8e52dc8e1b8b530df8c1c174d67327e9a48ba1a4c0714d87925eecd69713b341c4c96055693d2b6788a0c6bf7fc56a9') + +prepare() { +cd $_hkgname-$pkgver +echo -e "import Distribution.Simple\nmain = defaultMain" > Setup.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 +}
[arch-commits] Commit in haskell-what4/repos (2 files)
Date: Tuesday, August 25, 2020 @ 22:56:08 Author: felixonmars Revision: 688876 archrelease: copy trunk to community-staging-x86_64 Added: haskell-what4/repos/community-staging-x86_64/ haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 688875, haskell-what4/trunk/PKGBUILD) --+ PKGBUILD | 56 1 file changed, 56 insertions(+) Copied: haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 688875, haskell-what4/trunk/PKGBUILD) === --- community-staging-x86_64/PKGBUILD (rev 0) +++ community-staging-x86_64/PKGBUILD 2020-08-25 22:56:08 UTC (rev 688876) @@ -0,0 +1,56 @@ +# Maintainer: Felix Yan + +_hkgname=what4 +pkgname=haskell-what4 +pkgver=1.0 +pkgrel=21 +pkgdesc="Solver-agnostic symbolic values support for issuing queries" +url="https://github.com/GaloisInc/what4; +license=('BSD') +arch=('x86_64') +depends=('ghc-libs' 'haskell-attoparsec' 'haskell-ansi-wl-pprint' 'haskell-bimap' + 'haskell-bifunctors' 'haskell-bv-sized' 'haskell-deriving-compat' + 'haskell-data-binary-ieee754' 'haskell-extra' 'haskell-fingertree' 'haskell-hashable' + 'haskell-hashtables' 'haskell-io-streams' 'haskell-lens' 'haskell-panic' + 'haskell-parameterized-utils' 'haskell-scientific' 'haskell-temporary' + 'haskell-th-abstraction' 'haskell-unordered-containers' 'haskell-utf8-string' + 'haskell-vector' 'haskell-versions' 'haskell-zenc') +makedepends=('ghc' 'haskell-hedgehog' 'haskell-quickcheck' 'haskell-tasty' 'haskell-tasty-hedgehog' + 'haskell-tasty-hunit' 'haskell-tasty-quickcheck') +checkdepends=('cvc4' 'yices' 'z3') +optdepends=('cvc4' 'yices' 'z3') +source=(https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz) +sha512sums=('fcfb36322d3cd82fa5c013d404cbe8c7c8e52dc8e1b8b530df8c1c174d67327e9a48ba1a4c0714d87925eecd69713b341c4c96055693d2b6788a0c6bf7fc56a9') + +prepare() { +cd $_hkgname-$pkgver +echo -e "import Distribution.Simple\nmain = defaultMain" > Setup.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 +}
[arch-commits] Commit in haskell-what4/repos (2 files)
Date: Saturday, August 22, 2020 @ 20:37:00 Author: felixonmars Revision: 686833 archrelease: copy trunk to community-staging-x86_64 Added: haskell-what4/repos/community-staging-x86_64/ haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 686832, haskell-what4/trunk/PKGBUILD) --+ PKGBUILD | 56 1 file changed, 56 insertions(+) Copied: haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 686832, haskell-what4/trunk/PKGBUILD) === --- community-staging-x86_64/PKGBUILD (rev 0) +++ community-staging-x86_64/PKGBUILD 2020-08-22 20:37:00 UTC (rev 686833) @@ -0,0 +1,56 @@ +# Maintainer: Felix Yan + +_hkgname=what4 +pkgname=haskell-what4 +pkgver=1.0 +pkgrel=20 +pkgdesc="Solver-agnostic symbolic values support for issuing queries" +url="https://github.com/GaloisInc/what4; +license=('BSD') +arch=('x86_64') +depends=('ghc-libs' 'haskell-attoparsec' 'haskell-ansi-wl-pprint' 'haskell-bimap' + 'haskell-bifunctors' 'haskell-bv-sized' 'haskell-deriving-compat' + 'haskell-data-binary-ieee754' 'haskell-extra' 'haskell-fingertree' 'haskell-hashable' + 'haskell-hashtables' 'haskell-io-streams' 'haskell-lens' 'haskell-panic' + 'haskell-parameterized-utils' 'haskell-scientific' 'haskell-temporary' + 'haskell-th-abstraction' 'haskell-unordered-containers' 'haskell-utf8-string' + 'haskell-vector' 'haskell-versions' 'haskell-zenc') +makedepends=('ghc' 'haskell-hedgehog' 'haskell-quickcheck' 'haskell-tasty' 'haskell-tasty-hedgehog' + 'haskell-tasty-hunit' 'haskell-tasty-quickcheck') +checkdepends=('cvc4' 'yices' 'z3') +optdepends=('cvc4' 'yices' 'z3') +source=(https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz) +sha512sums=('fcfb36322d3cd82fa5c013d404cbe8c7c8e52dc8e1b8b530df8c1c174d67327e9a48ba1a4c0714d87925eecd69713b341c4c96055693d2b6788a0c6bf7fc56a9') + +prepare() { +cd $_hkgname-$pkgver +echo -e "import Distribution.Simple\nmain = defaultMain" > Setup.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 +}
[arch-commits] Commit in haskell-what4/repos (2 files)
Date: Thursday, August 20, 2020 @ 08:06:19 Author: felixonmars Revision: 685289 archrelease: copy trunk to community-staging-x86_64 Added: haskell-what4/repos/community-staging-x86_64/ haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 685288, haskell-what4/trunk/PKGBUILD) --+ PKGBUILD | 56 1 file changed, 56 insertions(+) Copied: haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 685288, haskell-what4/trunk/PKGBUILD) === --- community-staging-x86_64/PKGBUILD (rev 0) +++ community-staging-x86_64/PKGBUILD 2020-08-20 08:06:19 UTC (rev 685289) @@ -0,0 +1,56 @@ +# Maintainer: Felix Yan + +_hkgname=what4 +pkgname=haskell-what4 +pkgver=1.0 +pkgrel=19 +pkgdesc="Solver-agnostic symbolic values support for issuing queries" +url="https://github.com/GaloisInc/what4; +license=('BSD') +arch=('x86_64') +depends=('ghc-libs' 'haskell-attoparsec' 'haskell-ansi-wl-pprint' 'haskell-bimap' + 'haskell-bifunctors' 'haskell-bv-sized' 'haskell-deriving-compat' + 'haskell-data-binary-ieee754' 'haskell-extra' 'haskell-fingertree' 'haskell-hashable' + 'haskell-hashtables' 'haskell-io-streams' 'haskell-lens' 'haskell-panic' + 'haskell-parameterized-utils' 'haskell-scientific' 'haskell-temporary' + 'haskell-th-abstraction' 'haskell-unordered-containers' 'haskell-utf8-string' + 'haskell-vector' 'haskell-versions' 'haskell-zenc') +makedepends=('ghc' 'haskell-hedgehog' 'haskell-quickcheck' 'haskell-tasty' 'haskell-tasty-hedgehog' + 'haskell-tasty-hunit' 'haskell-tasty-quickcheck') +checkdepends=('cvc4' 'yices' 'z3') +optdepends=('cvc4' 'yices' 'z3') +source=(https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz) +sha512sums=('fcfb36322d3cd82fa5c013d404cbe8c7c8e52dc8e1b8b530df8c1c174d67327e9a48ba1a4c0714d87925eecd69713b341c4c96055693d2b6788a0c6bf7fc56a9') + +prepare() { +cd $_hkgname-$pkgver +echo -e "import Distribution.Simple\nmain = defaultMain" > Setup.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 +}
[arch-commits] Commit in haskell-what4/repos (2 files)
Date: Tuesday, August 18, 2020 @ 13:46:08 Author: felixonmars Revision: 683931 archrelease: copy trunk to community-staging-x86_64 Added: haskell-what4/repos/community-staging-x86_64/ haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 683930, haskell-what4/trunk/PKGBUILD) --+ PKGBUILD | 56 1 file changed, 56 insertions(+) Copied: haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 683930, haskell-what4/trunk/PKGBUILD) === --- community-staging-x86_64/PKGBUILD (rev 0) +++ community-staging-x86_64/PKGBUILD 2020-08-18 13:46:08 UTC (rev 683931) @@ -0,0 +1,56 @@ +# Maintainer: Felix Yan + +_hkgname=what4 +pkgname=haskell-what4 +pkgver=1.0 +pkgrel=18 +pkgdesc="Solver-agnostic symbolic values support for issuing queries" +url="https://github.com/GaloisInc/what4; +license=('BSD') +arch=('x86_64') +depends=('ghc-libs' 'haskell-attoparsec' 'haskell-ansi-wl-pprint' 'haskell-bimap' + 'haskell-bifunctors' 'haskell-bv-sized' 'haskell-deriving-compat' + 'haskell-data-binary-ieee754' 'haskell-extra' 'haskell-fingertree' 'haskell-hashable' + 'haskell-hashtables' 'haskell-io-streams' 'haskell-lens' 'haskell-panic' + 'haskell-parameterized-utils' 'haskell-scientific' 'haskell-temporary' + 'haskell-th-abstraction' 'haskell-unordered-containers' 'haskell-utf8-string' + 'haskell-vector' 'haskell-versions' 'haskell-zenc') +makedepends=('ghc' 'haskell-hedgehog' 'haskell-quickcheck' 'haskell-tasty' 'haskell-tasty-hedgehog' + 'haskell-tasty-hunit' 'haskell-tasty-quickcheck') +checkdepends=('cvc4' 'yices' 'z3') +optdepends=('cvc4' 'yices' 'z3') +source=(https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz) +sha512sums=('fcfb36322d3cd82fa5c013d404cbe8c7c8e52dc8e1b8b530df8c1c174d67327e9a48ba1a4c0714d87925eecd69713b341c4c96055693d2b6788a0c6bf7fc56a9') + +prepare() { +cd $_hkgname-$pkgver +echo -e "import Distribution.Simple\nmain = defaultMain" > Setup.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 +}
[arch-commits] Commit in haskell-what4/repos (2 files)
Date: Sunday, August 16, 2020 @ 20:36:40 Author: felixonmars Revision: 681902 archrelease: copy trunk to community-staging-x86_64 Added: haskell-what4/repos/community-staging-x86_64/ haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 681901, haskell-what4/trunk/PKGBUILD) --+ PKGBUILD | 56 1 file changed, 56 insertions(+) Copied: haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 681901, haskell-what4/trunk/PKGBUILD) === --- community-staging-x86_64/PKGBUILD (rev 0) +++ community-staging-x86_64/PKGBUILD 2020-08-16 20:36:40 UTC (rev 681902) @@ -0,0 +1,56 @@ +# Maintainer: Felix Yan + +_hkgname=what4 +pkgname=haskell-what4 +pkgver=1.0 +pkgrel=17 +pkgdesc="Solver-agnostic symbolic values support for issuing queries" +url="https://github.com/GaloisInc/what4; +license=('BSD') +arch=('x86_64') +depends=('ghc-libs' 'haskell-attoparsec' 'haskell-ansi-wl-pprint' 'haskell-bimap' + 'haskell-bifunctors' 'haskell-bv-sized' 'haskell-deriving-compat' + 'haskell-data-binary-ieee754' 'haskell-extra' 'haskell-fingertree' 'haskell-hashable' + 'haskell-hashtables' 'haskell-io-streams' 'haskell-lens' 'haskell-panic' + 'haskell-parameterized-utils' 'haskell-scientific' 'haskell-temporary' + 'haskell-th-abstraction' 'haskell-unordered-containers' 'haskell-utf8-string' + 'haskell-vector' 'haskell-versions' 'haskell-zenc') +makedepends=('ghc' 'haskell-hedgehog' 'haskell-quickcheck' 'haskell-tasty' 'haskell-tasty-hedgehog' + 'haskell-tasty-hunit' 'haskell-tasty-quickcheck') +checkdepends=('cvc4' 'yices' 'z3') +optdepends=('cvc4' 'yices' 'z3') +source=(https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz) +sha512sums=('fcfb36322d3cd82fa5c013d404cbe8c7c8e52dc8e1b8b530df8c1c174d67327e9a48ba1a4c0714d87925eecd69713b341c4c96055693d2b6788a0c6bf7fc56a9') + +prepare() { +cd $_hkgname-$pkgver +echo -e "import Distribution.Simple\nmain = defaultMain" > Setup.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 +}
[arch-commits] Commit in haskell-what4/repos (2 files)
Date: Sunday, August 16, 2020 @ 03:58:59 Author: felixonmars Revision: 680676 archrelease: copy trunk to community-staging-x86_64 Added: haskell-what4/repos/community-staging-x86_64/ haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 680675, haskell-what4/trunk/PKGBUILD) --+ PKGBUILD | 56 1 file changed, 56 insertions(+) Copied: haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 680675, haskell-what4/trunk/PKGBUILD) === --- community-staging-x86_64/PKGBUILD (rev 0) +++ community-staging-x86_64/PKGBUILD 2020-08-16 03:58:59 UTC (rev 680676) @@ -0,0 +1,56 @@ +# Maintainer: Felix Yan + +_hkgname=what4 +pkgname=haskell-what4 +pkgver=1.0 +pkgrel=16 +pkgdesc="Solver-agnostic symbolic values support for issuing queries" +url="https://github.com/GaloisInc/what4; +license=('BSD') +arch=('x86_64') +depends=('ghc-libs' 'haskell-attoparsec' 'haskell-ansi-wl-pprint' 'haskell-bimap' + 'haskell-bifunctors' 'haskell-bv-sized' 'haskell-deriving-compat' + 'haskell-data-binary-ieee754' 'haskell-extra' 'haskell-fingertree' 'haskell-hashable' + 'haskell-hashtables' 'haskell-io-streams' 'haskell-lens' 'haskell-panic' + 'haskell-parameterized-utils' 'haskell-scientific' 'haskell-temporary' + 'haskell-th-abstraction' 'haskell-unordered-containers' 'haskell-utf8-string' + 'haskell-vector' 'haskell-versions' 'haskell-zenc') +makedepends=('ghc' 'haskell-hedgehog' 'haskell-quickcheck' 'haskell-tasty' 'haskell-tasty-hedgehog' + 'haskell-tasty-hunit' 'haskell-tasty-quickcheck') +checkdepends=('cvc4' 'yices' 'z3') +optdepends=('cvc4' 'yices' 'z3') +source=(https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz) +sha512sums=('fcfb36322d3cd82fa5c013d404cbe8c7c8e52dc8e1b8b530df8c1c174d67327e9a48ba1a4c0714d87925eecd69713b341c4c96055693d2b6788a0c6bf7fc56a9') + +prepare() { +cd $_hkgname-$pkgver +echo -e "import Distribution.Simple\nmain = defaultMain" > Setup.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 +}
[arch-commits] Commit in haskell-what4/repos (2 files)
Date: Thursday, August 13, 2020 @ 22:44:22 Author: felixonmars Revision: 678230 archrelease: copy trunk to community-staging-x86_64 Added: haskell-what4/repos/community-staging-x86_64/ haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 678229, haskell-what4/trunk/PKGBUILD) --+ PKGBUILD | 56 1 file changed, 56 insertions(+) Copied: haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 678229, haskell-what4/trunk/PKGBUILD) === --- community-staging-x86_64/PKGBUILD (rev 0) +++ community-staging-x86_64/PKGBUILD 2020-08-13 22:44:22 UTC (rev 678230) @@ -0,0 +1,56 @@ +# Maintainer: Felix Yan + +_hkgname=what4 +pkgname=haskell-what4 +pkgver=1.0 +pkgrel=15 +pkgdesc="Solver-agnostic symbolic values support for issuing queries" +url="https://github.com/GaloisInc/what4; +license=('BSD') +arch=('x86_64') +depends=('ghc-libs' 'haskell-attoparsec' 'haskell-ansi-wl-pprint' 'haskell-bimap' + 'haskell-bifunctors' 'haskell-bv-sized' 'haskell-deriving-compat' + 'haskell-data-binary-ieee754' 'haskell-extra' 'haskell-fingertree' 'haskell-hashable' + 'haskell-hashtables' 'haskell-io-streams' 'haskell-lens' 'haskell-panic' + 'haskell-parameterized-utils' 'haskell-scientific' 'haskell-temporary' + 'haskell-th-abstraction' 'haskell-unordered-containers' 'haskell-utf8-string' + 'haskell-vector' 'haskell-versions' 'haskell-zenc') +makedepends=('ghc' 'haskell-hedgehog' 'haskell-quickcheck' 'haskell-tasty' 'haskell-tasty-hedgehog' + 'haskell-tasty-hunit' 'haskell-tasty-quickcheck') +checkdepends=('cvc4' 'yices' 'z3') +optdepends=('cvc4' 'yices' 'z3') +source=(https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz) +sha512sums=('fcfb36322d3cd82fa5c013d404cbe8c7c8e52dc8e1b8b530df8c1c174d67327e9a48ba1a4c0714d87925eecd69713b341c4c96055693d2b6788a0c6bf7fc56a9') + +prepare() { +cd $_hkgname-$pkgver +echo -e "import Distribution.Simple\nmain = defaultMain" > Setup.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 +}
[arch-commits] Commit in haskell-what4/repos (2 files)
Date: Thursday, August 13, 2020 @ 07:00:40 Author: felixonmars Revision: 676917 archrelease: copy trunk to community-staging-x86_64 Added: haskell-what4/repos/community-staging-x86_64/ haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 676916, haskell-what4/trunk/PKGBUILD) --+ PKGBUILD | 56 1 file changed, 56 insertions(+) Copied: haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 676916, haskell-what4/trunk/PKGBUILD) === --- community-staging-x86_64/PKGBUILD (rev 0) +++ community-staging-x86_64/PKGBUILD 2020-08-13 07:00:40 UTC (rev 676917) @@ -0,0 +1,56 @@ +# Maintainer: Felix Yan + +_hkgname=what4 +pkgname=haskell-what4 +pkgver=1.0 +pkgrel=14 +pkgdesc="Solver-agnostic symbolic values support for issuing queries" +url="https://github.com/GaloisInc/what4; +license=('BSD') +arch=('x86_64') +depends=('ghc-libs' 'haskell-attoparsec' 'haskell-ansi-wl-pprint' 'haskell-bimap' + 'haskell-bifunctors' 'haskell-bv-sized' 'haskell-deriving-compat' + 'haskell-data-binary-ieee754' 'haskell-extra' 'haskell-fingertree' 'haskell-hashable' + 'haskell-hashtables' 'haskell-io-streams' 'haskell-lens' 'haskell-panic' + 'haskell-parameterized-utils' 'haskell-scientific' 'haskell-temporary' + 'haskell-th-abstraction' 'haskell-unordered-containers' 'haskell-utf8-string' + 'haskell-vector' 'haskell-versions' 'haskell-zenc') +makedepends=('ghc' 'haskell-hedgehog' 'haskell-quickcheck' 'haskell-tasty' 'haskell-tasty-hedgehog' + 'haskell-tasty-hunit' 'haskell-tasty-quickcheck') +checkdepends=('cvc4' 'yices' 'z3') +optdepends=('cvc4' 'yices' 'z3') +source=(https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz) +sha512sums=('fcfb36322d3cd82fa5c013d404cbe8c7c8e52dc8e1b8b530df8c1c174d67327e9a48ba1a4c0714d87925eecd69713b341c4c96055693d2b6788a0c6bf7fc56a9') + +prepare() { +cd $_hkgname-$pkgver +echo -e "import Distribution.Simple\nmain = defaultMain" > Setup.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 +}
[arch-commits] Commit in haskell-what4/repos (2 files)
Date: Wednesday, August 12, 2020 @ 15:07:16 Author: felixonmars Revision: 676402 archrelease: copy trunk to community-staging-x86_64 Added: haskell-what4/repos/community-staging-x86_64/ haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 676401, haskell-what4/trunk/PKGBUILD) --+ PKGBUILD | 56 1 file changed, 56 insertions(+) Copied: haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 676401, haskell-what4/trunk/PKGBUILD) === --- community-staging-x86_64/PKGBUILD (rev 0) +++ community-staging-x86_64/PKGBUILD 2020-08-12 15:07:16 UTC (rev 676402) @@ -0,0 +1,56 @@ +# Maintainer: Felix Yan + +_hkgname=what4 +pkgname=haskell-what4 +pkgver=1.0 +pkgrel=13 +pkgdesc="Solver-agnostic symbolic values support for issuing queries" +url="https://github.com/GaloisInc/what4; +license=('BSD') +arch=('x86_64') +depends=('ghc-libs' 'haskell-attoparsec' 'haskell-ansi-wl-pprint' 'haskell-bimap' + 'haskell-bifunctors' 'haskell-bv-sized' 'haskell-deriving-compat' + 'haskell-data-binary-ieee754' 'haskell-extra' 'haskell-fingertree' 'haskell-hashable' + 'haskell-hashtables' 'haskell-io-streams' 'haskell-lens' 'haskell-panic' + 'haskell-parameterized-utils' 'haskell-scientific' 'haskell-temporary' + 'haskell-th-abstraction' 'haskell-unordered-containers' 'haskell-utf8-string' + 'haskell-vector' 'haskell-versions' 'haskell-zenc') +makedepends=('ghc' 'haskell-hedgehog' 'haskell-quickcheck' 'haskell-tasty' 'haskell-tasty-hedgehog' + 'haskell-tasty-hunit' 'haskell-tasty-quickcheck') +checkdepends=('cvc4' 'yices' 'z3') +optdepends=('cvc4' 'yices' 'z3') +source=(https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz) +sha512sums=('fcfb36322d3cd82fa5c013d404cbe8c7c8e52dc8e1b8b530df8c1c174d67327e9a48ba1a4c0714d87925eecd69713b341c4c96055693d2b6788a0c6bf7fc56a9') + +prepare() { +cd $_hkgname-$pkgver +echo -e "import Distribution.Simple\nmain = defaultMain" > Setup.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 +}
[arch-commits] Commit in haskell-what4/repos (2 files)
Date: Wednesday, August 12, 2020 @ 04:04:06 Author: felixonmars Revision: 675490 archrelease: copy trunk to community-staging-x86_64 Added: haskell-what4/repos/community-staging-x86_64/ haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 675489, haskell-what4/trunk/PKGBUILD) --+ PKGBUILD | 56 1 file changed, 56 insertions(+) Copied: haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 675489, haskell-what4/trunk/PKGBUILD) === --- community-staging-x86_64/PKGBUILD (rev 0) +++ community-staging-x86_64/PKGBUILD 2020-08-12 04:04:06 UTC (rev 675490) @@ -0,0 +1,56 @@ +# Maintainer: Felix Yan + +_hkgname=what4 +pkgname=haskell-what4 +pkgver=1.0 +pkgrel=12 +pkgdesc="Solver-agnostic symbolic values support for issuing queries" +url="https://github.com/GaloisInc/what4; +license=('BSD') +arch=('x86_64') +depends=('ghc-libs' 'haskell-attoparsec' 'haskell-ansi-wl-pprint' 'haskell-bimap' + 'haskell-bifunctors' 'haskell-bv-sized' 'haskell-deriving-compat' + 'haskell-data-binary-ieee754' 'haskell-extra' 'haskell-fingertree' 'haskell-hashable' + 'haskell-hashtables' 'haskell-io-streams' 'haskell-lens' 'haskell-panic' + 'haskell-parameterized-utils' 'haskell-scientific' 'haskell-temporary' + 'haskell-th-abstraction' 'haskell-unordered-containers' 'haskell-utf8-string' + 'haskell-vector' 'haskell-versions' 'haskell-zenc') +makedepends=('ghc' 'haskell-hedgehog' 'haskell-quickcheck' 'haskell-tasty' 'haskell-tasty-hedgehog' + 'haskell-tasty-hunit' 'haskell-tasty-quickcheck') +checkdepends=('cvc4' 'yices' 'z3') +optdepends=('cvc4' 'yices' 'z3') +source=(https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz) +sha512sums=('fcfb36322d3cd82fa5c013d404cbe8c7c8e52dc8e1b8b530df8c1c174d67327e9a48ba1a4c0714d87925eecd69713b341c4c96055693d2b6788a0c6bf7fc56a9') + +prepare() { +cd $_hkgname-$pkgver +echo -e "import Distribution.Simple\nmain = defaultMain" > Setup.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 +}
[arch-commits] Commit in haskell-what4/repos (2 files)
Date: Monday, August 10, 2020 @ 19:52:07 Author: felixonmars Revision: 674094 archrelease: copy trunk to community-staging-x86_64 Added: haskell-what4/repos/community-staging-x86_64/ haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 674093, haskell-what4/trunk/PKGBUILD) --+ PKGBUILD | 56 1 file changed, 56 insertions(+) Copied: haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 674093, haskell-what4/trunk/PKGBUILD) === --- community-staging-x86_64/PKGBUILD (rev 0) +++ community-staging-x86_64/PKGBUILD 2020-08-10 19:52:07 UTC (rev 674094) @@ -0,0 +1,56 @@ +# Maintainer: Felix Yan + +_hkgname=what4 +pkgname=haskell-what4 +pkgver=1.0 +pkgrel=11 +pkgdesc="Solver-agnostic symbolic values support for issuing queries" +url="https://github.com/GaloisInc/what4; +license=('BSD') +arch=('x86_64') +depends=('ghc-libs' 'haskell-attoparsec' 'haskell-ansi-wl-pprint' 'haskell-bimap' + 'haskell-bifunctors' 'haskell-bv-sized' 'haskell-deriving-compat' + 'haskell-data-binary-ieee754' 'haskell-extra' 'haskell-fingertree' 'haskell-hashable' + 'haskell-hashtables' 'haskell-io-streams' 'haskell-lens' 'haskell-panic' + 'haskell-parameterized-utils' 'haskell-scientific' 'haskell-temporary' + 'haskell-th-abstraction' 'haskell-unordered-containers' 'haskell-utf8-string' + 'haskell-vector' 'haskell-versions' 'haskell-zenc') +makedepends=('ghc' 'haskell-hedgehog' 'haskell-quickcheck' 'haskell-tasty' 'haskell-tasty-hedgehog' + 'haskell-tasty-hunit' 'haskell-tasty-quickcheck') +checkdepends=('cvc4' 'yices' 'z3') +optdepends=('cvc4' 'yices' 'z3') +source=(https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz) +sha512sums=('fcfb36322d3cd82fa5c013d404cbe8c7c8e52dc8e1b8b530df8c1c174d67327e9a48ba1a4c0714d87925eecd69713b341c4c96055693d2b6788a0c6bf7fc56a9') + +prepare() { +cd $_hkgname-$pkgver +echo -e "import Distribution.Simple\nmain = defaultMain" > Setup.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 +}
[arch-commits] Commit in haskell-what4/repos (2 files)
Date: Sunday, August 9, 2020 @ 04:51:38 Author: felixonmars Revision: 673023 archrelease: copy trunk to community-staging-x86_64 Added: haskell-what4/repos/community-staging-x86_64/ haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 673022, haskell-what4/trunk/PKGBUILD) --+ PKGBUILD | 56 1 file changed, 56 insertions(+) Copied: haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 673022, haskell-what4/trunk/PKGBUILD) === --- community-staging-x86_64/PKGBUILD (rev 0) +++ community-staging-x86_64/PKGBUILD 2020-08-09 04:51:38 UTC (rev 673023) @@ -0,0 +1,56 @@ +# Maintainer: Felix Yan + +_hkgname=what4 +pkgname=haskell-what4 +pkgver=1.0 +pkgrel=10 +pkgdesc="Solver-agnostic symbolic values support for issuing queries" +url="https://github.com/GaloisInc/what4; +license=('BSD') +arch=('x86_64') +depends=('ghc-libs' 'haskell-attoparsec' 'haskell-ansi-wl-pprint' 'haskell-bimap' + 'haskell-bifunctors' 'haskell-bv-sized' 'haskell-deriving-compat' + 'haskell-data-binary-ieee754' 'haskell-extra' 'haskell-fingertree' 'haskell-hashable' + 'haskell-hashtables' 'haskell-io-streams' 'haskell-lens' 'haskell-panic' + 'haskell-parameterized-utils' 'haskell-scientific' 'haskell-temporary' + 'haskell-th-abstraction' 'haskell-unordered-containers' 'haskell-utf8-string' + 'haskell-vector' 'haskell-versions' 'haskell-zenc') +makedepends=('ghc' 'haskell-hedgehog' 'haskell-quickcheck' 'haskell-tasty' 'haskell-tasty-hedgehog' + 'haskell-tasty-hunit' 'haskell-tasty-quickcheck') +checkdepends=('cvc4' 'yices' 'z3') +optdepends=('cvc4' 'yices' 'z3') +source=(https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz) +sha512sums=('fcfb36322d3cd82fa5c013d404cbe8c7c8e52dc8e1b8b530df8c1c174d67327e9a48ba1a4c0714d87925eecd69713b341c4c96055693d2b6788a0c6bf7fc56a9') + +prepare() { +cd $_hkgname-$pkgver +echo -e "import Distribution.Simple\nmain = defaultMain" > Setup.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 +}
[arch-commits] Commit in haskell-what4/repos (2 files)
Date: Saturday, August 8, 2020 @ 16:56:20 Author: felixonmars Revision: 672509 archrelease: copy trunk to community-staging-x86_64 Added: haskell-what4/repos/community-staging-x86_64/ haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 672508, haskell-what4/trunk/PKGBUILD) --+ PKGBUILD | 56 1 file changed, 56 insertions(+) Copied: haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 672508, haskell-what4/trunk/PKGBUILD) === --- community-staging-x86_64/PKGBUILD (rev 0) +++ community-staging-x86_64/PKGBUILD 2020-08-08 16:56:20 UTC (rev 672509) @@ -0,0 +1,56 @@ +# Maintainer: Felix Yan + +_hkgname=what4 +pkgname=haskell-what4 +pkgver=1.0 +pkgrel=9 +pkgdesc="Solver-agnostic symbolic values support for issuing queries" +url="https://github.com/GaloisInc/what4; +license=('BSD') +arch=('x86_64') +depends=('ghc-libs' 'haskell-attoparsec' 'haskell-ansi-wl-pprint' 'haskell-bimap' + 'haskell-bifunctors' 'haskell-bv-sized' 'haskell-deriving-compat' + 'haskell-data-binary-ieee754' 'haskell-extra' 'haskell-fingertree' 'haskell-hashable' + 'haskell-hashtables' 'haskell-io-streams' 'haskell-lens' 'haskell-panic' + 'haskell-parameterized-utils' 'haskell-scientific' 'haskell-temporary' + 'haskell-th-abstraction' 'haskell-unordered-containers' 'haskell-utf8-string' + 'haskell-vector' 'haskell-versions' 'haskell-zenc') +makedepends=('ghc' 'haskell-hedgehog' 'haskell-quickcheck' 'haskell-tasty' 'haskell-tasty-hedgehog' + 'haskell-tasty-hunit' 'haskell-tasty-quickcheck') +checkdepends=('cvc4' 'yices' 'z3') +optdepends=('cvc4' 'yices' 'z3') +source=(https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz) +sha512sums=('fcfb36322d3cd82fa5c013d404cbe8c7c8e52dc8e1b8b530df8c1c174d67327e9a48ba1a4c0714d87925eecd69713b341c4c96055693d2b6788a0c6bf7fc56a9') + +prepare() { +cd $_hkgname-$pkgver +echo -e "import Distribution.Simple\nmain = defaultMain" > Setup.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 +}
[arch-commits] Commit in haskell-what4/repos (2 files)
Date: Saturday, August 8, 2020 @ 09:31:11 Author: felixonmars Revision: 672039 archrelease: copy trunk to community-staging-x86_64 Added: haskell-what4/repos/community-staging-x86_64/ haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 672038, haskell-what4/trunk/PKGBUILD) --+ PKGBUILD | 56 1 file changed, 56 insertions(+) Copied: haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 672038, haskell-what4/trunk/PKGBUILD) === --- community-staging-x86_64/PKGBUILD (rev 0) +++ community-staging-x86_64/PKGBUILD 2020-08-08 09:31:11 UTC (rev 672039) @@ -0,0 +1,56 @@ +# Maintainer: Felix Yan + +_hkgname=what4 +pkgname=haskell-what4 +pkgver=1.0 +pkgrel=8 +pkgdesc="Solver-agnostic symbolic values support for issuing queries" +url="https://github.com/GaloisInc/what4; +license=('BSD') +arch=('x86_64') +depends=('ghc-libs' 'haskell-attoparsec' 'haskell-ansi-wl-pprint' 'haskell-bimap' + 'haskell-bifunctors' 'haskell-bv-sized' 'haskell-deriving-compat' + 'haskell-data-binary-ieee754' 'haskell-extra' 'haskell-fingertree' 'haskell-hashable' + 'haskell-hashtables' 'haskell-io-streams' 'haskell-lens' 'haskell-panic' + 'haskell-parameterized-utils' 'haskell-scientific' 'haskell-temporary' + 'haskell-th-abstraction' 'haskell-unordered-containers' 'haskell-utf8-string' + 'haskell-vector' 'haskell-versions' 'haskell-zenc') +makedepends=('ghc' 'haskell-hedgehog' 'haskell-quickcheck' 'haskell-tasty' 'haskell-tasty-hedgehog' + 'haskell-tasty-hunit' 'haskell-tasty-quickcheck') +checkdepends=('cvc4' 'yices' 'z3') +optdepends=('cvc4' 'yices' 'z3') +source=(https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz) +sha512sums=('fcfb36322d3cd82fa5c013d404cbe8c7c8e52dc8e1b8b530df8c1c174d67327e9a48ba1a4c0714d87925eecd69713b341c4c96055693d2b6788a0c6bf7fc56a9') + +prepare() { +cd $_hkgname-$pkgver +echo -e "import Distribution.Simple\nmain = defaultMain" > Setup.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 +}
[arch-commits] Commit in haskell-what4/repos (2 files)
Date: Friday, August 7, 2020 @ 21:05:49 Author: felixonmars Revision: 671762 archrelease: copy trunk to community-staging-x86_64 Added: haskell-what4/repos/community-staging-x86_64/ haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 671761, haskell-what4/trunk/PKGBUILD) --+ PKGBUILD | 56 1 file changed, 56 insertions(+) Copied: haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 671761, haskell-what4/trunk/PKGBUILD) === --- community-staging-x86_64/PKGBUILD (rev 0) +++ community-staging-x86_64/PKGBUILD 2020-08-07 21:05:49 UTC (rev 671762) @@ -0,0 +1,56 @@ +# Maintainer: Felix Yan + +_hkgname=what4 +pkgname=haskell-what4 +pkgver=1.0 +pkgrel=7 +pkgdesc="Solver-agnostic symbolic values support for issuing queries" +url="https://github.com/GaloisInc/what4; +license=('BSD') +arch=('x86_64') +depends=('ghc-libs' 'haskell-attoparsec' 'haskell-ansi-wl-pprint' 'haskell-bimap' + 'haskell-bifunctors' 'haskell-bv-sized' 'haskell-deriving-compat' + 'haskell-data-binary-ieee754' 'haskell-extra' 'haskell-fingertree' 'haskell-hashable' + 'haskell-hashtables' 'haskell-io-streams' 'haskell-lens' 'haskell-panic' + 'haskell-parameterized-utils' 'haskell-scientific' 'haskell-temporary' + 'haskell-th-abstraction' 'haskell-unordered-containers' 'haskell-utf8-string' + 'haskell-vector' 'haskell-versions' 'haskell-zenc') +makedepends=('ghc' 'haskell-hedgehog' 'haskell-quickcheck' 'haskell-tasty' 'haskell-tasty-hedgehog' + 'haskell-tasty-hunit' 'haskell-tasty-quickcheck') +checkdepends=('cvc4' 'yices' 'z3') +optdepends=('cvc4' 'yices' 'z3') +source=(https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz) +sha512sums=('fcfb36322d3cd82fa5c013d404cbe8c7c8e52dc8e1b8b530df8c1c174d67327e9a48ba1a4c0714d87925eecd69713b341c4c96055693d2b6788a0c6bf7fc56a9') + +prepare() { +cd $_hkgname-$pkgver +echo -e "import Distribution.Simple\nmain = defaultMain" > Setup.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 +}
[arch-commits] Commit in haskell-what4/repos (2 files)
Date: Thursday, August 6, 2020 @ 07:05:34 Author: felixonmars Revision: 670570 archrelease: copy trunk to community-staging-x86_64 Added: haskell-what4/repos/community-staging-x86_64/ haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 670569, haskell-what4/trunk/PKGBUILD) --+ PKGBUILD | 56 1 file changed, 56 insertions(+) Copied: haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 670569, haskell-what4/trunk/PKGBUILD) === --- community-staging-x86_64/PKGBUILD (rev 0) +++ community-staging-x86_64/PKGBUILD 2020-08-06 07:05:34 UTC (rev 670570) @@ -0,0 +1,56 @@ +# Maintainer: Felix Yan + +_hkgname=what4 +pkgname=haskell-what4 +pkgver=1.0 +pkgrel=6 +pkgdesc="Solver-agnostic symbolic values support for issuing queries" +url="https://github.com/GaloisInc/what4; +license=('BSD') +arch=('x86_64') +depends=('ghc-libs' 'haskell-attoparsec' 'haskell-ansi-wl-pprint' 'haskell-bimap' + 'haskell-bifunctors' 'haskell-bv-sized' 'haskell-deriving-compat' + 'haskell-data-binary-ieee754' 'haskell-extra' 'haskell-fingertree' 'haskell-hashable' + 'haskell-hashtables' 'haskell-io-streams' 'haskell-lens' 'haskell-panic' + 'haskell-parameterized-utils' 'haskell-scientific' 'haskell-temporary' + 'haskell-th-abstraction' 'haskell-unordered-containers' 'haskell-utf8-string' + 'haskell-vector' 'haskell-versions' 'haskell-zenc') +makedepends=('ghc' 'haskell-hedgehog' 'haskell-quickcheck' 'haskell-tasty' 'haskell-tasty-hedgehog' + 'haskell-tasty-hunit' 'haskell-tasty-quickcheck') +checkdepends=('cvc4' 'yices' 'z3') +optdepends=('cvc4' 'yices' 'z3') +source=(https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz) +sha512sums=('fcfb36322d3cd82fa5c013d404cbe8c7c8e52dc8e1b8b530df8c1c174d67327e9a48ba1a4c0714d87925eecd69713b341c4c96055693d2b6788a0c6bf7fc56a9') + +prepare() { +cd $_hkgname-$pkgver +echo -e "import Distribution.Simple\nmain = defaultMain" > Setup.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 +}
[arch-commits] Commit in haskell-what4/repos (2 files)
Date: Saturday, August 1, 2020 @ 06:03:00 Author: felixonmars Revision: 667263 archrelease: copy trunk to community-staging-x86_64 Added: haskell-what4/repos/community-staging-x86_64/ haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 667262, haskell-what4/trunk/PKGBUILD) --+ PKGBUILD | 56 1 file changed, 56 insertions(+) Copied: haskell-what4/repos/community-staging-x86_64/PKGBUILD (from rev 667262, haskell-what4/trunk/PKGBUILD) === --- community-staging-x86_64/PKGBUILD (rev 0) +++ community-staging-x86_64/PKGBUILD 2020-08-01 06:03:00 UTC (rev 667263) @@ -0,0 +1,56 @@ +# Maintainer: Felix Yan + +_hkgname=what4 +pkgname=haskell-what4 +pkgver=1.0 +pkgrel=2 +pkgdesc="Solver-agnostic symbolic values support for issuing queries" +url="https://github.com/GaloisInc/what4; +license=('BSD') +arch=('x86_64') +depends=('ghc-libs' 'haskell-attoparsec' 'haskell-ansi-wl-pprint' 'haskell-bimap' + 'haskell-bifunctors' 'haskell-bv-sized' 'haskell-deriving-compat' + 'haskell-data-binary-ieee754' 'haskell-extra' 'haskell-fingertree' 'haskell-hashable' + 'haskell-hashtables' 'haskell-io-streams' 'haskell-lens' 'haskell-panic' + 'haskell-parameterized-utils' 'haskell-scientific' 'haskell-temporary' + 'haskell-th-abstraction' 'haskell-unordered-containers' 'haskell-utf8-string' + 'haskell-vector' 'haskell-versions' 'haskell-zenc') +makedepends=('ghc' 'haskell-hedgehog' 'haskell-quickcheck' 'haskell-tasty' 'haskell-tasty-hedgehog' + 'haskell-tasty-hunit' 'haskell-tasty-quickcheck') +checkdepends=('cvc4' 'yices' 'z3') +optdepends=('cvc4' 'yices' 'z3') +source=(https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz) +sha512sums=('fcfb36322d3cd82fa5c013d404cbe8c7c8e52dc8e1b8b530df8c1c174d67327e9a48ba1a4c0714d87925eecd69713b341c4c96055693d2b6788a0c6bf7fc56a9') + +prepare() { +cd $_hkgname-$pkgver +echo -e "import Distribution.Simple\nmain = defaultMain" > Setup.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 +}
[arch-commits] Commit in haskell-what4/repos (2 files)
Date: Thursday, July 30, 2020 @ 20:04:11 Author: felixonmars Revision: 665971 archrelease: copy trunk to community-x86_64 Added: haskell-what4/repos/community-x86_64/ haskell-what4/repos/community-x86_64/PKGBUILD (from rev 665970, haskell-what4/trunk/PKGBUILD) --+ PKGBUILD | 56 1 file changed, 56 insertions(+) Copied: haskell-what4/repos/community-x86_64/PKGBUILD (from rev 665970, haskell-what4/trunk/PKGBUILD) === --- community-x86_64/PKGBUILD (rev 0) +++ community-x86_64/PKGBUILD 2020-07-30 20:04:11 UTC (rev 665971) @@ -0,0 +1,56 @@ +# Maintainer: Felix Yan + +_hkgname=what4 +pkgname=haskell-what4 +pkgver=1.0 +pkgrel=1 +pkgdesc="Solver-agnostic symbolic values support for issuing queries" +url="https://github.com/GaloisInc/what4; +license=('BSD') +arch=('x86_64') +depends=('ghc-libs' 'haskell-attoparsec' 'haskell-ansi-wl-pprint' 'haskell-bimap' + 'haskell-bifunctors' 'haskell-bv-sized' 'haskell-deriving-compat' + 'haskell-data-binary-ieee754' 'haskell-extra' 'haskell-fingertree' 'haskell-hashable' + 'haskell-hashtables' 'haskell-io-streams' 'haskell-lens' 'haskell-panic' + 'haskell-parameterized-utils' 'haskell-scientific' 'haskell-temporary' + 'haskell-th-abstraction' 'haskell-unordered-containers' 'haskell-utf8-string' + 'haskell-vector' 'haskell-versions' 'haskell-zenc') +makedepends=('ghc' 'haskell-hedgehog' 'haskell-quickcheck' 'haskell-tasty' 'haskell-tasty-hedgehog' + 'haskell-tasty-hunit' 'haskell-tasty-quickcheck') +checkdepends=('cvc4' 'yices' 'z3') +optdepends=('cvc4' 'yices' 'z3') +source=(https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz) +sha512sums=('fcfb36322d3cd82fa5c013d404cbe8c7c8e52dc8e1b8b530df8c1c174d67327e9a48ba1a4c0714d87925eecd69713b341c4c96055693d2b6788a0c6bf7fc56a9') + +prepare() { +cd $_hkgname-$pkgver +echo -e "import Distribution.Simple\nmain = defaultMain" > Setup.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 +}