diff options
author | Elan Ruusamäe | 2023-01-09 14:34:38 (GMT) |
---|---|---|
committer | Elan Ruusamäe | 2023-02-22 19:11:02 (GMT) |
commit | c5f5a91e45b1a2a6e188727388d68219a4549a1b (patch) | |
tree | 36b2b4173dc87076f4992dab78dee36efe21246a | |
parent | 3c96e4205ce7776e459de2b69f39badde3c2b44e (diff) | |
download | cleanbuild-master.zip cleanbuild-master.tar.gz |
-rwxr-xr-x | bin/cleanbuild-docker.sh | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/bin/cleanbuild-docker.sh b/bin/cleanbuild-docker.sh index baaeb60..dd78b9d 100755 --- a/bin/cleanbuild-docker.sh +++ b/bin/cleanbuild-docker.sh @@ -12,6 +12,7 @@ PROGRAM=${0##*/} : ${KEEP_CONTAINER=true} : ${TMPFS="4G"} : ${EXEC=false} +: ${IGNORE_PACKAGES="systemd-init"} dir=$(pwd) image=registry.gitlab.com/pld-linux/cleanbuild @@ -149,10 +150,24 @@ package_prepare() { notice "Build log: $buildlog" } +# Configure php versions, so that only one version is active +configure_php() { + local PHP_VERSION=5.3 + local ignore_packages + + notice "Configure php: $PHP_VERSION" + ignore_packages="$IGNORE_PACKAGES *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/./}\*//") + + docker exec --user=root -w / $name poldek-config ignore "$ignore_packages" +} + package_build() { # create default args for builder set -- -nn ${WITH:+--with "${WITH# }"} ${WITHOUT:+--without "${WITHOUT# }"} "$PACKAGE_NAME" + configure_php + while true; do notice "Install dependencies" docker exec -w / -t $name builder -g -R "$@" |