diff options
author | Elan Ruusamäe | 2022-11-21 11:17:53 (GMT) |
---|---|---|
committer | Elan Ruusamäe | 2023-02-22 19:11:02 (GMT) |
commit | 3c96e4205ce7776e459de2b69f39badde3c2b44e (patch) | |
tree | a5c97b9f7d5181ea19905a3b91a70b14459f01fd | |
parent | e2e03563843fc8645233f835bc698c2b69f7e54a (diff) | |
download | cleanbuild-3c96e4205ce7776e459de2b69f39badde3c2b44e.zip cleanbuild-3c96e4205ce7776e459de2b69f39badde3c2b44e.tar.gz |
Hide php versions from poldek
-rw-r--r-- | docker/Dockerfile | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/docker/Dockerfile b/docker/Dockerfile index 75b54da..15c394e 100644 --- a/docker/Dockerfile +++ b/docker/Dockerfile @@ -26,6 +26,12 @@ RUN --mount=type=cache,id=poldek,target=/var/cache/poldek \ set -x \ # enable to preserve downloaded packages && poldek-config keep_downloads yes \ + # disable mixed php versions + # remove current php flavor from exclude list + && PHP_VERSION=5.3 \ + && IGNORE_PACKAGES="systemd-init *php4* *php52* *php53* *php54* *php55* *php56* *php70* *php71* *php72* *php73* *php74* *php80* *php81* *php82**" \ + && IGNORE_PACKAGES=$(echo "$IGNORE_PACKAGES" | sed -e "s/ \*php${PHP_VERSION/./}\*//") \ + && poldek-config ignore "$IGNORE_PACKAGES" \ # first upgrade to latest && poldek --up --upgrade-dist \ # install build deps |