From a53312636a02797d7856a381f580e5969b131700 Mon Sep 17 00:00:00 2001
From: Andreas Fischer <bantu@phpbb.com>
Date: Sun, 30 Mar 2014 01:06:08 +0100
Subject: [ticket/12318] Add PPA providing dependencies for recent HHVM on
 Ubuntu 12.04.

PHPBB3-12318
---
 travis/setup-webserver.sh | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'travis')

diff --git a/travis/setup-webserver.sh b/travis/setup-webserver.sh
index 6612b2c4bb..68134872f9 100755
--- a/travis/setup-webserver.sh
+++ b/travis/setup-webserver.sh
@@ -6,6 +6,12 @@
 set -e
 set -x
 
+if [ "$TRAVIS_PHP_VERSION" = 'hhvm' ]
+then
+	# Add PPA providing dependencies for recent HHVM on Ubuntu 12.04.
+	sudo add-apt-repository -y ppa:mapnik/boost
+fi
+
 sudo apt-get update
 sudo apt-get install -y nginx realpath
 
-- 
cgit v1.2.1