Bug #69993 [Ver->Csd]: test for gmp.h needs to test w/o include

From: Date: Sat, 14 Jan 2017 13:14:11 +0000
Subject: Bug #69993 [Ver->Csd]: test for gmp.h needs to test w/o include
References: 1  Groups: php.bugs 
Request: Send a blank email to php-bugs+get-206615@lists.php.net to get a copy of this message
Edit report at https://bugs.php.net/bug.php?id=69993&edit=1

 ID:                 69993
 Updated by:         nikic@php.net
 Reported by:        mah at everybody dot org
 Summary:            test for gmp.h needs to test w/o include
-Status:             Verified
+Status:             Closed
 Type:               Bug
 Package:            GNU MP related
 Operating System:   Debian
 PHP Version:        *
 Block user comment: N
 Private report:     N

 New Comment:

Automatic comment on behalf of jgigov@abv.bg
Revision: http://git.php.net/?p=php-src.git;a=commit;h=60aff0bd30197a4fd898904a45f1677e333a6dda
Log: Fixed bug #69993


Previous Comments:
------------------------------------------------------------------------
[2015-09-01 21:03:19] cmb@php.net

On a 64bit Debian Jessie libgmp-devel installs gmp.h in
/usr/include/x86_64-linux-gnu/, and so it's not possible to
configure successfully. The supplied patch fixes the issue so
that one can do

  ./configure --disable-all --enable-cli
              --with-gmp=/usr/include/x86_64-linux-gnu
  
However, that looks fishy to me.

------------------------------------------------------------------------
[2015-07-13 22:03:45] kalle@php.net

Marking this as verified then, should probably only go down to 5.6 since 5.5 and 5.4 is in security
only mode

------------------------------------------------------------------------
[2015-07-12 04:22:18] php-bugs at lists dot php dot net

No feedback was provided. The bug is being suspended because
we assume that you are no longer experiencing the problem.
If this is not the case and you are able to provide the
information that was requested earlier, please do so and
change the status of the bug back to "Re-Opened". Thank you.

------------------------------------------------------------------------
[2015-07-05 20:59:41] mah at everybody dot org

Given that the code with this issue was checked in 2003 -- https://github.com/php/php-src/blame/master/ext/gmp/config.m4#L7
-- I would say most versions of PHP have this problem.

------------------------------------------------------------------------
[2015-07-04 10:24:13] kalle@php.net

Hi, is this also the case for older versions, like 5.6?

------------------------------------------------------------------------


The remainder of the comments for this report are too long. To view
the rest of the comments, please view the bug report online at

    https://bugs.php.net/bug.php?id=69993


--
Edit this bug report at https://bugs.php.net/bug.php?id=69993&edit=1


Thread (10 messages)

« previous php.bugs (#206615) next »