6 Nov
                
                    2007
                
            
            
                6 Nov
                
                '07
                
            
            
            
        
    
                11:36 a.m.
            
        On 11/6/07, Alberto Ruiz 
I have the same problem. And gmp.h is also not found when using the FFI. I must add: cc-options: -I/path/to/ghc-6.8.1/gmp
unfortunately : $ find /usr/local/lib/ghc-6.8.1 -name *gmp* -ls $ ghc was installed this way : $ tar xvfj ghc-6.8.1-i386-unknown-linux.tar.bz2 $ cd ghc-6.8.1 $ ./configure $ sudo make install it looks like gmp is not installed : $ locate libgmp.a /home/david/Desktop/ghc-6.8.1/gmp/libgmp.a