Felix Yan pushed to branch main at Arch Linux / Packaging / Packages /
haskell-simple-smt
Commits:
a48147c3 by Felix Yan at 2025-04-03T20:15:47+08:00
upgpkg: 0.9.7-4: rebuild with cabal-fmt 0.1.6, cabal-install 3.8.1.0,
cabal-install-parsers 0.6, cabal-install-solver 3.8.1.0, fourmolu 0.10.0.0, ghc
9.4.8, ghc-lib-parser 9.4.8.20231111, ghc-lib-parser-ex 9.4.0.0, haskell-ci
0.16, hjsmin 0.2.1, hlint 3.5, hoauth2 2.8.0, ormolu 0.5.1.0, rope-utf16-splay
0.4.0.0, stylish-haskell 0.14.4.0, vty-crossplatform 0.4.0.0
- - - - -
2 changed files:
- .SRCINFO
- PKGBUILD
Changes:
=====================================
.SRCINFO
=====================================
@@ -1,7 +1,7 @@
pkgbase = haskell-simple-smt
pkgdesc = A simple way to interact with an SMT solver process
pkgver = 0.9.7
- pkgrel = 3
+ pkgrel = 4
url = https://github.com/yav/simple-smt
arch = x86_64
license = BSD
=====================================
PKGBUILD
=====================================
@@ -4,7 +4,7 @@
_hkgname=simple-smt
pkgname=haskell-simple-smt
pkgver=0.9.7
-pkgrel=3
+pkgrel=4
pkgdesc="A simple way to interact with an SMT solver process"
url="https://github.com/yav/simple-smt";
license=("BSD")
@@ -17,7 +17,7 @@
sha512sums=('21ecc28e94428b369b307f0354a12f555d64f8ade491a1bd4082762a7448baa1213
build() {
cd $_hkgname-$pkgver
- runhaskell Setup configure -O --enable-shared --enable-executable-dynamic
--disable-library-vanilla \
+ runhaskell Setup configure -O --enable-shared --enable-debug-info
--enable-executable-dynamic --disable-library-vanilla \
--prefix=/usr --docdir=/usr/share/doc/$pkgname --datasubdir=$pkgname \
--dynlibdir=/usr/lib --libsubdir=\$compiler/site-local/\$pkgid
runhaskell Setup build $MAKEFLAGS
View it on GitLab:
https://gitlab.archlinux.org/archlinux/packaging/packages/haskell-simple-smt/-/commit/a48147c31fccf8459e1ea1c260f6864efd8cb675
--
View it on GitLab:
https://gitlab.archlinux.org/archlinux/packaging/packages/haskell-simple-smt/-/commit/a48147c31fccf8459e1ea1c260f6864efd8cb675
You're receiving this email because of your account on gitlab.archlinux.org.
