Commit 04133be9 authored by Pierre Roux's avatar Pierre Roux Committed by Vincent Laporte
Browse files

coqPackages.mathcomp: adapt to https://github.com/math-comp/math-comp/pull/1329

parent ab95b1b2

pkgs/development/coq-modules/mathcomp/default.nix

+3 −1
Original line number Diff line number Diff line
@@ -67,7 +67,7 @@ let 


  mathcomp_ = package: let

      mathcomp-deps = lib.optionals (package != "single") (map mathcomp_ (lib.head (lib.splitList (lib.pred.equal package) packages)));

      pkgpath = if package == "single" then "mathcomp" else "mathcomp/${package}";

      pkgpath = if package == "single" then "." else package;

      pname = if package == "single" then "mathcomp" else "mathcomp-${package}";

      pkgallMake = ''

        echo "all.v"  > Make
@@ -92,6 +92,8 @@ let 
          then patchShebangs etc/buildlibgraph

          fi

        '' + ''

          # handle mathcomp < 2.4.0 which had an extra base mathcomp directory

          test -d mathcomp && cd mathcomp

          cd ${pkgpath}

        '' + lib.optionalString (package == "all") pkgallMake;