On Wed, Oct 23, 2019 at 4:46 AM Andrey Bliznyuk <
aab...@gmail.com> wrote:
>
> Thank you very much, Dima for your response.
>
> I presume I can read it as "Unfortunately the make continuation is not really possible in this case". Which is a real pity and, IMHO, somewhat not logical.
it is possible, but tricky. Basically you need to do the steps
in the script <SAGEROOT>/build/pkgs/maxima/spkg-install
(something one can run more or less directly, by doing
./sage -f maxima)
which in particular creates JSON files that serve as special targets
for the main makefile
build/make/Makefile, that let it decide which packages still need to be built.
These JSON files also contain info needed for package de-installation.
E.g. for maxima it's
local/var/lib/sage/installed/maxima-5.42.2
HTH
Dima
> To unsubscribe from this group and stop receiving emails from it, send an email to
sage-support...@googlegroups.com.
> To view this discussion on the web visit
https://groups.google.com/d/msgid/sage-support/fb78dc0e-88e2-427f-80d0-508510cd4853%40googlegroups.com.