summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAdam Gołębiowski2021-11-25 17:41:07 (GMT)
committerAdam Gołębiowski2021-11-25 17:41:07 (GMT)
commit3a426b510ef43ecb142532dc5796824da233b7d1 (patch)
tree287ca0513931a35c6910687de2a4d34d6307ad11
parent7247f320202fa0cee862d7cab45553583ce570fc (diff)
downloadpld-builder.new-3a426b510ef43ecb142532dc5796824da233b7d1.zip
pld-builder.new-3a426b510ef43ecb142532dc5796824da233b7d1.tar.gz
PHP 8.1 support
-rw-r--r--PLD_Builder/request.py2
-rwxr-xr-xclient/php.sh2
l---------client/php81.sh1
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