build for php 7.2

Author: stesie

auto-updater/20-php-versions

@@ -3,7 +3,7 @@
 tmp=`mktemp`
 wget -O$tmp 'https://s3.amazonaws.com/lang-php/?prefix=dist-cedar-14-stable/php-'
 
-for php_dist in 5.5 5.6 7.0 7.1; do
+for php_dist in 7.0 7.1 7.2; do
 	echo "Processing PHP version  ----> $php_dist"
 	latest_version=$(
 	(

auto-updater/99-ship-it

@@ -14,7 +14,7 @@ for stack in heroku-16 cedar-14; do
 
   shipit libraries/v8
 
-  for dir in no-debug-non-zts-20151012 no-debug-non-zts-20160303/; do
+  for dir in no-debug-non-zts-20151012 no-debug-non-zts-20160303 no-debug-non-zts-20170718; do
     shipit `cd support/build/; ls -1 extensions/$dir/v8js-bare-2.*`
     shipit `cd support/build/; ls -1 extensions/$dir/v8js-2.*`
   done

support/build/extensions/no-debug-non-zts-20170718/v8js-2.0.0

@@ -0,0 +1,7 @@
+#!/usr/bin/env bash
+# Build Path: /app/.heroku/php/
+# Build Deps: extensions/no-debug-non-zts-20170718/v8js-bare-2.0.0, libraries/v8
+
+# That's it - we're combining the dep build and the extension build here
+
+source $(dirname $0)/../no-debug-non-zts-20151012/v8js

support/build/extensions/no-debug-non-zts-20170718/v8js-bare-2.0.0

@@ -0,0 +1,5 @@
+#!/usr/bin/env bash
+# Build Path: /app/.heroku/php/
+# Build Deps: php-7.2.1, libraries/v8
+
+source $(dirname $0)/../no-debug-non-zts-20151012/v8js-bare