Ask Your Question

Can I git pull Sage if I compiled from source?

asked 2019-10-22 21:18:39 +0200

dsejas gravatar image

updated 2019-10-24 18:21:57 +0200

Hello, Sage Community!

I recently downloaded sage-8.9's code from the standard download page. I would like to update my installation in order to have the latest features, but I don't want to download the source and compile it again from zero.

Is it possible to use git pull in order to update my already compiled distribution, and recompile it again? Is the following workflow valid for this?

cd <the-sage-src-directory>
git pull
cd Sage/
make configure
configure --with-python=3
make build

Thanks in advance for your answers!

edit retag flag offensive close merge delete

1 Answer

Sort by ยป oldest newest most voted

answered 2019-10-22 23:25:27 +0200

nbruin gravatar image

Updating an already cloned git-repository is normally done with git pull .... See

for more basic information to set up git properly with remote repositories to pull updates from. Once you have that set up (and are on, say, master branch), you should be able to do something like git pull origin master to update your branch. Most of the time, the make build step after that should be sufficient to update your build. See the rest of the developer guide for tips on what to do when it's not. You can also look into using the git-trac utility that is explained there. It makes several configuration steps a little easier.

edit flag offensive delete link more


You're right about git pull. I really have to learn git. I am updating my original question with that correction. Thank you for leading me to the right resource!

dsejas gravatar imagedsejas ( 2019-10-24 18:20:44 +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: 2019-10-22 21:18:39 +0200

Seen: 255 times

Last updated: Oct 24 '19