Merge remote-tracking branch 'origin/master'
[phpmyadmin.git] / test / install-runkit
blob16a4051d41364a2d29c67c206e8b6d25a29cfc9a
1 #!/bin/bash
3 if [ $TRAVIS_PHP_VERSION = "nightly" -o $TRAVIS_PHP_VERSION = "7.0" ] ; then
4 exit 0
5 fi
7 set -e
9 git clone --depth=1 git://github.com/zenovich/runkit.git
11 pushd runkit
13 if [ $TRAVIS_PHP_VERSION = "5.6" ] ; then
14 wget --no-check-certificate https://patch-diff.githubusercontent.com/raw/zenovich/runkit/pull/73.diff
15 patch -p1 < 73.diff
18 phpize
19 ./configure
20 make
21 make install
22 popd
24 phpenv config-add test/travis.php.ini