Unverified Commit b4e15ead authored by Aliaksandr's avatar Aliaksandr
Browse files

mkCoqDerivation: warn on superfluous enableParallelBuilding

parent 1a366f9f

pkgs/build-support/coq/default.nix

+5 −1
Original line number Diff line number Diff line
@@ -98,6 +98,7 @@ let 
      "dropAttrs"

      "dropDerivationAttrs"

      "keepAttrs"

      "enableParallelBuilding"

    ]

    ++ dropAttrs

  ) keepAttrs;
@@ -201,7 +202,10 @@ stdenv.mkDerivation ( 
        );

      buildInputs =

        args.overrideBuildInputs or ([ coq ] ++ (args.buildInputs or [ ]) ++ extraBuildInputs);

      inherit enableParallelBuilding;

      enableParallelBuilding =

        lib.warnIf (args ? enableParallelBuilding && args.enableParallelBuilding == true)

          "mkCoqDerivation: enableParallelBuilding is enabled by default; remove the explicit setting"

          enableParallelBuilding;



      meta =

        (