- 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;
- if [ ! -f gmp/mpz/tests/configure ] ; then ( cd gmp/mpz/tests && autoconf ); fi;
- cd gmp && ./configure --target=$(HOSTPLATFORM)
+ cd gmp && ./configure --enable-shared=no
+
+# DON'T KNOW IF WE NEED SOMETHING LIKE THIS ANYMORE: --SDM
+# cd gmp && ./configure --target=$(HOSTPLATFORM)