note 126530 added to gmp.installation

On Debian platforms, make sure you install the gmp development library first: sudo apt-get install libgmp-dev Just like other extensions, you need the libs installed before php compile will gracefully complete all. ---- Server IP: 45.112.84.4 Probable Submitter: 45.112.85.242 (proxied: 41.90.68.186) ---- Manual Page -- https://php.net/manual/en/gmp.installation.php Edit -- https://main.php.net/note/edit/126530 Del: integrated -- https://main.php.net/note/delete/126530/integrated Del: useless -- https://main.php.net/note/delete/126530/useless Del: bad code -- https://main.php.net/note/delete/126530/bad+code Del: spam -- https://main.php.net/note/delete/126530/spam Del: non-english -- https://main.php.net/note/delete/126530/non-english Del: in docs -- https://main.php.net/note/delete/126530/in+docs Del: other reasons-- https://main.php.net/note/delete/126530 Reject -- https://main.php.net/note/reject/126530 Search -- https://main.php.net/manage/user-notes.php