I recently moved from Kubuntu to Manjaro. On Manjaro (an Arch-based distro), there doesn't seem to be a package for GMP (GNU Multiple Precision) support for PHP. I only need it to work on the command line (PHP shell via
php -a). How can I install it?
Turns out there is no package to add GMP support to PHP under Manjaro because it's not really needed. I had to install the GMP library via
sudo pacman -S gmp
and then enable GMP support in PHP's settings. For the latter, I searched for all PHP ini files on my computer:
find / -name "*php*.ini" 2> /dev/null
This only printed:
In this file, there is this line:
After removing the semicolon, it worked.