- cd gmp && CC=$(WhatGccIsCalled) ./configure --enable-shared=no \
- --host=`echo $(HOSTPLATFORM) | sed 's/i[567]86/i486/g'`
+ if [ -f gmp/config.status ]; then \
+ cd gmp && CC=$(WhatGccIsCalled) ./config.status; \
+ else \
+ cd gmp && CC=$(WhatGccIsCalled) ./configure --enable-shared=no \
+ --host=`echo $(HOSTPLATFORM) | sed 's/i[567]86/i486/g'`; \
+ fi