Welcome to mirror list, hosted at ThFree Co, Russian Federation.

install-runkit « test - github.com/phpmyadmin/phpmyadmin.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
blob: 231b2b3293ba6520294ef48b0af3a10cbb6a908d (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
#!/bin/bash

if [ $TRAVIS_PHP_VERSION = "nightly" ] ; then
    exit 0
fi

set -e

git clone --depth=1 git://github.com/zenovich/runkit.git

pushd runkit

if [ $TRAVIS_PHP_VERSION = "5.6" ] ; then
    wget --no-check-certificate https://patch-diff.githubusercontent.com/raw/zenovich/runkit/pull/73.diff
    patch -p1 < 73.diff
fi

phpize
./configure
make
make install
popd

phpenv config-add test/travis.php.ini