From 4f762132b048c93605cf24ca51975cfba7245b0b Mon Sep 17 00:00:00 2001 From: Cyril Cohen Date: Fri, 1 Oct 2021 14:58:10 +0200 Subject: [PATCH] coqPackages.multinomials: fix --- pkgs/development/coq-modules/multinomials/default.nix | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/pkgs/development/coq-modules/multinomials/default.nix b/pkgs/development/coq-modules/multinomials/default.nix index f806d764755d..c7fed9ced513 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 ];