+ if [ ! -f gmp/configure ] ; then ( cd gmp && autoconf ); fi;
+ if [ ! -f gmp/mpn/configure ] ; then ( cd gmp/mpn && autoconf ); fi;
+ if [ ! -f gmp/mpz/configure ] ; then ( cd gmp/mpz && autoconf ); fi;
+ cd gmp && ./configure --target=$(HOSTPLATFORM)
+# Slight cheatage here to past host as target, but x-compilation isn't supported by ghc.
+
+# make sure the various configure files are included in a source dist.
+SRC_DIST_FILES += gmp/configure gmp/mpn/configure gmp/mpz/configure