CC=$(WhatGccIsCalled) $(SHELL) configure \
--enable-shared=no --host=$(PLATFORM) --build=$(PLATFORM)
$(MAKE) -C gmp/gmpbuild MAKEFLAGS=
CC=$(WhatGccIsCalled) $(SHELL) configure \
--enable-shared=no --host=$(PLATFORM) --build=$(PLATFORM)
$(MAKE) -C gmp/gmpbuild MAKEFLAGS=