libraries/integer-gmp/cbits/gmp-wrappers.cmm:30:26: fatal error: HsIntegerGmp.h: No such file or directory
fuuzetsu at fuuzetsu.co.uk
Sat Mar 8 08:11:09 UTC 2014
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: ***
>> [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?
./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
More information about the ghc-devs