From 2845438e7de5c71b7759283e03887945836426a6 Mon Sep 17 00:00:00 2001
From: Chris Sharp <csharp@georgialibraries.org>
Date: Tue, 2 Jan 2018 19:40:39 -0500
Subject: [PATCH] add php 7.0 support

---
 install-ubuntu.sh | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/install-ubuntu.sh b/install-ubuntu.sh
index 27a59ce..17ad878 100755
--- a/install-ubuntu.sh
+++ b/install-ubuntu.sh
@@ -22,14 +22,17 @@ if [ "$(whoami)" != "root" ]; then
     echo "Must be root to run this script." && exit 1
 fi
 
+PPA="ppa:ondrej/php"
 DISTRO="$(lsb_release -i | awk '{print $3}')"
 RELEASE="$(lsb_release -r | awk '{print $2}')"
 OSRF_WEB_ROOT="/openils/var/web"
 if [ "$DISTRO" == "Ubuntu" ]; then
 	if [ "$RELEASE" == "16.04" ]; then
 		APT_TOOL="apt"
-		PREREQS="php7.0 php7.0-gd php7.0-pgsql php-memcache php-pear"
+		PREREQS="php7.0 php7.0-gd php7.0-pgsql php7.0-xml php7.0-dev php-memcache php-pear"
 		APACHE_RESTART="systemctl restart apache2.service"
+        add-apt-repository -y $PPA
+        $APT_TOOL update
 	else
 		APT_TOOL="apt-get"
 		PREREQS="php5 php5-gd php5-pgsql php5-memcache php-pear"
-- 
2.11.0