diff options
Diffstat (limited to 'pkgs/development/coq-modules/StructTact/default.nix')
| -rw-r--r-- | pkgs/development/coq-modules/StructTact/default.nix | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/pkgs/development/coq-modules/StructTact/default.nix b/pkgs/development/coq-modules/StructTact/default.nix index 6618e75bab80..3fb8a42cfb56 100644 --- a/pkgs/development/coq-modules/StructTact/default.nix +++ b/pkgs/development/coq-modules/StructTact/default.nix @@ -12,5 +12,9 @@ with lib; mkCoqDerivation { release."20210328".sha256 = "sha256:1y5r1zm3hli10ah6lnj7n8hxad6rb6rgldd0g7m2fjibzvwqzhdg"; release."20181102".rev = "82a85b7ec07e71fa6b30cfc05f6a7bfb09ef2510"; release."20181102".sha256 = "08zry20flgj7qq37xk32kzmg4fg6d4wi9m7pf9aph8fd3j2a0b5v"; - preConfigure = "patchShebangs ./configure"; + preConfigure = '' + if [ -f ./configure ]; then + patchShebangs ./configure + fi + ''; } |