Ask Your Question

build sage without documentation

asked 2014-02-05 07:02:57 +0200

Michele gravatar image

updated 2014-02-05 10:37:54 +0200

tmonteil gravatar image

I see that sometimes when building sage with the commands

git pull

the majority of time is employed in building the documentation. Actually I'm not interested in building the documentation on my machine (I usually have an internet connection and I usually browse the documentation online).

Is it possible to ignore the documentation when building sage? How can I do that?

edit retag flag offensive close merge delete


How long does it take to build the documentation? If you have several cores, you should be building in parallel: do `export MAKE="make -j8"` followed by `make` (or in very recent versions, just `make -j8`) to build Sage with 8 parallel processes.

John Palmieri gravatar imageJohn Palmieri ( 2014-02-05 13:13:56 +0200 )edit

`make -j8` doesn't work for the documentation, since the documentation doesn't actually use `make`. `MAKE="make -j8" make` does work in all cases (because we can read the environment variable `MAKE` from Python).

Jeroen Demeyer gravatar imageJeroen Demeyer ( 2014-02-09 06:10:31 +0200 )edit

1 Answer

Sort by ยป oldest newest most voted

answered 2014-02-05 09:19:18 +0200

tmonteil gravatar image

updated 2014-02-05 09:21:20 +0200

The default make target runs both build and doc targets. If you do not want the documentation to be built, you can try:

make build
edit flag offensive delete link more

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: 2014-02-05 07:02:57 +0200

Seen: 491 times

Last updated: Feb 05 '14