• gwright@antiope.com's avatar
    Fix build with external gmp library. · 24311993
    gwright@antiope.com authored
    ghc fails to build if you use an external gmp library. This is because
    ghc requires the header file gmp.h, which used to be provided by the
    internal gmp source code.  The file gmp.h is no longer part of the
    gmp source code, but is generated as part of the build procedure.
    If an external gmp is specified, the internal gmp is not build and the
    gmp.h file never gets generated.
    
    Of course, it was a bad idea anyway to use a header file from a potentially
    different version of the library.
    
    The patch sets HAVE_LIB_GMP if the gmp library is found during configuration
    and conditionalizes including the library header file on it.
    24311993
configure.ac 38.8 KB