From 5b32b3c4df831c6c570f562267a6c3df8ec9f648 Mon Sep 17 00:00:00 2001
From: foobar <sniper@php.net>
Date: Sat, 9 Mar 2002 18:17:06 +0000
Subject: [PATCH] - Fixed bug: #15190

---
 ext/ming/config.m4 | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/ext/ming/config.m4 b/ext/ming/config.m4
index 4962f973c4..1023204ffd 100644
--- a/ext/ming/config.m4
+++ b/ext/ming/config.m4
@@ -7,13 +7,13 @@ PHP_ARG_WITH(ming, for MING support,
 
 if test "$PHP_MING" != "no"; then
   for i in $PHP_MING /usr/local /usr; do
-    if test -r $i/lib/libming.so; then
+    if test -f $i/lib/libming.$SHLIB_SUFFIX_NAME -o -f $i/lib/libming.a; then
       MING_DIR=$i
     fi
   done
 
   if test -z "$MING_DIR"; then
-    AC_MSG_ERROR(Please reinstall libming.so - I cannot find libming.so)
+    AC_MSG_ERROR(Please reinstall ming distribution. libming.(a|so) not found.)
   fi
 
   PHP_CHECK_LIBRARY(ming, Ming_useSWFVersion, [
-- 
2.40.0