By the way, if the problem can be reduced to building the documentation
(that is, if "make build" succeeds but "make" does not), another option
would be to try "make doc-html-no-plot", or essentially equivalently do
export SAGE_DOCBUILD_OPTS+=' --no-plot'
make
It is possible that the plots in the documentation are causing some of the
problems.
John
On Saturday, September 16, 2017 at 6:21:54 PM UTC-7, Samuel Lelievre wrote:
>
> Miguel Angel,
>
> Let me try and summarize the discussion so far and some options.
>
> The failure:
>
> - error while running 'make' on a CentOS machine with 2 GB of RAM
> - occurred while building Sage's documentation, which is heavy on RAM
> - likely an out of memory error; not surprising with only 2 GB of RAM
>
> Various suggestions for fixing that:
>
> 1. add RAM
>
> 2. build Sage without the documentation
>
> - for that, run 'make build' instead of 'make'
>
> - gets you a fully functional Sage, just no HTML documentation
> (the HTML documentation is available online anyway)
>
> - you could build (the same version of) Sage on another machine
> (possibly with a different OS) and copy over the doc folder
>
> 3. build Sage on other machine with same system but more RAM, then
> copy Sage installation over; need same path to Sage on both sides
>
> 4. use binary-pkg to build a binary on other machine with same system
> and more RAM; then install on original machine from that binary
>
> 5. change OS
>
> Comments about each option
>
> 1. you said it is not an option in your case
> 2. you said 'make build' failed in your case
> 3. not suggested so far, you may want to try
> 4. you said that did not work
> 5. you said you were considering it
>
>
--
You received this message because you are subscribed to the Google Groups
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to sage-devel+unsubscr...@googlegroups.com.
To post to this group, send email to sage-devel@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.
