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?