PHP是一種非常流行的服務(wù)器端編程語言，而PHP Devel源則提供了一個(gè)可以讓開發(fā)人員更加方便地進(jìn)行開發(fā)和調(diào)試的環(huán)境。這個(gè)源雖然不是PHP默認(rèn)的源，但是是一些開發(fā)人員經(jīng)常使用的源之一。

使用PHP Devel源能夠讓我們更加方便地進(jìn)行PHP開發(fā)，這是因?yàn)樗峁┝艘恍┏Ｓ霉ぞ吆蛶欤@些工具和庫可以幫助我們更加快捷地進(jìn)行開發(fā)。比如說，這個(gè)源里面包括了PHP的常用擴(kuò)展模塊的開發(fā)包，例如GD、PGSQL等等。這些模塊可以讓我們更加方便地進(jìn)行圖片處理、數(shù)據(jù)庫操作等。

sudo apt-get install php7.2-dev

除了這些常用的擴(kuò)展模塊，PHP Devel源還提供了一些工具和庫，例如phpize、php-config、phpdbg等等。這些工具可以協(xié)助我們進(jìn)行擴(kuò)展模塊的編譯和測試。使用這些工具可以提高我們的開發(fā)效率，并且讓我們能夠更加方便地進(jìn)行調(diào)試。

phpize
./configure --with-mysql
make
sudo make install

需要注意的是，在使用PHP Devel源的時(shí)候，我們需要確保自己的操作系統(tǒng)和PHP版本兼容。因?yàn)檫@個(gè)源并不是默認(rèn)的源，所以我們需要手動(dòng)添加它到系統(tǒng)中。目前，PHP Devel源只支持一些常用的Linux發(fā)行版，如Ubuntu等。如果你使用的是其他發(fā)行版，可以通過其他方式來獲取PHP Devel源。

sudo add-apt-repository ppa:ondrej/php
sudo apt-get update

總體來說，PHP Devel源對于開發(fā)人員來說是非常有用的，它可以提供一些常用工具和庫，可以讓我們更加方便地進(jìn)行開發(fā)和調(diào)試。雖然它需要我們手動(dòng)添加到系統(tǒng)中，但是這并不會(huì)耗費(fèi)我們太多時(shí)間。如果你是一名PHP開發(fā)人員，強(qiáng)烈建議你使用PHP Devel源。