Felix Yan pushed to branch main at Arch Linux / Packaging / Packages / haskell-smtlib
Commits: 85a6a80c by Felix Yan at 2024-02-25T20:51:04+00:00 upgpkg: 1.1-15: rebuild with GHC 9.2.8 - - - - - 2 changed files: - + .SRCINFO - PKGBUILD Changes: ===================================== .SRCINFO ===================================== @@ -0,0 +1,13 @@ +pkgbase = haskell-smtlib + pkgdesc = A library for working with the SMTLIB format + pkgver = 1.1 + pkgrel = 15 + url = https://github.com/yav/smtLib + arch = x86_64 + license = BSD + makedepends = ghc + depends = ghc-libs + source = https://hackage.haskell.org/packages/archive/smtLib/1.1/smtLib-1.1.tar.gz + sha512sums = 11a550ec03a0c59b2f7a0f24b325cdb4c981d75b1d25785a76ba644e7c75ca843e8c99d193f650f6d4ee991e6a7f505d9f000bd13e5b1289d7d3fae66fe33124 + +pkgname = haskell-smtlib ===================================== PKGBUILD ===================================== @@ -4,7 +4,7 @@ _hkgname=smtLib pkgname=haskell-smtlib pkgver=1.1 -pkgrel=14 +pkgrel=15 pkgdesc="A library for working with the SMTLIB format" url="https://github.com/yav/smtLib"; license=("BSD") @@ -18,8 +18,8 @@ build() { cd $_hkgname-$pkgver runhaskell Setup configure -O --enable-shared --enable-executable-dynamic --disable-library-vanilla \ - --prefix=/usr --docdir=/usr/share/doc/$pkgname \ - --dynlibdir=/usr/lib --libsubdir=\$compiler/site-local/\$pkgid --ghc-option=-fllvm + --prefix=/usr --docdir=/usr/share/doc/$pkgname --datasubdir=$pkgname \ + --dynlibdir=/usr/lib --libsubdir=\$compiler/site-local/\$pkgid runhaskell Setup build $MAKEFLAGS runhaskell Setup register --gen-script runhaskell Setup unregister --gen-script View it on GitLab: https://gitlab.archlinux.org/archlinux/packaging/packages/haskell-smtlib/-/commit/85a6a80c6e4c22736615c7c4655600d10b1026ce -- View it on GitLab: https://gitlab.archlinux.org/archlinux/packaging/packages/haskell-smtlib/-/commit/85a6a80c6e4c22736615c7c4655600d10b1026ce You're receiving this email because of your account on gitlab.archlinux.org.
