8 files changed, 374 insertions, 0 deletions
diff --git a/development/hhvm/README b/development/hhvm/README
new file mode 100644
index 0000000000000..4d72d13f81563
--- /dev/null
+++ b/development/hhvm/README
@@ -0,0 +1,48 @@
+HHVM is an open-source virtual machine designed for executing
+programs written in Hack and PHP. HHVM uses a just-in-time (JIT)
+compilation approach to achieve superior performance while maintaining
+the development flexibility that PHP provides.
+
+Hack is a programming language for HHVM. Hack reconciles the fast
+development cycle of a dynamically typed language with the discipline
+provided by static typing, while adding many features commonly found
+in other modern programming languages.
+
+Please note that HHVM is unsupported on 32-bit OSes and there are no
+current plans to ever add support.
+
+In order to start HHVM at boot and stop it properly at shutdown, 
+make sure rc.hhvm is executable and add the following lines to 
+the following files:
+
+	/etc/rc.d/rc.local
+	==================
+	# Startup HHVM
+	if [ -x /etc/rc.d/rc.hhvm ]; then
+		/etc/rc.d/rc.hhvm start
+	fi
+
+	/etc/rc.d/rc.local_shutdown
+	===========================
+	# Stop HHVM
+	if [ -x /etc/rc.d/rc.hhvm ]; then
+		/etc/rc.d/rc.hhvm stop
+	fi
+
+Default HHVM configuration uses Unix sockets. If you don't use Apache make sure that your
+web server has write access to the socket file. You can create a new group and add
+your web server user to this group or just use the main group of your web server and
+start HHVM as following:
+	hhvm_GROUP=apache /etc/rc.d/rc.hhvm start
+
+FastCGI must be configured to communicate with HHVM.
+A good start point is: https://github.com/facebook/hhvm/wiki/FastCGI
+
+To start a project you have to configure the type checker as well.
+See the official documentation: http://docs.hhvm.com/manual/en/install.hack.bootstrapping.php
+Basically you create an empty .hhconfig file in the root directory of your project:
+	touch .hhconfig
+and run:
+	hh_client
+
+Happy Hacking!
diff --git a/development/hhvm/doinst.sh b/development/hhvm/doinst.sh
new file mode 100644
index 0000000000000..6979f0cdcffb7
--- /dev/null
+++ b/development/hhvm/doinst.sh
@@ -0,0 +1,20 @@
+config() {
+  NEW="$1"
+  OLD="`dirname $NEW`/`basename $NEW .new`"
+  # If there's no config file by that name, mv it over:
+  if [ ! -r $OLD ]; then
+    mv $NEW $OLD
+  elif [ "`cat $OLD | md5sum`" = "`cat $NEW | md5sum`" ]; then # toss the redundant copy
+    rm $NEW
+  fi
+  # Otherwise, we leave the .new copy for the admin to consider...
+}
+# Keep same perms on rc.hhvm.new:
+if [ -e etc/rc.d/rc.hhvm ]; then
+  cp -a etc/rc.d/rc.hhvm etc/rc.d/rc.hhvm.new.incoming
+  cat etc/rc.d/rc.hhvm.new > etc/rc.d/rc.hhvm.new.incoming
+  mv etc/rc.d/rc.hhvm.new.incoming etc/rc.d/rc.hhvm.new
+fi
+config etc/rc.d/rc.hhvm.new
+config etc/hhvm/server.ini.new
+config etc/hhvm/php.ini.new
diff --git a/development/hhvm/etc/php.ini b/development/hhvm/etc/php.ini
new file mode 100644
index 0000000000000..5004b9fb1157d
--- /dev/null
+++ b/development/hhvm/etc/php.ini
@@ -0,0 +1 @@
+extension_dir = /usr/lib64/hhvm/extensions
diff --git a/development/hhvm/etc/rc.hhvm b/development/hhvm/etc/rc.hhvm
new file mode 100644
index 0000000000000..1e184ae39c269
--- /dev/null
+++ b/development/hhvm/etc/rc.hhvm
@@ -0,0 +1,160 @@
+#!/bin/sh
+#
+### BEGIN INIT INFO
+# Provides:          hhvm
+# Required-Start:    $remote_fs $network
+# Required-Stop:     $remote_fs $network
+# Default-Start:     2 3 4 5
+# Default-Stop:      0 1 6
+# Description:       Starts The HHVM FastCGI Daemon
+### END INIT INFO
+
+DAEMON=/usr/bin/hhvm
+PIDFILE=/var/run/hhvm/pid
+hhvm_SOCKET=/var/run/hhvm/sock
+hhvm_GROUP=${hhvm_GROUP:-apache}
+CONFIG_FILE="/etc/hhvm/server.ini"
+SYSTEM_CONFIG_FILE="/etc/hhvm/php.ini"
+
+DAEMON_ARGS="--config ${SYSTEM_CONFIG_FILE} \
+	--config ${CONFIG_FILE} \
+	-vPidFile=${PIDFILE}"
+
+do_stop () {
+	try=0
+
+	if [ ! -r $2 ]; then
+		echo "warning, no pid file found - HHVM is not running?"
+		exit 1
+	fi
+
+	PID=`cat $2`
+	kill $1 $PID
+
+	# Waiting for HHVM to shutdown
+	while test $try -lt 35
+	do
+		if ps -p $PID | grep -q $PID
+		then
+			echo -n .
+			try=`expr $try + 1`
+			sleep 1
+		else
+			try=''
+			break
+		fi
+	done
+
+	if [ -n "$try" ]
+	then
+		echo " failed. Use force-quit"
+		exit 1
+	else
+		rm -f $2
+		echo " done"
+	fi
+}
+
+wait_for_pid () {
+	try=0
+
+	while test $try -lt 35
+	do
+		if [ -f "$1" ] ; then
+			try=''
+			break
+		fi
+
+		echo -n .
+		try=`expr $try + 1`
+		sleep 1
+	done
+
+}
+
+case "$1" in
+	start)
+		echo -n "Starting HHVM "
+
+		if [ -r $PIDFILE ]; then
+			echo "warning, pid file found - HHVM is already running?"
+			exit 1
+		fi
+
+		echo
+		$DAEMON --mode daemon $DAEMON_ARGS
+		if [ "$?" != 0 ]
+		then
+			echo "Failed"
+			exit 1
+		fi
+
+		wait_for_pid $PIDFILE
+
+		if [ -n "$try" ] ; then
+			echo " failed"
+			exit 1
+		fi
+
+		# Set the socket permissions if HHVM uses UDS
+		if [ -S "$hhvm_SOCKET" ]
+		then
+			chgrp $hhvm_GROUP $hhvm_SOCKET
+		fi
+
+		echo " done"
+	;;
+
+	stop)
+		echo -n "Stopping HHVM "
+
+		do_stop -QUIT $PIDFILE
+	;;
+
+	force-quit)
+		echo -n "Terminating HHVM "
+
+		do_stop -TERM $PIDFILE
+	;;
+
+	status)
+		if [ ! -r $PIDFILE ]
+		then
+			echo "HHVM is stopped"
+			exit 0
+		fi
+
+		PID=`cat $PIDFILE`
+		if ps -p $PID | grep -q $PID
+		then
+			echo "HHVM (pid $PID) is running..."
+		else
+			echo "HHVM dead but pid file exists"
+		fi
+	;;
+
+	restart)
+		sh $0 stop
+		sh $0 start
+	;;
+
+	reload)
+		echo -n "Reload service HHVM "
+
+		if [ ! -r $PIDFILE ]
+		then
+			echo "warning, no pid file found - HHVM is not running?"
+			exit 1
+		fi
+
+		kill -USR2 `cat $PIDFILE`
+
+		echo " done"
+	;;
+
+	*)
+        echo "Usage: $0 {start|stop|status|restart|reload|force-quit}" >&2
+        exit 1
+	;;
+
+esac
diff --git a/development/hhvm/etc/server.ini b/development/hhvm/etc/server.ini
new file mode 100644
index 0000000000000..18f4643f3ad0d
--- /dev/null
+++ b/development/hhvm/etc/server.ini
@@ -0,0 +1,9 @@
+pid = /var/run/hhvm/pid
+
+hhvm.server.file_socket = /var/run/hhvm/sock
+;hhvm.server.port = 9000
+hhvm.server.type = fastcgi
+hhvm.server.default_document = index.hh
+hhvm.log.use_log_file = true
+hhvm.log.file = /var/log/hhvm/error.log
+hhvm.repo.central.path = /var/run/hhvm/hhvm.hhbc
diff --git a/development/hhvm/hhvm.SlackBuild b/development/hhvm/hhvm.SlackBuild
new file mode 100644
index 0000000000000..0a8cd27b080b7
--- /dev/null
+++ b/development/hhvm/hhvm.SlackBuild
@@ -0,0 +1,105 @@
+#!/bin/sh
+
+# Slackware build script for HHVM
+
+# Copyright 2015 Eugene Wissner, Dachau, Germany
+# All rights reserved.
+#
+# Redistribution and use of this script, with or without modification, is
+# permitted provided that the following conditions are met:
+#
+# 1. Redistributions of this script must retain the above copyright
+#    notice, this list of conditions and the following disclaimer.
+#
+#  THIS SOFTWARE IS PROVIDED BY THE AUTHOR "AS IS" AND ANY EXPRESS OR IMPLIED
+#  WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF
+#  MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.  IN NO
+#  EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
+#  SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
+#  PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS;
+#  OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY,
+#  WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR
+#  OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF
+#  ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
+
+PRGNAM=hhvm
+VERSION=${VERSION:-3.10.1}
+BUILD=${BUILD:-1}
+TAG=${TAG:-_SBo}
+CMAKE3=cmake-3.2.3-Linux-x86_64
+
+if [ -z "$ARCH" ]; then
+  case "$( uname -m )" in
+    i?86) ARCH=i486 ;;
+    arm*) ARCH=arm ;;
+       *) ARCH=$( uname -m ) ;;
+  esac
+fi
+
+CWD=$(pwd)
+TMP=${TMP:-/tmp/SBo}
+PKG=$TMP/package-$PRGNAM
+OUTPUT=${OUTPUT:-/tmp}
+
+if [ "$ARCH" = "x86_64" ]; then
+  SLKCFLAGS="-O2 -fPIC"
+  LIBDIRSUFFIX="64"
+else
+  echo "$ARCH is not supported."
+  exit 1
+fi
+
+set -e
+
+rm -rf $PKG
+mkdir -p $TMP $PKG $OUTPUT
+cd $TMP
+rm -rf $PRGNAM-$VERSION
+tar Jxvf $CWD/$PRGNAM-$VERSION.tar.xz
+cd $PRGNAM-$VERSION
+tar zxvf $CWD/$CMAKE3.tar.gz
+chown -R root:root .
+find -L . \
+ \( -perm 777 -o -perm 775 -o -perm 750 -o -perm 711 -o -perm 555 \
+  -o -perm 511 \) -exec chmod 755 {} \; -o \
+ \( -perm 666 -o -perm 664 -o -perm 640 -o -perm 600 -o -perm 444 \
+  -o -perm 440 -o -perm 400 \) -exec chmod 644 {} \;
+
+#export CMAKE_PREFIX_PATH=`pwd`/..
+./$CMAKE3/bin/cmake \
+    -DCMAKE_C_FLAGS:STRING="$SLKCFLAGS -lreadline -lncurses" \
+    -DCMAKE_CXX_FLAGS:STRING="$SLKCFLAGS -I/usr/kerberos/include" \
+    -DCMAKE_INSTALL_PREFIX=/usr \
+    -DCMAKE_INSTALL_LIBDIR=lib${LIBDIRSUFFIX} \
+    -DENABLE_MCROUTER=true \
+    -DCMAKE_BUILD_TYPE=Release .
+make
+make install DESTDIR=$PKG
+
+find $PKG -print0 | xargs -0 file | grep -e "executable" -e "shared object" | grep ELF \
+  | cut -f 1 -d : | xargs strip --strip-unneeded 2> /dev/null || true
+
+# Compress man pages
+mkdir -p $PKG/usr/man
+mv hphp/doc/man $PKG/usr/man/man1
+find $PKG/usr/man -type f -exec gzip -9 {} \;
+
+mkdir -p $PKG/etc/{rc.d,hhvm} $PKG/usr/lib64/hhvm/extensions
+install -m 644 $CWD/etc/rc.hhvm $PKG/etc/rc.d/rc.hhvm.new
+install -m 644 $CWD/etc/server.ini $PKG/etc/hhvm/server.ini.new
+install -m 644 $CWD/etc/php.ini $PKG/etc/hhvm/php.ini.new
+
+# PID
+mkdir -p $PKG/var/run/hhvm
+
+# Copy program documentation into the package
+mkdir -p $PKG/usr/doc/$PRGNAM-$VERSION
+cp -a hphp/doc/* $PKG/usr/doc/$PRGNAM-$VERSION
+cat $CWD/$PRGNAM.SlackBuild > $PKG/usr/doc/$PRGNAM-$VERSION/$PRGNAM.SlackBuild
+
+mkdir -p $PKG/install
+cat $CWD/slack-desc > $PKG/install/slack-desc
+cat $CWD/doinst.sh > $PKG/install/doinst.sh
+
+cd $PKG
+/sbin/makepkg -l y -c n $OUTPUT/$PRGNAM-$VERSION-$ARCH-$BUILD$TAG.${PKGTYPE:-tgz}
diff --git a/development/hhvm/hhvm.info b/development/hhvm/hhvm.info
new file mode 100644
index 0000000000000..44a7a2f8bc6e6
--- /dev/null
+++ b/development/hhvm/hhvm.info
@@ -0,0 +1,12 @@
+PRGNAM="hhvm"
+VERSION="3.10.1"
+HOMEPAGE="http://hhvm.com/"
+DOWNLOAD="UNSUPPORTED"
+MD5SUM=""
+DOWNLOAD_x86_64="http://download.dlackware.com/hosted-sources/hhvm/hhvm-3.10.1.tar.xz \
+                https://cmake.org/files/v3.2/cmake-3.2.3-Linux-x86_64.tar.gz"
+MD5SUM_x86_64="16bde351dc9028e9545e944a6d8e441c \
+              82eb3cbcf74ffc5f68e8bb6f1e20271e"
+REQUIRES="tbb glog ocaml dwarf oniguruma libmemcached jemalloc krb5"
+MAINTAINER="Eugene Wissner"
+EMAIL="belka@caraus.de"
diff --git a/development/hhvm/slack-desc b/development/hhvm/slack-desc
new file mode 100644
index 0000000000000..d6b0c7100c3f4
--- /dev/null
+++ b/development/hhvm/slack-desc
@@ -0,0 +1,19 @@
+# HOW TO EDIT THIS FILE:
+# The "handy ruler" below makes it easier to edit a package description.
+# Line up the first '|' above the ':' following the base package name, and
+# the '|' on the right side marks the last column you can put a character in.
+# You must make exactly 11 lines for the formatting to be correct.  It's also
+# customary to leave one space after the ':' except on otherwise blank lines.
+
+    |-----handy-ruler------------------------------------------------------|
+hhvm: hhvm (a virtual machine designed for executing Hack and PHP)
+hhvm:
+hhvm: HHVM uses a just-in-time (JIT) compilation approach to achieve
+hhvm: superior performance while maintaining the development flexibility
+hhvm: that PHP provides.
+hhvm:
+hhvm: Hack is a programming language for HHVM.
+hhvm:
+hhvm:
+hhvm: Homepage: http://hhvm.com/
+hhvm: