From 080c4d87dbf7f80d1b23898bfa16fb692a528cf5 Mon Sep 17 00:00:00 2001
From: yggverse <yggverse@project>
Date: Sun, 14 Jul 2024 07:49:52 +0300
Subject: [PATCH] fix php-gtk installation check

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

diff --git a/INSTALL.sh b/INSTALL.sh
index db670d72..4e0f89fd 100755
--- a/INSTALL.sh
+++ b/INSTALL.sh
@@ -176,7 +176,7 @@ sed -i "/INI_DIR     =   /c\
          INI_DIR     =   /dev/null" $DIR_PHP_GTK_SOURCE/Makefile
 
 ## Force build for new installation
-if [ ! -d $DIR_PHP_CPP_TARGET ]; then BUILD_PHP_GTK="y"
+if [ ! -f "$($DIR_PHP_SRC_TARGET/bin/php-config --extension-dir)/php-gtk3.so" ]; then BUILD_PHP_GTK="y"
 else # or ask for re-build
     until [[ $BUILD_PHP_GTK =~ (y|n) ]]; do
         read -rp "Rebuild latest PHP-GTK? [y/n]: " -e BUILD_PHP_GTK