Drop notes on vagrant

This commit is contained in:
Niklas Keller 2022-02-06 23:52:51 +01:00
parent 71f9076f2d
commit d9200171ba
2 changed files with 1 additions and 30 deletions

View File

@ -72,16 +72,4 @@ If you discover any security related issues, please email [`me@kelunik.com`](mai
## License
The MIT License (MIT). Please see [`LICENSE`](./LICENSE) for more information.
## Development and Contributing
Want to hack on the source? A [Vagrant](http://vagrantup.com) box is provided with the repository to give a common development environment for running concurrent threads and processes, and comes with a bunch of handy tools and scripts for testing and experimentation.
Starting up and logging into the virtual machine is as simple as
```bash
vagrant up && vagrant ssh
```
Once inside the VM, you can install PHP extensions with [Pickle](https://github.com/FriendsOfPHP/pickle), switch versions with `newphp VERSION`, and test for memory leaks with [Valgrind](http://valgrind.org).
The MIT License (MIT). Please see [`LICENSE`](./LICENSE) for more information.

17
Vagrantfile vendored
View File

@ -1,17 +0,0 @@
Vagrant.configure(2) do |config|
config.vm.box = "rasmus/php7dev"
config.vm.provision "shell", inline: <<-SHELL
newphp 7 zts
# Install pthreads from master
git clone https://github.com/krakjoe/pthreads
cd pthreads
git checkout master
phpize
./configure
make
sudo make install
echo 'extension=pthreads.so' >> `php -i | grep php-cli.ini | awk '{print $5}'`
SHELL
end