note 126529 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/126529 Del: integrated -- https://main.php.net/note/delete/126529/integrated Del: useless -- https://main.php.net/note/delete/126529/useless Del: bad code -- https://main.php.net/note/delete/126529/bad+code Del: spam -- https://main.php.net/note/delete/126529/spam Del: non-english -- https://main.php.net/note/delete/126529/non-english Del: in docs -- https://main.php.net/note/delete/126529/in+docs Del: other reasons-- https://main.php.net/note/delete/126529 Reject -- https://main.php.net/note/reject/126529 Search -- https://main.php.net/manage/user-notes.php