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

[Erik de Castro Lopo]

Mateusz Kowalczyk wrote:

> 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?

What did you do that led up to this point?

Erik
-- 
----------------------------------------------------------------------
Erik de Castro Lopo
http://www.mega-nerd.com/