diff options
author | Adam Gołębiowski | 2021-11-25 17:41:07 (GMT) |
---|---|---|
committer | Adam Gołębiowski | 2021-11-25 17:41:07 (GMT) |
commit | 3a426b510ef43ecb142532dc5796824da233b7d1 (patch) | |
tree | 287ca0513931a35c6910687de2a4d34d6307ad11 | |
parent | 7247f320202fa0cee862d7cab45553583ce570fc (diff) | |
download | pld-builder.new-3a426b510ef43ecb142532dc5796824da233b7d1.zip pld-builder.new-3a426b510ef43ecb142532dc5796824da233b7d1.tar.gz |
PHP 8.1 support
-rw-r--r-- | PLD_Builder/request.py | 2 | ||||
-rwxr-xr-x | client/php.sh | 2 | ||||
l--------- | client/php81.sh | 1 |
3 files changed, 3 insertions, 2 deletions
diff --git a/PLD_Builder/request.py b/PLD_Builder/request.py index 0b71d5f..11973f9 100644 --- a/PLD_Builder/request.py +++ b/PLD_Builder/request.py @@ -409,7 +409,7 @@ class Batch: def php_ignores(self, php_version): # available php versions in distro - php_versions = ['4', '5.2', '5.3', '5.4', '5.5', '5.6', '7.0', '7.1', '7.2', '7.3', '7.4', '8.0'] + php_versions = ['4', '5.2', '5.3', '5.4', '5.5', '5.6', '7.0', '7.1', '7.2', '7.3', '7.4', '8.0', '8.1'] # remove current php version try: diff --git a/client/php.sh b/client/php.sh index 19f9883..bb945e8 100755 --- a/client/php.sh +++ b/client/php.sh @@ -4,7 +4,7 @@ program=${0##*/} program=${program%.sh} dir=$(dirname "$0") suffix=${program#php} -pre_command='for a in php4-common php52-common php53-common php54-common php55-common php56-common php70-common php71-common php72-common php73-common php74-common php80-common hhvm; do poldek -e $a --noask; done; :' +pre_command='for a in php4-common php52-common php53-common php54-common php55-common php56-common php70-common php71-common php72-common php73-common php74-common php80-common php81-common hhvm; do poldek -e $a --noask; done; :' request() { "$dir/make-request.sh" -D "php_suffix $suffix" ${pre_command:+-c "$pre_command"} ${post_command:+-C "$post_command"} "$@" diff --git a/client/php81.sh b/client/php81.sh new file mode 120000 index 0000000..d20ec52 --- /dev/null +++ b/client/php81.sh @@ -0,0 +1 @@ +php.sh
\ No newline at end of file |