Try "git checkout master" instead On Sunday, September 23, 2018 at 2:53:08 PM UTC+2, Bruce Westbury wrote: > > I tried and got > > bruce@bruce-Kudu:~/sage$ git checkout 8.4beta4 > error: pathspec '8.4beta4' did not match any file(s) known to git. > > On Sunday, 23 September 2018 13:41:50 UTC+1, Volker Braun wrote: >> >> This is 26298 >> >> You need to go <= 8.4.beta4 for the initial bootstrap (which you only >> need to do once), ie: >> >> git checkout 8.4.beta4 >> make build >> git checkout develop # or whichever branch you want to work on >> >> >> >> On Sunday, September 23, 2018 at 1:53:52 PM UTC+2, Bruce Westbury wrote: >>> >>> >>> I am currently unable to build my sage development system. >>> Here are the messages I get from make build. >>> I think the key line is: >>> >>> /usr/bin/env: ‘sage-system-python’: No such file or directory >>> >>> How should I fix this? >>> >>> bruce@bruce-Kudu:~/sage$ make build >>> make build/make/Makefile --stop >>> make[1]: Entering directory '/home/bruce/sage' >>> ./bootstrap -d >>> make[2]: Entering directory '/home/bruce/sage' >>> rm -rf config configure build/make/Makefile-auto.in >>> make[2]: Leaving directory '/home/bruce/sage' >>> ./bootstrap: line 30: aclocal: command not found >>> Bootstrap failed, downloading required files instead. >>> /usr/bin/env: ‘sage-system-python’: No such file or directory >>> Error: downloading configure-282.tar.gz failed >>> Makefile:194: recipe for target 'configure' failed >>> make[1]: *** [configure] Error 1 >>> make[1]: Leaving directory '/home/bruce/sage' >>> Makefile:31: recipe for target 'base-toolchain' failed >>> make: *** [base-toolchain] Error 2 >>> >>>
-- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
