I'm working on a cross compile of GCC for the ARM architecture, which requires...among other things...GMP headers and libraries.
I'm working on CentOS 7.2, so I installed the development tools for GMP (gmp-devel), only to find that the header I needed...gmp-arm.h...is not included, as per the error thrown by configure
/usr/include/gmp.h:37:21: fatal error: gmp-arm.h: No such file or directory
#include "gmp-arm.h"
I can't find this header anywhere, nor can I find any package for CentOS that contains it. This is driving me insane...any ideas where I can find this header or if it's just a bug or mistaken error?
NOTE: In response to comment #1, I have a cross compiler that I set up by running the standalone toolchain script from the NDK. I'm using it to build a GCC compiler that will run on an arm-android device.
CLARIFICATION: I originallyran the top level gcc configure specifying --host=x86_64-linux-gnu and --target=arm-linux-androideabi. It was this configure that originallyfailed.
I then re-ran configure specifying --host=arm-linux-androideabi and --target=arm-linux-androideabi. The missing gmp-arm.h error does occur, but further into the build (see comments #2/#3)