2022-10-09 21:48:53 +03:00
|
|
|
{ mkCargoDerivation
|
2022-09-20 04:05:43 +03:00
|
|
|
}:
|
|
|
|
|
|
2022-10-24 02:20:22 +03:00
|
|
|
{ cargoDocExtraArgs ? "--no-deps"
|
2023-08-27 22:17:58 +03:00
|
|
|
, cargoExtraArgs ? "--locked"
|
2022-09-20 04:05:43 +03:00
|
|
|
, ...
|
|
|
|
|
}@origArgs:
|
|
|
|
|
let
|
2022-10-09 21:48:53 +03:00
|
|
|
args = (builtins.removeAttrs origArgs [
|
|
|
|
|
"cargoDocExtraArgs"
|
|
|
|
|
"cargoExtraArgs"
|
|
|
|
|
]);
|
2022-09-20 04:05:43 +03:00
|
|
|
in
|
2022-10-09 21:48:53 +03:00
|
|
|
mkCargoDerivation (args // {
|
2022-09-20 04:05:43 +03:00
|
|
|
pnameSuffix = "-doc";
|
|
|
|
|
|
2022-10-09 21:48:53 +03:00
|
|
|
buildPhaseCargoCommand = "cargoWithProfile doc ${cargoExtraArgs} ${cargoDocExtraArgs}";
|
2023-09-03 20:29:13 +03:00
|
|
|
|
|
|
|
|
doInstallCargoArtifacts = args.doInstallCargoArtifacts or false;
|
|
|
|
|
|
|
|
|
|
# NB: cargo always places docs at the root of the target directory
|
|
|
|
|
# even when building in release mode
|
|
|
|
|
installPhaseCommand = ''
|
|
|
|
|
mkdir -p $out/share
|
|
|
|
|
mv "''${CARGO_TARGET_DIR:-target}/doc" $out/share
|
|
|
|
|
'';
|
2022-09-20 04:05:43 +03:00
|
|
|
})
|
