Ask Your Question
2

build sage without documentation

asked 2014-02-05 00:02:57 -0500

Michele gravatar image

updated 2014-02-05 03:37:54 -0500

tmonteil gravatar image

I see that sometimes when building sage with the commands

git pull
make

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

Comments

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 06:13:56 -0500 )edit
1

`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-08 23:10:31 -0500 )edit

1 answer

Sort by ยป oldest newest most voted
4

answered 2014-02-05 02:19:18 -0500

tmonteil gravatar image

updated 2014-02-05 02:21:20 -0500

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

Stats

Asked: 2014-02-05 00:02:57 -0500

Seen: 131 times

Last updated: Feb 05 '14