Can I git pull Sage if I compiled from source?
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!