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