export PATH=`pwd`:$$PATH; \
cd gmpbuild-shared && \
CC=$(WhatGccIsCalled) $(SHELL) configure \
--enable-shared=yes --disable-static --host=$(PLATFORM) --build=$(PLATFORM)
touch $@
export PATH=`pwd`:$$PATH; \
cd gmpbuild-shared && \
CC=$(WhatGccIsCalled) $(SHELL) configure \
--enable-shared=yes --disable-static --host=$(PLATFORM) --build=$(PLATFORM)
touch $@