Ticket #7992: integer-gmp.patch

File integer-gmp.patch, 598 bytes (added by merijn, 2 years ago)

Patch for libraries/integer-gmp.

  • gmp/ghc.mk

    diff --git a/gmp/ghc.mk b/gmp/ghc.mk
    index b540910..067e86f 100644
    a b libraries/integer-gmp/gmp/libgmp.a libraries/integer-gmp/gmp/gmp.h: 
    138138           PATH=`pwd`:$$PATH; \
    139139           export PATH; \
    140140           cd gmpbuild && \
    141            CC=$(CC_STAGE1) NM=$(NM) AR=$(AR_STAGE1) $(SHELL) configure \
     141           CC=$(CC_STAGE1) NM=$(NM) AR=$(AR_STAGE1) $(SHELL) ./configure \
    142142                 --enable-shared=no \
    143143                 --host=$(HOSTPLATFORM) --build=$(BUILDPLATFORM)
    144144       $(MAKE) -C libraries/integer-gmp/gmp/gmpbuild MAKEFLAGS=