diff options
Diffstat (limited to 'pkgs/development/coq-modules/Cheerios/default.nix')
| -rw-r--r-- | pkgs/development/coq-modules/Cheerios/default.nix | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/pkgs/development/coq-modules/Cheerios/default.nix b/pkgs/development/coq-modules/Cheerios/default.nix index d7763d87c9e67..5c79969c756c4 100644 --- a/pkgs/development/coq-modules/Cheerios/default.nix +++ b/pkgs/development/coq-modules/Cheerios/default.nix @@ -9,5 +9,9 @@ with lib; mkCoqDerivation { release."20200201".sha256 = "1h55s6lk47bk0lv5ralh81z55h799jbl9mhizmqwqzy57y8wqgs1"; propagatedBuildInputs = [ StructTact ]; - preConfigure = "patchShebangs ./configure"; + preConfigure = '' + if [ -f ./configure ]; then + patchShebangs ./configure + fi + ''; } |