sage: If docs are not enabled then don't include a doc attribute

there should be no doc attribute if docs are not enabled

the doc attribute is used in nixos/documentation.nix

adeb7629fc/nixos/modules/misc/documentation.nix (L342)

the doc will still be built because the doc attribute exists
This commit is contained in:
Artturin 2023-09-09 23:24:35 +03:00
parent 211a86d6c3
commit cf3d29d63f

View file

@ -47,10 +47,11 @@ stdenv.mkDerivation rec {
passthru = {
tests = sage-tests;
quicktest = sage-tests.override { longTests = false; timeLimit = 600; }; # as many tests as possible in ~10m
doc = sagedoc;
lib = sage-with-env.env.lib;
with-env = sage-with-env;
kernelspec = jupyter-kernel-definition;
} // lib.optionalAttrs withDoc {
doc = sagedoc;
};
meta = with lib; {