1before_install:
2  - sudo apt-get update && sudo apt-get install php5-dev php5-cli
3  - ./autogen.sh
4
5language: c
6
7script:
8  - sudo ln -s `which phpize5` /usr/local/bin/phpize
9  - sudo ln -s `which php5` /usr/local/bin/php
10  - ./configure --enable-php
11  - make
12  - make check
13