From d1a4664a202f459cde163b9be27055a733a70b52 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Michal=20=C4=8Ciha=C5=99?= <michal@cihar.com>
Date: Tue, 1 Aug 2017 09:16:15 +0200
Subject: [PATCH] Use runkit7 while testing PHP 7 on Travis
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Signed-off-by: Michal Čihař <michal@cihar.com>
---
 test/install-runkit | 15 +++++++++------
 1 file changed, 9 insertions(+), 6 deletions(-)

diff --git a/test/install-runkit b/test/install-runkit
index 1148b3543f..ff9c584c57 100755
--- a/test/install-runkit
+++ b/test/install-runkit
@@ -1,4 +1,5 @@
 #!/bin/bash
+set -e
 
 # Do not run as CGI
 if [ -n "$GATEWAY_INTERFACE" ] ; then
@@ -8,14 +9,16 @@ fi
 
 # These do not support runkit
 case "$TRAVIS_PHP_VERSION" in
-    hhvm*|7.0|7.1|7.2|nightly)
+    hhvm*|nightly)
         exit 0
         ;;
+    7.*)
+        wget https://github.com/runkit7/runkit7/releases/download/1.0.5b1/runkit-1.0.5b1.tgz
+        pecl install ./runkit-1.0.5b1.tgz
+        ;;
+    *)
+        pecl install runkit
+        ;;
 esac
 
-set -e
-set -x
-
-pecl install runkit
-
 phpenv config-add test/php-runkit.ini