diff options
Diffstat (limited to 'pkgs/development/coq-modules/InfSeqExt/default.nix')
-rw-r--r-- | pkgs/development/coq-modules/InfSeqExt/default.nix | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/pkgs/development/coq-modules/InfSeqExt/default.nix b/pkgs/development/coq-modules/InfSeqExt/default.nix index 1f11ae8e84a26..7f21386c86f69 100644 --- a/pkgs/development/coq-modules/InfSeqExt/default.nix +++ b/pkgs/development/coq-modules/InfSeqExt/default.nix @@ -7,5 +7,9 @@ mkCoqDerivation { defaultVersion = if lib.versions.isGe "8.5" coq.version then "20200131" else null; release."20200131".rev = "203d4c20211d6b17741f1fdca46dbc091f5e961a"; release."20200131".sha256 = "0xylkdmb2dqnnqinf3pigz4mf4zmczcbpjnn59g5g76m7f2cqxl0"; - preConfigure = "patchShebangs ./configure"; + preConfigure = '' + if [ -f ./configure ]; then + patchShebangs ./configure + fi + ''; } |