6
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-gnu
Both 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?
Essentially a duplicate of http://superuser.com/questions/802022/locate-doesnt-find-all-the-files-it-should.
– Kenster – 2014-08-23T15:24:12.313How is this a duplicate? The answer to that one was to do
sudo updatedb
and that's obviously not an answer for this one as, even after having done that, I'm still getting this error.. – neubert – 2014-08-23T21:11:20.483First of all, make sure you're using the correct path to gmp.h when you run
configure
or make the symlink. As in the other question, you're not being consistent about the correct pathname to the file. Next, see ifconfigure
is leaving itsconfig.log
file behind when it fails. config.log should list the specific commands thatconfigure
ran and what exactly happened. – Kenster – 2014-08-23T22:10:08.353The path name is correct. Here's my config.log: http://pastebin.com/XcmqhGZr I'm not seeing any specific command mentioned..
– neubert – 2014-08-23T23:07:50.103That particular
configure
run 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. – Kenster – 2014-08-23T23:12:09.227