From c870bc9a3a736221af5e3fed2dd5598a1b11e21b Mon Sep 17 00:00:00 2001
From: Shivam Mathur <shivam_jpr@hotmail.com>
Date: Thu, 11 Mar 2021 10:14:56 +0530
Subject: [PATCH] Fail-fast if input repository does not have a PHP extension

---
 src/scripts/common.sh | 15 ++++++++++-----
 1 file changed, 10 insertions(+), 5 deletions(-)

diff --git a/src/scripts/common.sh b/src/scripts/common.sh
index 21314719..3523f803 100644
--- a/src/scripts/common.sh
+++ b/src/scripts/common.sh
@@ -329,11 +329,16 @@ add_extension_from_github() {
     delete_extension "$extension"
     git clone -q -n https://github.com/"$org"/"$repo" /tmp/"$repo-$release"
     cd /tmp/"$repo-$release" || exit 1
-    git checkout -q "$release" && git submodule -q update --init --recursive
-    add_libs "${libs[@]}"
-    phpize && sudo "${prefix_opts[@]}" ./configure "${suffix_opts[@]}" "${opts[@]}"
-    sudo make -j"$(nproc 2>/dev/null || sysctl -n hw.ncpu)" && sudo make install
-    enable_extension "$extension" "$prefix"
+    git checkout -q "$release"
+    if [ "$(find . -maxdepth 1 -name '*.m4' -exec grep -H 'PHP_NEW_EXTENSION' {} \;| wc -l)" != "0" ]; then
+      git submodule -q update --init --recursive
+      add_libs "${libs[@]}"
+      phpize && sudo "${prefix_opts[@]}" ./configure "${suffix_opts[@]}" "${opts[@]}"
+      sudo make -j"$(nproc 2>/dev/null || sysctl -n hw.ncpu)" && sudo make install
+      enable_extension "$extension" "$prefix"
+    else
+      add_log "$cross" "$slug" "Provided repository does not contain a PHP extension"
+    fi
   ) | sudo tee "/tmp/$extension@$release.log" >/dev/null
   add_extension_log "$slug" "Installed and enabled"
   printf "::group::\033[34;1m%s \033[0m\033[90;1m%s \033[0m\n" "$slug" "Click to get the logs of compiling $extension"