sage: expose sage-with-env

This commit is contained in:
hqurve 2023-04-26 17:40:32 -04:00 committed by Sandro Jäckel
parent 9e49dc15f5
commit 547071ee63
No known key found for this signature in database
GPG key ID: 3AF5A43A3EECC2E5

View file

@ -49,6 +49,7 @@ stdenv.mkDerivation rec {
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;
};