note 111820 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. ---- Server IP: 69.147.83.199 Probable Submitter: 69.78.223.101 ---- Manual Page -- http://php.net/manual/en/gmp.installation.php Edit -- https://master.php.net/note/edit/111820 Del: integrated -- https://master.php.net/note/delete/111820/integrated Del: useless -- https://master.php.net/note/delete/111820/useless Del: bad code -- https://master.php.net/note/delete/111820/bad+code Del: spam -- https://master.php.net/note/delete/111820/spam Del: non-english -- https://master.php.net/note/delete/111820/non-english Del: in docs -- https://master.php.net/note/delete/111820/in+docs Del: other reasons-- https://master.php.net/note/delete/111820 Reject -- https://master.php.net/note/reject/111820 Search -- https://master.php.net/manage/user-notes.php