From 74ea47288e8f54afc7ca1f85019e07d1656ce96e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Adam=20=C5=A0trauch?= <cx@initd.cz>
Date: Tue, 8 Oct 2024 12:16:00 +0200
Subject: [PATCH] Fix PHP build

---
 build_php8.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build_php8.sh b/build_php8.sh
index 88f724d..98ab3bb 100755
--- a/build_php8.sh
+++ b/build_php8.sh
@@ -82,7 +82,7 @@ echo "extension=mongodb.so" >> /opt/techs/php-$VERSION/etc/conf.d/extensions.ini
 # Not supported yet
 # https://github.com/Imagick/imagick/issues/358
 # We ignore PHP 8.3.2 until it's fixed
-if [ "$VERSION" != "8.3.2" -a "$VERSION" != "8.3.6" -a "$VERSION" != "8.3.9" ]; then
+if [ "$VERSION" != "8.3.2" -a "$VERSION" != "8.3.6" -a "$VERSION" != "8.3.9" -a "$VERSION" != "8.3.12" ]; then
 	echo "no" | /opt/techs/php-$VERSION/bin/pecl install imagick
 	echo "extension=imagick.so" >> /opt/techs/php-$VERSION/etc/conf.d/extensions.ini
 fi