Come abilitare GMP in PHP su OS X?

Question

Utilizzo di OS X 10.11.1 (El Capitan) e PHP 5.5.29.

Vorrei aggiungere l'estensione GMP al mio PHP, ma non ho idea di farlo. Secondo lo PHP manual dovrei compilare PHP con un'opzione --with-gmp=dir. Ma non so come compilare PHP (dubito che l'abbia mai fatto su questa macchina, iirc è appena arrivato con PHP di default), e non so quale dir usare con l'opzione --with-gmp=.

Ho un Homebrew e ho notato un piuttosto vecchio old similar question che tuttavia non sembra funzionare (pacchetto non più disponibile).

Ho notato in brew c'è qualcosa chiamato homebrew/php/php55-gmp ma che suggerisce qualcosa con brew tap. Non ho idea di cosa sia, e preferirei non rovinare la mia configurazione Homebrew o il mio intero ambiente di sviluppo (immagino che sia improbabile, ma non ho idea di cosa sto facendo al mio sistema quando ho problemi con questo tipo di rubinetto).

Answer 1

RocketNuts, è possibile eseguire semplicemente:

brew install homebrew/php/php55-gmp 

Questo è tutto quello che ho fatto.