Re: [sage-devel] Re: Error rebuilding Sage (ncurses)

2017-07-06 Thread François Bissey
The OS X file system only fake case sensitivity, so “Sage” and “sage” are actually the same folder. Now it is very suspicious. It fails because permission is denied on > /Users/J_Honrubia/Sage/sage/local/var/lib/sage/installed Yet you are t143730 and you are building from /Users/t143730/sage/ so

[sage-devel] Re: Error rebuilding Sage (ncurses)

2017-07-06 Thread jhonrubia6
this is the complete log, somehow it is trying to create a S /Library/Developer/CommandLineTools/usr/bin/make build/make/Makefile make[1]: `build/make/Makefile' is up to date. build/bin/sage-logger \ "cd build/make && ./install 'all'" logs/install.log *** ALL ENVIRONMENT VARIABLES BEFORE

[sage-devel] Error rebuilding Sage (ncurses)

2017-07-06 Thread jhonrubia6
Hi, after a git merge develop (SAGE_VERSION=8.0.beta4), I tried to rebuild with make and I get the following error sage-logger -p 'sage-spkg ncurses-6.0' '/Users/t143730/sage/logs/pkgs/ncurses-6.0.log' [ncurses-6.0] mkdir: /Users/J_Honrubia/Sage/sage/local/var/lib/sage/installed: Permission

Re: [sage-devel] Old-style packages

2017-07-06 Thread Thierry
Hi, On Wed, Jul 05, 2017 at 07:47:25PM -0700, Travis Scrimshaw wrote: > I just realized that we do not have chomp included anymore on the list > of optional packages. Moreover, it is now broken! > > This is really the last of the old-style packages I would like to see > kept. Although really we

Re: [sage-devel] Old-style packages

2017-07-06 Thread Dima Pasechnik
There is also Simon's package about group cohomology, with an upgrade still in the works IIRC. -- 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

Re: [sage-devel] Old-style packages

2017-07-06 Thread Andrey Novoseltsev
There is also "huge" package polytopes_db_4d which I do care about, but it is hard to find in listings, and given its 8GB size I don't download again and again but rather install locally. -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To