Felix Yan pushed to branch main at Arch Linux / Packaging / Packages / haskell-what4
Commits: 4fe5b522 by Felix Yan at 2024-02-26T13:47:20+00:00 upgpkg: 1.5-7: rebuild with GHC 9.2.8, apply-refact 0.11.0.0, doctest-parallel 0.3.1, filepath-bytestring 1.4.2.1.13, fourmolu 0.9.0.0, ghc-exactprint 1.5.0, ghc-lib-parser 9.2.8.20230729, ghc-lib-parser-ex 9.2.1.1, ormolu 0.5.0.1, resolv 0.2.0.2, stylish-haskell 0.14.3.0 - - - - - 2 changed files: - .SRCINFO - PKGBUILD Changes: ===================================== .SRCINFO ===================================== @@ -1,7 +1,7 @@ pkgbase = haskell-what4 pkgdesc = Solver-agnostic symbolic values support for issuing queries pkgver = 1.5 - pkgrel = 6 + pkgrel = 7 url = https://github.com/GaloisInc/what4 arch = x86_64 license = BSD ===================================== PKGBUILD ===================================== @@ -3,7 +3,7 @@ _hkgname=what4 pkgname=haskell-what4 pkgver=1.5 -pkgrel=6 +pkgrel=7 pkgdesc="Solver-agnostic symbolic values support for issuing queries" url="https://github.com/GaloisInc/what4" license=('BSD') @@ -36,7 +36,7 @@ build() { runhaskell Setup configure -O --enable-shared --enable-executable-dynamic --disable-library-vanilla \ --prefix=/usr --docdir=/usr/share/doc/$pkgname --datasubdir=$pkgname --enable-tests \ - --dynlibdir=/usr/lib --libsubdir=\$compiler/site-local/\$pkgid --ghc-option=-fllvm + --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-what4/-/commit/4fe5b522ca2b6aceccda3313b9e3eaeb9fd15a98 -- View it on GitLab: https://gitlab.archlinux.org/archlinux/packaging/packages/haskell-what4/-/commit/4fe5b522ca2b6aceccda3313b9e3eaeb9fd15a98 You're receiving this email because of your account on gitlab.archlinux.org.