[Gm2] cross compile gm2 for rpi arm?

[Charles Bradshaw]

I have a successful install of crosstool-ng for the RPI arm processor.

During the configuration I see some options for compiling optional GNU
front ends, fortran etc, but not gm2.

My native gm2 is based on gcc 4.1.2

I'm hoping to cross compile gm2 using the arm tool chain from the above
install, but the gcc version is 4.7.2

$  arm-unknown-linux-gnueabi-gcc -v
...
Thread model: posix
gcc version 4.7.2 (crosstool-NG 1.18.0)


I would be grateful if someone could give me some pointers how to cross
compile gm2 with the arm tool chain.