php/archived-pie
1
0
Fork 0
mirror of https://github.com/php/pie.git synced 2026-03-23 23:12:17 +01:00
Code Issues Packages Projects Releases Wiki Activity

docs: add php-dev as dependency for Debian/Ubuntu systems

Browse Source
This commit is contained in:
Rod Elias
2025-08-27 00:31:24 -03:00
committed by GitHub
parent a4068eeccc
commit 715d4fa722
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
README.md
View File

@@ -17,7 +17,7 @@ On Linux, you will need a build toolchain installed. On Debian/Ubuntu type
systems, you could run something like:
```shell
sudo apt install gcc make autoconf libtool bison re2c pkg-config
sudo apt install gcc make autoconf libtool bison re2c pkg-config php-dev
```
On Windows, you do not need any build toolchain installed, since PHP extensions