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: b598b87f836750b541f5cb7b897e2b7159912cd2 (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
25
26
27
#!/bin/bash
set -e

# Do not run as CGI
if [ -n "$GATEWAY_INTERFACE" ] ; then
    echo 'Can not invoke as CGI!'
    exit 1
fi

# These do not support runkit
case "$TRAVIS_PHP_VERSION" in
    hhvm*|nightly)
        exit 0
        ;;
    7.*)
        exit 0
        # Disabled for now as it causes PHP crashes, we should retry with newer version
        RVERSION=1.0.5b1
        wget https://github.com/runkit7/runkit7/releases/download/$RVERSION/runkit-$RVERSION.tgz
        pecl install ./runkit-$RVERSION.tgz
        ;;
    *)
        pecl install runkit
        ;;
esac

phpenv config-add test/php-runkit.ini