Merge pull request #254287 from Artturin/sagedocfix1

sage: If docs are not enabled then don't include a doc attribute
This commit is contained in:
Artturi 2023-09-16 06:36:31 +03:00 committed by GitHub
commit eac4faced1
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

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; {