ports/97426: GNU MP Library version detection appears to be broken

[Alan McFarlane]

>Number:         97426
>Category:       ports
>Synopsis:       GNU MP Library version detection appears to be broken
>Confidential:   no
>Severity:       serious
>Priority:       medium
>Responsible:    freebsd-ports-bugs
>State:          open
>Quarter:        
>Keywords:       
>Date-Required:
>Class:          sw-bug
>Submitter-Id:   current-users
>Arrival-Date:   Wed May 17 21:40:19 GMT 2006
>Closed-Date:
>Last-Modified:
>Originator:     Alan McFarlane
>Release:        6.0 Release
>Organization:
>Environment:
FreeBSD x.y.z 6.0-RELEASE FreeBSD 6.0-RELEASE #0: Wed Nov 2 19:07:38 UTC 2005 root at rat.samsco.home:/usr/obj/usr/src/sys/GENERIC amd64
>Description:
Having installed /usr/ports/math/libgmp4 (the latest version of GNU MP), any attempt to make php5-gmp fails with the error:

configure: error: GNU MP Library 4.1.2 or greater required.

pkg_info returns:
..
libgmp-4.2.1
..

Which I have verified is version 4.2.1 of the GNU MP package.

I suspect the fault is in the version detection routines in the configuration script, however I'm not sufficiently well versed in hacking those to come up with a solution.
>How-To-Repeat:
$ cd /usr/ports/math/libgmp4
$ make install clean
$ pkg_info | grep "libgmp"
libgmp-4.2.1  A free library for ...

$ cd /usr/ports/math/php5-gmp
$ make install

>Fix:

>Release-Note:
>Audit-Trail:
>Unformatted: