kpcyrd pushed to branch main at Arch Linux / Packaging / Packages / z3
Commits:
b7a36cef by kpcyrd at 2023-09-29T11:52:47+02:00
do not use fortification level 3
- - - - -
1 changed file:
- PKGBUILD
Changes:
=====================================
PKGBUILD
=====================================
@@ -25,6 +25,11 @@ prepare() {
build() {
cd z3
+
+ # /usr/bin/z3 uses malloc_usable_size, which is incompatible with
fortification level 3
+ export CFLAGS="${CFLAGS/_FORTIFY_SOURCE=3/_FORTIFY_SOURCE=2}"
+ export CXXFLAGS="${CXXFLAGS/_FORTIFY_SOURCE=3/_FORTIFY_SOURCE=2}"
+
cmake \
-Bbuild \
-GNinja \
View it on GitLab:
https://gitlab.archlinux.org/archlinux/packaging/packages/z3/-/commit/b7a36cef31205599ac6bca5b7b2e497beb857618
--
View it on GitLab:
https://gitlab.archlinux.org/archlinux/packaging/packages/z3/-/commit/b7a36cef31205599ac6bca5b7b2e497beb857618
You're receiving this email because of your account on gitlab.archlinux.org.
