Merge pull request #188344 from tjni/cvc3-stackprotector

cvc3: reenable stackprotector on aarch64-darwin
This commit is contained in:
7c6f434c
2022-08-26 18:53:37 +00:00
committed by GitHub
@@ -16,10 +16,6 @@ stdenv.mkDerivation rec {
# 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 '{}' ';'