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?

-- 
php5-gmp package doesn't exist (nor do many other PHP extensions)
https://bugs.launchpad.net/bugs/93603
You received this bug notification because you are a member of Ubuntu
Bugs, which is the bug contact for Ubuntu.

-- 
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs

Reply via email to