Installare le librerie GMP 4.3.2

Scaricate da qui l’ultima versione di GMP (GNU Multiple Precision Arithmetic Library)

Digitate

./configure
make
make check
make install

Se make check rileva qualche problema durante la compilazione, come nel mio caso, non continuate con l’intallazione delle librerie e procedete con l’installazione alternativa:

installate mac port 1.6.0 o, se necessario, aggiornatelo:

sudo port -d selfupdate

Se durante l’installazione di MacPort 1.6.0. vi appare un errore con la scritta: ‘run postflight por macports’ controllate che non ci sia un firewall attivo, in alternativa scaricatevi da qui il file postflight.sh ed eseguitelo:

sh postflight.sh

Una volta installato MacPort, installate GMP

sudo port install gmp

Le librerie di GMP sono necessarie (insieme a MPFR) se volete installare GCC Compiler Collection (4.3.1)