libraries/integer-gmp/cbits/gmp-wrappers.cmm:30:26: fatal error: HsIntegerGmp.h: No such file or directory

[Mateusz Kowalczyk]

Hi,

I'm trying to build HEAD but I'm getting

libraries/integer-gmp/cbits/gmp-wrappers.cmm:30:26: fatal error:
HsIntegerGmp.h: No such file or directory
 #include "HsIntegerGmp.h"
                          ^
compilation terminated.
make[1]: ***
[libraries/integer-gmp/dist-install/build/.depend-v-dyn.c_asm] Error 1
make: *** [all] Error 2

This in on 32-bit Gentoo Linux, using 7.6.3 to build. I've been able to
build fine before. My last few versions are

…
drwxr-xr-x    5 shana shana       4096 Feb 19 04:45 ghc-20140218
drwxr-xr-x    5 shana shana       4096 Feb 22 22:04 ghc-20140220
drwxr-xr-x    5 shana shana       4096 Feb 25 08:44 ghc-20140225

which means that the problem must have been introduced some time after
that point.

Does anyone have any ideas?

-- 
Mateusz K.