From 0cdde6a692d4a06fa3006f2426db6dedddd8ae9f Mon Sep 17 00:00:00 2001
From: Jordan Pickwell <4682321+jpickwell@users.noreply.github.com>
Date: Thu, 11 Jan 2024 13:16:00 -0600
Subject: [PATCH] Add env var for additional configure options.

Add a new env var (`PHP_ADDITIONAL_CONFIGURE_OPTIONS`) to allow adding additional configure options without disabling OS-based configure options.
---
 bin/install | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/bin/install b/bin/install
index c40be12..c6dd40c 100755
--- a/bin/install
+++ b/bin/install
@@ -159,6 +159,10 @@ construct_configure_options() {
     local configure_options="$PHP_CONFIGURE_OPTIONS $global_config"
   fi
 
+  if [ -n "${PHP_ADDITIONAL_CONFIGURE_OPTIONS}" ]; then
+    configure_options="${configure_options} ${PHP_ADDITIONAL_CONFIGURE_OPTIONS}"
+  fi
+
   if [ "${PHP_WITHOUT_PEAR:-no}" != "no" ]; then
     configure_options="$configure_options --without-pear"
   else