+stamp.gmp.shared:
+ $(RM) -rf $(GMP_DIR) gmpbuild-shared
+ $(TAR) -zxf $(GMP_TARBALL)
+ mv $(GMP_DIR) gmpbuild-shared
+ chmod +x ln
+ set -o igncr; export SHELLOPTS; \
+ export PATH=`pwd`:$$PATH; \
+ cd gmpbuild-shared && \
+ CC=$(WhatGccIsCalled) $(SHELL) configure \
+ --enable-shared=yes --disable-static --host=$(PLATFORM) --build=$(PLATFORM)
+ touch $@
+
+libgmp.a: stamp.gmp.static
+ $(MAKE) -C gmpbuild MAKEFLAGS=
+ $(CP) gmpbuild/.libs/libgmp.a .
+ $(RANLIB) libgmp.a