You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Tools to make it easier to contribute to PHP itself ([php-src](https://github.com/php/php-src)). Uses Docker containers for building, running and testing PHP from source.
4
+
5
+
Installation
6
+
------------
7
+
Ensure that [Docker](https://www.docker.com/get-docker) is installed and running on your system. Clone or download this repository somewhere, and ensure that `php-src-devtools` is on your `PATH`.
8
+
9
+
Usage
10
+
-----
11
+
In the folder that contains your clone of php-src, run:
12
+
*`php-src-devtools build` to build PHP. Note that the initial build may take about an hour.
13
+
*`php-src-devtools test` to run the full PHP testsuite. You can use `php-src-devtools test path/to/test.phpt` to run a single test, or `php-src-devtools test ext/foo` to test a single extension.
14
+
*`php-src-devtools php` to run the compiled PHP CLI, e.g. `php-src-devtools php -i` for phpinfo.
0 commit comments