This repository has been archived on 2020-03-30. You can view files and clone it, but cannot push or open issues or pull requests.
2018-03-23 09:29:34 +00:00
|
|
|
sudo: required
|
|
|
|
dist: trusty
|
|
|
|
group: edge
|
|
|
|
|
|
|
|
language: php
|
|
|
|
|
|
|
|
php:
|
|
|
|
- 7.0
|
|
|
|
- 7.1
|
|
|
|
- 7.2
|
|
|
|
- nightly
|
|
|
|
|
|
|
|
script:
|
|
|
|
- phpize
|
|
|
|
- ./configure
|
|
|
|
- make
|
2018-03-24 04:22:00 +00:00
|
|
|
- echo $'n\n' | make test
|
2018-03-23 09:29:34 +00:00
|
|
|
- sudo make install
|