On Tuesday, March 8, 2022 at 9:04:22 PM UTC-6 John H Palmieri wrote:
> In theory you should be able to run "make micro_release".
>
This mostly works, though it fails to strip some binaries which were moved
in Sage 9.5. See https://trac.sagemath.org/ticket/33409
Nathan
--
You received this
In theory you should be able to run "make micro_release". According to the
comment in Makefile, this will "Remove everything that is not necessary to
run Sage and pass all its doctests." I say "in theory" because I haven't
personally tried it and I don't know if it's regularly tested by anyone.
