I tried to install the PALP database for four-dimensional reflexive 
polytopes on the SageMath cloud, following the documentation at


which suggests the shell command

sage -i polytopes_db_4d

This didn't work.  I'm not sure whether the failure implies a problem with 
the database, or with the place I'm trying to put it on the cloud (this is 
a standard Sage installation, not a development version, on a members-only 
server without extra internet access enabled).  Here's the full terminal 


make build/make/Makefile
make[1]: Entering directory '/projects/sage/sage-7.3'
make[1]: 'build/make/Makefile' is up to date.
make[1]: Leaving directory '/projects/sage/sage-7.3'
build/bin/sage-logger \
        "cd build/make && ./install 'all-toolchain'" logs/install.log
tee: logs/install.log: Permission denied
./install: line 28: /projects/sage/sage-7.3/.BUILDSTART: Permission denied
Nothing to (re)build / all up-to-date.
Error: package 'polytopes_db_4d' not found
Assuming it is an old-style package... (this is deprecated: use -p instead of 
-i to install old-style packages)
tee: /projects/sage/sage-7.3/logs/pkgs/polytopes_db_4d.log: Permission denied
/projects/sage/sage-7.3/build/bin/sage-spkg: line 283: cd: 
/projects/sage/sage-7.3/upstream: No such file or directory
Attempting to download package polytopes_db_4d
Traceback (most recent call last):
  File "/projects/sage/sage-7.3/build/bin/sage-download-file", line 27, in 
    from sage_bootstrap.download.cmdline import run_safe
line 8, in <module>
    from sage_bootstrap.download.mirror_list import MirrorList
line 22, in <module>
    from sage_bootstrap.env import SAGE_DISTFILES
  File "/projects/sage/sage-7.3/build/bin/../sage_bootstrap/env.py", line 47, 
in <module>
    assert os.path.isdir(SAGE_DISTFILES)


Any ideas?


You received this message because you are subscribed to the Google Groups 
"sage-support" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-support+unsubscr...@googlegroups.com.
To post to this group, send email to sage-support@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-support.
For more options, visit https://groups.google.com/d/optout.

Reply via email to