diff options
author | Cyril Cohen <cohen@crans.org> | 2021-10-01 14:58:10 +0200 |
---|---|---|
committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2021-10-04 11:35:53 +0200 |
commit | 4f762132b048c93605cf24ca51975cfba7245b0b (patch) | |
tree | c32e424df72226cda848c6271fa2447de7b55361 /pkgs/development/coq-modules | |
parent | 1b6a6083eaba06fd8341aef99872cffe26c9c717 (diff) | |
download | nixpkgs-4f762132b048c93605cf24ca51975cfba7245b0b.tar nixpkgs-4f762132b048c93605cf24ca51975cfba7245b0b.tar.gz nixpkgs-4f762132b048c93605cf24ca51975cfba7245b0b.tar.bz2 nixpkgs-4f762132b048c93605cf24ca51975cfba7245b0b.tar.lz nixpkgs-4f762132b048c93605cf24ca51975cfba7245b0b.tar.xz nixpkgs-4f762132b048c93605cf24ca51975cfba7245b0b.tar.zst nixpkgs-4f762132b048c93605cf24ca51975cfba7245b0b.zip |
coqPackages.multinomials: fix
Diffstat (limited to 'pkgs/development/coq-modules')
-rw-r--r-- | pkgs/development/coq-modules/multinomials/default.nix | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/pkgs/development/coq-modules/multinomials/default.nix b/pkgs/development/coq-modules/multinomials/default.nix index f806d764755..c7fed9ced51 100644 --- a/pkgs/development/coq-modules/multinomials/default.nix +++ b/pkgs/development/coq-modules/multinomials/default.nix @@ -30,7 +30,11 @@ with lib; mkCoqDerivation { "1.0".sha256 = "1qmbxp1h81cy3imh627pznmng0kvv37k4hrwi2faa101s6bcx55m"; }; - useDune2ifVersion = versions.isGe "1.5.3"; + useDune2ifVersion = v: versions.isGe "1.5.3" v || v == "dev"; + + preConfigure = '' + patchShebangs configure || true + ''; propagatedBuildInputs = [ mathcomp.ssreflect mathcomp.algebra mathcomp-finmap mathcomp-bigenough ]; |