b12f/nixpkgs
1
0
Fork 0
Code Issues Pull requests Packages Projects Releases Wiki Activity

coqPackages.Cheerios: preemptive fix for removal of configure in future versions

Browse source
This commit is contained in:
Théo Zimmermann 2022-12-24 17:19:04 +01:00
parent 108f65bbd6
commit f061c452a6
No known key found for this signature in database
GPG key ID: F1744A0942F536C7
1 changed files with 5 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
pkgs/development/coq-modules/Cheerios/default.nix
View file

@ -9,5 +9,9 @@ with lib; mkCoqDerivation {
release."20200201".sha256 = "1h55s6lk47bk0lv5ralh81z55h799jbl9mhizmqwqzy57y8wqgs1";
propagatedBuildInputs = [ StructTact ];
preConfigure = "patchShebangs ./configure";
preConfigure = ''
if [ -f ./configure ]; then
patchShebangs ./configure
fi
'';
}