coqPackages.multinomials: fix
commit4f762132b048c93605cf24ca51975cfba7245b0b
authorCyril Cohen <cohen@crans.org>
dateFri 1 Oct 2021, 14:58 (5 years ago)
parent1b6a608
pkgs/development/coq-modules/multinomials/default.nix+5−1
@@ -30,7 +30,11 @@ with lib; mkCoqDerivation {
3030 "1.0".sha256 = "1qmbxp1h81cy3imh627pznmng0kvv37k4hrwi2faa101s6bcx55m";
3131 };
3232
33− useDune2ifVersion = versions.isGe "1.5.3";
33+ useDune2ifVersion = v: versions.isGe "1.5.3" v || v == "dev";
34+
35+ preConfigure = ''
36+ patchShebangs configure || true
37+ '';
3438
3539 propagatedBuildInputs =
3640 [ mathcomp.ssreflect mathcomp.algebra mathcomp-finmap mathcomp-bigenough ];