[arch-commits] Commit in haskell-data-checked/trunk (PKGBUILD)
Date: Wednesday, December 23, 2020 @ 21:08:55 Author: felixonmars Revision: 785251 upgpkg: haskell-data-checked 0.3-19: rebuild with ghc 8.10.3 Modified: haskell-data-checked/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-12-23 21:08:34 UTC (rev 785250) +++ PKGBUILD2020-12-23 21:08:55 UTC (rev 785251) @@ -3,7 +3,7 @@ _hkgname=data-checked pkgname=haskell-data-checked pkgver=0.3 -pkgrel=18 +pkgrel=19 pkgdesc="Type-indexed runtime-checked properties" url="https://github.com/mvv/data-checked"; license=('BSD')
[arch-commits] Commit in haskell-data-checked/trunk (PKGBUILD)
Date: Sunday, August 30, 2020 @ 11:05:05 Author: felixonmars Revision: 692694 upgpkg: haskell-data-checked 0.3-18: rebuild with happy 1.20.0 Modified: haskell-data-checked/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-08-30 11:04:30 UTC (rev 692693) +++ PKGBUILD2020-08-30 11:05:05 UTC (rev 692694) @@ -3,7 +3,7 @@ _hkgname=data-checked pkgname=haskell-data-checked pkgver=0.3 -pkgrel=17 +pkgrel=18 pkgdesc="Type-indexed runtime-checked properties" url="https://github.com/mvv/data-checked"; license=('BSD')
[arch-commits] Commit in haskell-data-checked/trunk (PKGBUILD)
Date: Monday, August 17, 2020 @ 05:48:23 Author: felixonmars Revision: 682195 upgpkg: haskell-data-checked 0.3-17: rebuild with ghc 8.10.2 Modified: haskell-data-checked/trunk/PKGBUILD --+ PKGBUILD |4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) Modified: PKGBUILD === --- PKGBUILD2020-08-17 05:47:52 UTC (rev 682194) +++ PKGBUILD2020-08-17 05:48:23 UTC (rev 682195) @@ -3,7 +3,7 @@ _hkgname=data-checked pkgname=haskell-data-checked pkgver=0.3 -pkgrel=16 +pkgrel=17 pkgdesc="Type-indexed runtime-checked properties" url="https://github.com/mvv/data-checked"; license=('BSD') @@ -19,7 +19,7 @@ runhaskell Setup configure -O --enable-shared --enable-executable-dynamic --disable-library-vanilla \ --prefix=/usr --docdir=/usr/share/doc/$pkgname \ --dynlibdir=/usr/lib --libsubdir=\$compiler/site-local/\$pkgid -runhaskell Setup build +runhaskell Setup build $MAKEFLAGS runhaskell Setup register --gen-script runhaskell Setup unregister --gen-script sed -i -r -e "s|ghc-pkg.*update[^ ]* |&'--force' |" register.sh
[arch-commits] Commit in haskell-data-checked/trunk (PKGBUILD)
Date: Thursday, April 23, 2020 @ 10:45:05 Author: felixonmars Revision: 617976 upgpkg: haskell-data-checked 0.3-16: rebuild with ghc 8.10.1 Modified: haskell-data-checked/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-04-23 10:44:39 UTC (rev 617975) +++ PKGBUILD2020-04-23 10:45:05 UTC (rev 617976) @@ -3,7 +3,7 @@ _hkgname=data-checked pkgname=haskell-data-checked pkgver=0.3 -pkgrel=15 +pkgrel=16 pkgdesc="Type-indexed runtime-checked properties" url="https://github.com/mvv/data-checked"; license=('BSD')
[arch-commits] Commit in haskell-data-checked/trunk (PKGBUILD)
Date: Wednesday, February 26, 2020 @ 21:07:43 Author: felixonmars Revision: 583232 upgpkg: haskell-data-checked 0.3-15: rebuild with ghc 8.8.3 Modified: haskell-data-checked/trunk/PKGBUILD --+ PKGBUILD |6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) Modified: PKGBUILD === --- PKGBUILD2020-02-26 21:07:09 UTC (rev 583231) +++ PKGBUILD2020-02-26 21:07:43 UTC (rev 583232) @@ -3,7 +3,7 @@ _hkgname=data-checked pkgname=haskell-data-checked pkgver=0.3 -pkgrel=14 +pkgrel=15 pkgdesc="Type-indexed runtime-checked properties" url="https://github.com/mvv/data-checked"; license=('BSD') @@ -32,6 +32,6 @@ 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" +install -D -m644 LICENSE "$pkgdir"/usr/share/licenses/$pkgname/LICENSE +rm -f "$pkgdir"/usr/share/doc/$pkgname/LICENSE }
[arch-commits] Commit in haskell-data-checked/trunk (PKGBUILD)
Date: Friday, February 14, 2020 @ 21:38:14 Author: felixonmars Revision: 571285 upgpkg: haskell-data-checked 0.3-14: rebuild with ghc 8.8.2 Modified: haskell-data-checked/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-02-14 21:37:42 UTC (rev 571284) +++ PKGBUILD2020-02-14 21:38:14 UTC (rev 571285) @@ -3,7 +3,7 @@ _hkgname=data-checked pkgname=haskell-data-checked pkgver=0.3 -pkgrel=13 +pkgrel=14 pkgdesc="Type-indexed runtime-checked properties" url="https://github.com/mvv/data-checked"; license=('BSD')
[arch-commits] Commit in haskell-data-checked/trunk (PKGBUILD)
Date: Wednesday, January 8, 2020 @ 18:25:40 Author: felixonmars Revision: 550386 upgpkg: haskell-data-checked 0.3-13: rebuild with ghc 8.8.1, cabal-doctest 1.0.7 Modified: haskell-data-checked/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-01-08 18:25:08 UTC (rev 550385) +++ PKGBUILD2020-01-08 18:25:40 UTC (rev 550386) @@ -3,7 +3,7 @@ _hkgname=data-checked pkgname=haskell-data-checked pkgver=0.3 -pkgrel=12 +pkgrel=13 pkgdesc="Type-indexed runtime-checked properties" url="https://github.com/mvv/data-checked"; license=('BSD')
[arch-commits] Commit in haskell-data-checked/trunk (PKGBUILD)
Date: Wednesday, April 24, 2019 @ 21:33:30 Author: felixonmars Revision: 453557 upgpkg: haskell-data-checked 0.3-12 rebuild with ghc 8.6.5 Modified: haskell-data-checked/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2019-04-24 21:32:58 UTC (rev 453556) +++ PKGBUILD2019-04-24 21:33:30 UTC (rev 453557) @@ -3,7 +3,7 @@ _hkgname=data-checked pkgname=haskell-data-checked pkgver=0.3 -pkgrel=11 +pkgrel=12 pkgdesc="Type-indexed runtime-checked properties" url="https://github.com/mvv/data-checked"; license=('BSD')
[arch-commits] Commit in haskell-data-checked/trunk (PKGBUILD)
Date: Saturday, March 9, 2019 @ 15:38:38 Author: felixonmars Revision: 438327 upgpkg: haskell-data-checked 0.3-11 rebuild with ghc 8.6.4 Modified: haskell-data-checked/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2019-03-09 15:38:07 UTC (rev 438326) +++ PKGBUILD2019-03-09 15:38:38 UTC (rev 438327) @@ -3,7 +3,7 @@ _hkgname=data-checked pkgname=haskell-data-checked pkgver=0.3 -pkgrel=10 +pkgrel=11 pkgdesc="Type-indexed runtime-checked properties" url="https://github.com/mvv/data-checked"; license=('BSD')
[arch-commits] Commit in haskell-data-checked/trunk (PKGBUILD)
Date: Sunday, December 9, 2018 @ 20:23:29 Author: felixonmars Revision: 413136 upgpkg: haskell-data-checked 0.3-10 rebuild with ghc 8.6.3 Modified: haskell-data-checked/trunk/PKGBUILD --+ PKGBUILD |4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) Modified: PKGBUILD === --- PKGBUILD2018-12-09 20:22:59 UTC (rev 413135) +++ PKGBUILD2018-12-09 20:23:29 UTC (rev 413136) @@ -3,10 +3,10 @@ _hkgname=data-checked pkgname=haskell-data-checked pkgver=0.3 -pkgrel=9 +pkgrel=10 pkgdesc="Type-indexed runtime-checked properties" url="https://github.com/mvv/data-checked"; -license=('custom:BSD3') +license=('BSD') arch=('x86_64') depends=('ghc-libs') makedepends=('ghc')
[arch-commits] Commit in haskell-data-checked/trunk (PKGBUILD)
Date: Tuesday, November 6, 2018 @ 18:23:21 Author: felixonmars Revision: 401812 upgpkg: haskell-data-checked 0.3-9 rebuild with ghc 8.6.1 Modified: haskell-data-checked/trunk/PKGBUILD --+ PKGBUILD | 14 +++--- 1 file changed, 7 insertions(+), 7 deletions(-) Modified: PKGBUILD === --- PKGBUILD2018-11-06 18:23:06 UTC (rev 401811) +++ PKGBUILD2018-11-06 18:23:21 UTC (rev 401812) @@ -3,7 +3,7 @@ _hkgname=data-checked pkgname=haskell-data-checked pkgver=0.3 -pkgrel=8 +pkgrel=9 pkgdesc="Type-indexed runtime-checked properties" url="https://github.com/mvv/data-checked"; license=('custom:BSD3') @@ -14,10 +14,10 @@ sha512sums=('b284863ce7e66a3356ca327513c891fd62abef484cd2a1e1251c6763da2cab72ec90adf16223a15f17f74374bc133270eabd30583c16d9a9fb7a00dbdba44afa') build() { -cd "${srcdir}/${_hkgname}-${pkgver}" +cd $_hkgname-$pkgver runhaskell Setup configure -O --enable-shared --enable-executable-dynamic --disable-library-vanilla \ ---prefix=/usr --docdir="/usr/share/doc/${pkgname}" \ +--prefix=/usr --docdir=/usr/share/doc/$pkgname \ --dynlibdir=/usr/lib --libsubdir=\$compiler/site-local/\$pkgid runhaskell Setup build runhaskell Setup register --gen-script @@ -27,11 +27,11 @@ } package() { -cd "${srcdir}/${_hkgname}-${pkgver}" +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 -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-data-checked/trunk (PKGBUILD)
Date: Sunday, October 14, 2018 @ 13:50:24 Author: felixonmars Revision: 393560 upgpkg: haskell-data-checked 0.3-8 rebuild with ghc 8.6.1 Modified: haskell-data-checked/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2018-10-14 13:49:49 UTC (rev 393559) +++ PKGBUILD2018-10-14 13:50:24 UTC (rev 393560) @@ -3,7 +3,7 @@ _hkgname=data-checked pkgname=haskell-data-checked pkgver=0.3 -pkgrel=7 +pkgrel=8 pkgdesc="Type-indexed runtime-checked properties" url="https://github.com/mvv/data-checked"; license=('custom:BSD3')
[arch-commits] Commit in haskell-data-checked/trunk (PKGBUILD)
Date: Thursday, May 31, 2018 @ 18:52:19 Author: felixonmars Revision: 335222 upgpkg: haskell-data-checked 0.3-7 rebuild with ghc 8.4.3 Modified: haskell-data-checked/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2018-05-31 18:51:40 UTC (rev 335221) +++ PKGBUILD2018-05-31 18:52:19 UTC (rev 335222) @@ -4,7 +4,7 @@ _hkgname=data-checked pkgname=haskell-data-checked pkgver=0.3 -pkgrel=6 +pkgrel=7 pkgdesc="Type-indexed runtime-checked properties" url="https://github.com/mvv/data-checked"; license=('custom:BSD3')
[arch-commits] Commit in haskell-data-checked/trunk (PKGBUILD)
Date: Wednesday, May 16, 2018 @ 19:50:36 Author: felixonmars Revision: 323180 upgpkg: haskell-data-checked 0.3-6 rebuild with ghc 8.4.2 Modified: haskell-data-checked/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2018-05-16 19:50:05 UTC (rev 323179) +++ PKGBUILD2018-05-16 19:50:36 UTC (rev 323180) @@ -4,7 +4,7 @@ _hkgname=data-checked pkgname=haskell-data-checked pkgver=0.3 -pkgrel=5 +pkgrel=6 pkgdesc="Type-indexed runtime-checked properties" url="https://github.com/mvv/data-checked"; license=('custom:BSD3')
[arch-commits] Commit in haskell-data-checked/trunk (PKGBUILD)
Date: Sunday, November 26, 2017 @ 05:38:07 Author: felixonmars Revision: 268579 upgpkg: haskell-data-checked 0.3-5 rebuild with ghc 8.2.2 Modified: haskell-data-checked/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2017-11-26 05:37:17 UTC (rev 268578) +++ PKGBUILD2017-11-26 05:38:07 UTC (rev 268579) @@ -4,7 +4,7 @@ _hkgname=data-checked pkgname=haskell-data-checked pkgver=0.3 -pkgrel=4 +pkgrel=5 pkgdesc="Type-indexed runtime-checked properties" url="https://github.com/mvv/data-checked"; license=('custom:BSD3')
[arch-commits] Commit in haskell-data-checked/trunk (PKGBUILD)
Date: Saturday, September 23, 2017 @ 15:24:42 Author: felixonmars Revision: 260016 upgpkg: haskell-data-checked 0.3-4 Modified: haskell-data-checked/trunk/PKGBUILD --+ PKGBUILD |9 +++-- 1 file changed, 3 insertions(+), 6 deletions(-) Modified: PKGBUILD === --- PKGBUILD2017-09-23 15:24:05 UTC (rev 260015) +++ PKGBUILD2017-09-23 15:24:42 UTC (rev 260016) @@ -4,7 +4,7 @@ _hkgname=data-checked pkgname=haskell-data-checked pkgver=0.3 -pkgrel=3 +pkgrel=4 pkgdesc="Type-indexed runtime-checked properties" url="https://github.com/mvv/data-checked"; license=('custom:BSD3') @@ -12,12 +12,12 @@ depends=('ghc-libs') makedepends=('ghc') source=("https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz";) -md5sums=('7abc06619bd175cece9994cf8f1361a9') +sha512sums=('b284863ce7e66a3356ca327513c891fd62abef484cd2a1e1251c6763da2cab72ec90adf16223a15f17f74374bc133270eabd30583c16d9a9fb7a00dbdba44afa') build() { cd "${srcdir}/${_hkgname}-${pkgver}" -runhaskell Setup configure -O --enable-shared --enable-executable-dynamic \ +runhaskell Setup configure -O --enable-shared --enable-executable-dynamic --disable-library-vanilla \ --prefix=/usr --docdir="/usr/share/doc/${pkgname}" \ --dynlibdir=/usr/lib --libsubdir=\$compiler/site-local/\$pkgid runhaskell Setup build @@ -35,7 +35,4 @@ runhaskell Setup copy --destdir="${pkgdir}" install -D -m644 "LICENSE" "${pkgdir}/usr/share/licenses/${pkgname}/LICENSE" rm -f "${pkgdir}/usr/share/doc/${pkgname}/LICENSE" - -# Remove static libs -find "$pkgdir"/usr/lib -name "*.a" -delete }
[arch-commits] Commit in haskell-data-checked/trunk (PKGBUILD)
Date: Tuesday, August 15, 2017 @ 05:08:05 Author: felixonmars Revision: 250519 upgpkg: haskell-data-checked 0.3-3 GHC 8.2.1 rebuild Modified: haskell-data-checked/trunk/PKGBUILD --+ PKGBUILD | 10 -- 1 file changed, 4 insertions(+), 6 deletions(-) Modified: PKGBUILD === --- PKGBUILD2017-08-15 05:07:06 UTC (rev 250518) +++ PKGBUILD2017-08-15 05:08:05 UTC (rev 250519) @@ -4,12 +4,13 @@ _hkgname=data-checked pkgname=haskell-data-checked pkgver=0.3 -pkgrel=2 +pkgrel=3 pkgdesc="Type-indexed runtime-checked properties" url="https://github.com/mvv/data-checked"; license=('custom:BSD3') arch=('i686' 'x86_64') -depends=('ghc') +depends=('ghc-libs') +makedepends=('ghc') source=("https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz";) md5sums=('7abc06619bd175cece9994cf8f1361a9') @@ -18,9 +19,8 @@ runhaskell Setup configure -O --enable-shared --enable-executable-dynamic \ --prefix=/usr --docdir="/usr/share/doc/${pkgname}" \ ---libsubdir=\$compiler/site-local/\$pkgid +--dynlibdir=/usr/lib --libsubdir=\$compiler/site-local/\$pkgid runhaskell Setup build -runhaskell Setup haddock --hoogle --html runhaskell Setup register --gen-script runhaskell Setup unregister --gen-script sed -i -r -e "s|ghc-pkg.*update[^ ]* |&'--force' |" register.sh @@ -32,8 +32,6 @@ install -D -m744 register.sh "${pkgdir}/usr/share/haskell/register/${pkgname}.sh" install -D -m744 unregister.sh "${pkgdir}/usr/share/haskell/unregister/${pkgname}.sh" -install -d -m755 "${pkgdir}/usr/share/doc/ghc/html/libraries" -ln -s "/usr/share/doc/${pkgname}/html" "${pkgdir}/usr/share/doc/ghc/html/libraries/${_hkgname}" 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-data-checked/trunk (PKGBUILD)
Date: Thursday, June 15, 2017 @ 04:45:17 Author: felixonmars Revision: 236990 upgpkg: haskell-data-checked 0.3-2 rebuild with ghc,8.0.2 Modified: haskell-data-checked/trunk/PKGBUILD --+ PKGBUILD |9 ++--- 1 file changed, 6 insertions(+), 3 deletions(-) Modified: PKGBUILD === --- PKGBUILD2017-06-15 04:43:59 UTC (rev 236989) +++ PKGBUILD2017-06-15 04:45:17 UTC (rev 236990) @@ -4,12 +4,12 @@ _hkgname=data-checked pkgname=haskell-data-checked pkgver=0.3 -pkgrel=1 +pkgrel=2 pkgdesc="Type-indexed runtime-checked properties" url="https://github.com/mvv/data-checked"; license=('custom:BSD3') arch=('i686' 'x86_64') -depends=('ghc=8.0.1') +depends=('ghc') source=("https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz";) md5sums=('7abc06619bd175cece9994cf8f1361a9') @@ -16,7 +16,7 @@ build() { cd "${srcdir}/${_hkgname}-${pkgver}" -runhaskell Setup configure -O --enable-library-profiling --enable-shared \ +runhaskell Setup configure -O --enable-shared --enable-executable-dynamic \ --prefix=/usr --docdir="/usr/share/doc/${pkgname}" \ --libsubdir=\$compiler/site-local/\$pkgid runhaskell Setup build @@ -37,4 +37,7 @@ runhaskell Setup copy --destdir="${pkgdir}" install -D -m644 "LICENSE" "${pkgdir}/usr/share/licenses/${pkgname}/LICENSE" rm -f "${pkgdir}/usr/share/doc/${pkgname}/LICENSE" + +# Remove static libs +find "$pkgdir"/usr/lib -name "*.a" -delete }