Ask Your Question

Can make doc use less memory?

asked 2016-11-29 14:46:38 +0200

Sébastien gravatar image

Running make doc works fine during the night on my computer because I am not using it. But running make doc is really annoying during the day when let's say I want to use firefox at the same time: the computer gets swapping and becomes unusable.

edit retag flag offensive close merge delete


I agree with this, though I don't know a solution other than forcing it to use one thread.

kcrisman gravatar imagekcrisman ( 2016-11-29 15:18:14 +0200 )edit

1 Answer

Sort by » oldest newest most voted

answered 2016-11-29 16:08:25 +0200

slelievre gravatar image

updated 2016-11-29 22:16:22 +0200

kcrisman gravatar image

Developers are well aware of the problem with memory usage while building Sage's documentation.

To mitigate this problem, make sure to disable using multiple cores while building the docs:

$ export MAKE='make -j1'
$ make doc

There was work on decreasing the memory usage of building the documentation during Sage Days 77 in Spring 2016 and you can hopefully find some of the conclusions in the report available from the days77 page.

It's possible that more work is needed.

edit flag offensive delete link more


@slelievre well now I feel better about not knowing any other solution!

kcrisman gravatar imagekcrisman ( 2016-11-29 22:17:33 +0200 )edit

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools

1 follower


Asked: 2016-11-29 14:46:38 +0200

Seen: 281 times

Last updated: Nov 29 '16