# and not worth re-implementing in our Makefile framework.
ifneq "$(HaveLibGmp)" "YES"
+ifneq "$(HaveFrameworkHaskellSupport)" "YES"
ifneq "$(HOSTPLATFORM)" "i386-unknown-mingw32"
boot ::
cd gmp && ./configure --enable-shared=no \
INSTALL_LIBS += gmp/libgmp.a
endif
+endif
gmp/libgmp.a ::
$(MAKE) -C gmp MAKEFLAGS=