Add enable-download-from-upstream-url to github actions

sagemath · Apr 16, 2022 · 7b43a31 · 7b43a31
1 parent aba583d
commit 7b43a31
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -31,7 +31,7 @@ jobs:
         run: |
           # Reuse built SAGE_LOCAL contained in the Docker image 
           ./bootstrap
-          ./configure --enable-build-as-root --prefix=/sage/local --with-sage-venv --enable-editable
+          ./configure --enable-build-as-root --prefix=/sage/local --with-sage-venv --enable-editable --enable-download-from-upstream-url
           # Install test tools
           apt-get install -y git
           ./sage -python -m pip install coverage

diff --git a/.github/workflows/doc-build.yml b/.github/workflows/doc-build.yml
@@ -23,7 +23,7 @@ jobs:
         run: |
           # Reuse built SAGE_LOCAL contained in the Docker image 
           ./bootstrap
-          ./configure --enable-build-as-root --prefix=/sage/local --with-sage-venv
+          ./configure --enable-build-as-root --prefix=/sage/local --with-sage-venv --enable-download-from-upstream-url
 
       - name: Build
         run: make doc-html