Super User is a question and answer site for computer enthusiasts and power users. It only takes a minute to sign up.
Sign up to join this community
Per https://stackoverflow.com/a/19894267/569976 I tried the following to no avail:
ln -s /usr/include/x86_64-linux-gnu/gmp.h /usr/include/gmp.h--with-gmp=/usr/include/x86_64-linux-gnuBoth of them get me this error:
configure: error: Unable to locate gmp.h
When I do ln /usr/include/x86-64-linux-gnu/ I see this:
a.out.h asm bits c++ fpu_control.h gmp.h gnu ieee754.h sys
Any ideas?
Have you tried
ls /usr/include/x86_64-linux-gnu/gmp.h
Please make sure whether the gmp.h file exists.
Maybe you should run the following command:
sudo apt-get install libgmp-dev
just in case someone having same issue while trying to compile php via phpbrew, although /usr/include/x86_64-linux-gnu/gmp.h is definitely there and available:
symlink for gmp.h solved this for me
ln -s /usr/include/x86_64-linux-gnu/gmp.h /usr/include/gmp.h
Had the same problem in a Debian/PHP Docker container when running:
RUN docker-php-ext-install gmp
This fixed it for me (run it before the docker-php-ext-install command):
RUN apt-get update && apt-get install -y libgmp-dev
RUN ln -s /usr/include/x86_64-linux-gnu/gmp.h /usr/include/gmp.h
sudo updatedband that's obviously not an answer for this one as, even after having done that, I'm still getting this error..configureor make the symlink. As in the other question, you're not being consistent about the correct pathname to the file. Next, see ifconfigureis leaving itsconfig.logfile behind when it fails. config.log should list the specific commands thatconfigureran and what exactly happened.configurerun appears to have failed because it was interrupted, perhaps because someone hit Ctrl-C. Maybe you could rerun configure and reproduce the error to make sure you have an accurate version of the log.