diff --git a/nightly-builds.sh b/nightly-builds.sh
index a16046b..1d9b7a5 100755
--- a/nightly-builds.sh
+++ b/nightly-builds.sh
@@ -33,6 +33,14 @@ logfile=/var/log/$(basename $0 .sh).log
 # Key extension used to determine old releases to delete
 keyExt='.zip'
 
+# Directory in which phpenv is installed. The script will take care of
+# initializing the environment (i.e. set PATH and run 'phpenv init')
+export PHPENV_ROOT=/srv/phpenv
+
+# PHP version to use for builds (set with phpenv)
+# - version must be setup and compiled with 'phpenv install'
+# - to use the system's PHP version (i.e. don't use phpenv), set to blank
+PHPENV_phpVersion=7.0.17
 
 #------------------------------------------------------------------------------
 # Main
@@ -52,6 +60,29 @@ cat <<-EOF >>$logfile
 
 EOF
 
+# Set PHP version to use for the builds
+if [ -n "$PHPENV_phpVersion" ]
+then
+	# Initialize phpenv
+	export PATH=$PHPENV_ROOT/bin:$PATH
+	eval "$(phpenv init -)"
+	PHPENV_oldVersion=$(phpenv global)
+
+	if [ "$PHPENV_phpVersion" != "$PHPENV_oldVersion" ]
+	then
+		echo "$(date +'%F %T') phpenv: setting PHP version to '$PHPENV_phpVersion'" |tee -a $logfile
+		phpenv global $PHPENV_phpVersion 2>&1 >/dev/null |tee -a $logfile
+
+		# Make sure the version was actually set
+		if [ "$(set -- $(phpenv version); echo $1)" != "$PHPENV_phpVersion" ]
+		then
+			exit 1;
+		fi
+	else
+		unset PHPENV_oldVersion
+	fi
+fi
+
 # Remove any builds not part of the branches list
 echo "$(date +'%F %T') Deleting old builds not part of branches list" |tee -a $logfile
 find $pathBuilds -maxdepth 1 -name 'mantisbt*' |
@@ -90,6 +121,13 @@ done |tee -a $logfile
 echo >>$logfile
 
 
+# Restore phpenv if necessary
+if [ -n "$PHPENV_oldVersion" ]
+then
+	echo "$(date +'%F %T') phpenv: restoring PHP version" |tee -a $logfile
+	phpenv global $PHPENV_phpVersion
+fi
+
 # All done !
 echo "$(date +'%F %T') Build complete !" |tee -a $logfile
 echo "Review logfile in $logfile"