Following is the command for installing the php{x}-dev dependency package: :~$ sudo apt-get install php7.2-dev