diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 0e1ebbe25..2c21212f1 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -96,7 +96,6 @@ jobs: - SWIGLANG: php VER: '7.4' - SWIGLANG: php - VER: '8.0' - SWIGLANG: python - SWIGLANG: python PY3: 3 diff --git a/Tools/CI-linux-install.sh b/Tools/CI-linux-install.sh index b18206e64..6edce572b 100644 --- a/Tools/CI-linux-install.sh +++ b/Tools/CI-linux-install.sh @@ -83,9 +83,12 @@ case "$SWIGLANG" in $RETRY sudo apt-get -qq install liboctave-dev ;; "php") - $RETRY sudo add-apt-repository -y ppa:ondrej/php - $RETRY sudo apt-get -qq update - $RETRY sudo apt-get -qq install php$VER-cli php$VER-dev + if [[ "$VER" ]]; then + $RETRY sudo apt-get -qq remove "php*-cli" "php*-dev" # Multiple versions are pre-installed + $RETRY sudo add-apt-repository -y ppa:ondrej/php + $RETRY sudo apt-get -qq update + $RETRY sudo apt-get -qq install php$VER-cli php$VER-dev + fi ;; "python") pip install --user pycodestyle