Comment 4 for bug 93603

Revision history for this message
RichardNeill (ubuntu-richardneill) wrote : Re: php5-gmp package doesn't exist (nor do many other PHP extensions)

As a workaround, can anyone advise on the correct way to manually compile and install the extensions? Is it possible to compile just the extra bits, without generating an entirely separate full install of PHP in /usr/local, and thereby losing the benefit of Ubuntu security updates etc?