Felix Yan pushed to branch main at Arch Linux / Packaging / Packages / haskell-numtype-dk
Commits: d053b05e by Felix Yan at 2024-02-25T21:02:11+00:00 upgpkg: 0.5.0.3-3: rebuild with GHC 9.2.8 - - - - - 2 changed files: - + .SRCINFO - PKGBUILD Changes: ===================================== .SRCINFO ===================================== @@ -0,0 +1,13 @@ +pkgbase = haskell-numtype-dk + pkgdesc = Type-level integers, using TypeNats, Data Kinds, and Closed Type Families. + pkgver = 0.5.0.3 + pkgrel = 3 + url = https://github.com/bjornbm/numtype-dk + arch = x86_64 + license = BSD + makedepends = ghc + depends = ghc-libs + source = https://hackage.haskell.org/packages/archive/numtype-dk/0.5.0.3/numtype-dk-0.5.0.3.tar.gz + sha256sums = f49351544dfc7920df46d24f3734f116f32ded5add7bb950b0e00e2a10c7bd9e + +pkgname = haskell-numtype-dk ===================================== PKGBUILD ===================================== @@ -3,7 +3,7 @@ _hkgname=numtype-dk pkgname=haskell-numtype-dk pkgver=0.5.0.3 -pkgrel=2 +pkgrel=3 pkgdesc="Type-level integers, using TypeNats, Data Kinds, and Closed Type Families." url="https://github.com/bjornbm/numtype-dk"; license=("BSD") @@ -17,8 +17,8 @@ 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 --ghc-option=-fllvm \ + --prefix=/usr --docdir=/usr/share/doc/$pkgname --datasubdir=$pkgname --enable-tests \ + --dynlibdir=/usr/lib --libsubdir=\$compiler/site-local/\$pkgid \ --ghc-option=-optl-Wl\,-z\,relro\,-z\,now \ --ghc-option='-pie' View it on GitLab: https://gitlab.archlinux.org/archlinux/packaging/packages/haskell-numtype-dk/-/commit/d053b05e4104ccba093919d0c7941447aa235599 -- View it on GitLab: https://gitlab.archlinux.org/archlinux/packaging/packages/haskell-numtype-dk/-/commit/d053b05e4104ccba093919d0c7941447aa235599 You're receiving this email because of your account on gitlab.archlinux.org.
