diff --git a/.github/workflows/ci-linux.yml b/.github/workflows/ci-linux.yml index dde1268d326..76efcd3fb5c 100644 --- a/.github/workflows/ci-linux.yml +++ b/.github/workflows/ci-linux.yml @@ -75,7 +75,7 @@ jobs: if [ $INSTALL_PYTHON = 'True' ]; then eval $(build/bin/sage-print-system-package-command $SYSTEM --yes install $(build/bin/sage-get-system-packages $SYSTEM _python3.9)) fi - eval $(build/bin/sage-print-system-package-command $SYSTEM --yes install $(build/bin/sage-get-system-packages $SYSTEM $(build/bin/sage-package list :standard:))) + eval $(build/bin/sage-print-system-package-command $SYSTEM --yes --ignore-missing install $(build/bin/sage-get-system-packages $SYSTEM $(build/bin/sage-package list :standard:))) pip3 install jinja2 - name: Bootstrap diff --git a/build/bin/sage-print-system-package-command b/build/bin/sage-print-system-package-command index 722a7f75161..77a6c45f0ed 100755 --- a/build/bin/sage-print-system-package-command +++ b/build/bin/sage-print-system-package-command @@ -51,6 +51,9 @@ do --yes) YES=yes ;; + --ignore-missing) + IGNORE_MISSING=yes + ;; -*) echo >&2 "$0: unknown option $1" exit 1 @@ -139,10 +142,12 @@ case $system:$command in @(debian*|ubuntu*):*) [ "$NO_INSTALL_RECOMMENDS" = yes ] && options="$options --no-install-recommends" [ "$YES" = yes ] && options="$options --yes" env="DEBIAN_FRONTEND=noninteractive " + [ "$IGNORE_MISSING" = yes ] && options="$options --ignore-missing" [ -n "$system_packages" ] && print_shell_command ${SUDO}${env}apt-get $command $options $system_packages ;; @(fedora*|redhat*|centos*):install) [ "$YES" = yes ] && options="$options -y" + [ "$IGNORE_MISSING" = yes ] && options="$options --skip-broken" [ -n "$system_packages" ] && print_shell_command ${SUDO}yum install $options $system_packages ;; gentoo*:install)