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

[Mateusz Kowalczyk]

On 08/03/14 07:19, Erik de Castro Lopo wrote:
> 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
> 

./sync-all get && sync-all pull
./configure --prefix=/home/shana/ghc-20140308 && make

I also ran ‘./sync-all reset --hard’

I now ran ‘make clean && ./configure --prefix=/home/shana/ghc-20140308
&& make’ and saved the results. You can find the log at
http://fuuzetsu.co.uk/misc/ghc-20140308-gmp-log (~1.8MB).

-- 
Mateusz K.