nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2025-01-18 19:03:28 +00:00
Code Issues Packages Projects Releases Wiki Activity

coqPackages.smtcoq.cvc4: fix build with bash 5.2

Browse Source 
See: 4d85cedf5a
This commit is contained in:
Vincent Laporte 2023-02-22 11:51:50 +01:00 committed by Vincent Laporte
parent 7c06a5b786
commit 1662bbb5fb
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
pkgs/development/coq-modules/smtcoq/cvc4.nix
View File

@ -28,6 +28,10 @@ stdenv.mkDerivation rec {
patch -p1 -i ${./minisat-fenv.patch} -d src/prop/bvminisat
'';
patches = [
../../../applications/science/logic/cvc4/cvc4-bash-patsub-replacement.patch
];
preConfigure = ''
patchShebangs ./src/
'';