cafkafk/nixpkgs
cafkafk/nixpkgs
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

cvc3: unbreak on aarch64-darwin

Browse source 
Disable stackprotector on aarch64-darwin.
This commit is contained in:
Jiajie Chen 2022-07-19 14:38:44 +08:00
parent f46c6faeff
commit fa917a6f8c
1 changed files with 7 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
pkgs/applications/science/logic/cvc3/default.nix
View file

@ -13,6 +13,13 @@ stdenv.mkDerivation rec {
patches = [ ./cvc3-2.4.1-gccv6-fix.patch ];
# fails to configure on darwin due to gmp not found
configureFlags = [ "LIBS=-L${gmp}/lib" "CXXFLAGS=-I${gmp.dev}/include" ];
# disable stackprotector on aarch64-darwin for now
# https://github.com/NixOS/nixpkgs/issues/127608
hardeningDisable = lib.optionals (stdenv.isAarch64 && stdenv.isDarwin) [ "stackprotector" ];
postPatch = ''
sed -e "s@ /bin/bash@bash@g" -i Makefile.std
find . -exec sed -e "s@/usr/bin/perl@${perl}/bin/perl@g" -i '{}' ';'