compiling without internet access

[Franco Saliola]

Hi everyone,

Any ideas on how to compile sage on a machine with internet access? The installation process downloads various source tarballs, but I cannot do this. There seems to be a "make download" command to preemptively download all standard upstream source tarballs, but it is broken:

> make download

...

./src/bin/sage-download-upstream: line 6: sage-spkg: command not found 

./src/bin/sage-download-upstream: line 6: sage-spkg: command not found

./src/bin/sage-download-upstream: line 6: sage-spkg: command not found

make: *** [Makefile:65: download] Error 127

Franco

[Dima Pasechnik]

Apply:
--- a/Makefile
+++ b/Makefile
@@ -63,7 +63,7 @@ buildbot-python3:
# Preemptively download all standard upstream source tarballs.
download:
export SAGE_ROOT=$$(pwd) && \
- export PATH=$$SAGE_ROOT/src/bin:$$PATH && \
+ export PATH=$$SAGE_ROOT/build/bin:$$SAGE_ROOT/src/bin:$$PATH && \
./src/bin/sage-download-upstream

dist: build/make/Makefile

---------------
You can also download a source tarball. This would give you Sage 9.1
with all the standard package sources.

HTH
Dima
>
>
> Franco
>
> --
> 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+...@googlegroups.com.
> To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/a93c1250-740a-4dae-a524-3dc83439acfdo%40googlegroups.com.

[Franco Saliola]

Hi Dima!

On Thursday, June 18, 2020 at 4:31:36 PM UTC-4, Dima Pasechnik wrote:

On Thu, Jun 18, 2020 at 9:13 PM Franco Saliola <sal...@gmail.com> wrote:
>
>
> Hi everyone,
>
> Any ideas on how to compile sage on a machine with internet access? The installation process downloads various source tarballs, but I cannot do this. There seems to be a "make download" command to preemptively download all standard upstream source tarballs, but it is broken:
>
> > make download
> ...
> ./src/bin/sage-download-upstream: line 6: sage-spkg: command not found
>
> ./src/bin/sage-download-upstream: line 6: sage-spkg: command not found
> ./src/bin/sage-download-upstream: line 6: sage-spkg: command not found
> make: *** [Makefile:65: download] Error 127

Apply:
--- a/Makefile
+++ b/Makefile
@@ -63,7 +63,7 @@ buildbot-python3:
 # Preemptively download all standard upstream source tarballs.
 download:
        export SAGE_ROOT=$$(pwd) && \
-       export PATH=$$SAGE_ROOT/src/bin:$$PATH && \
+       export PATH=$$SAGE_ROOT/build/bin:$$SAGE_ROOT/src/bin:$$PATH && \
        ./src/bin/sage-download-upstream

 dist: build/make/Makefile

---------------

This leads to an error message that environment variables are not set correctly: 

************************************************************************

Error: You must set either the SAGE_LOCAL or SAGE_SCRIPTS_DIR environment variable to run this

************************************************************************

Error setting environment variables by sourcing sage-env

************************************************************************

 

You can also download a source tarball. This would give you Sage 9.1
with all the standard package sources.

I'm downloading this now (as you suspected, I had just cloned from the git repo). Thanks!

Franco

[Dima Pasechnik]

I've opened https://trac.sagemath.org/ticket/29896
to fix "make download"

> --
> 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+...@googlegroups.com.

> To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/21a4b35e-eb66-4ccf-8f60-561c1120d0d7o%40googlegroups.com.