From 3069eaf35e833ffe4a1c1c7829dd7e168ae27420 Mon Sep 17 00:00:00 2001 From: Ciro Mattia Gonano Date: Wed, 11 Sep 2013 15:56:48 +0200 Subject: Merge up to r3319 --- buildscripts/phing/bin/phing | 87 ---------------------------------------- buildscripts/phing/bin/phing.bat | 58 --------------------------- buildscripts/phing/bin/phing.php | 56 -------------------------- 3 files changed, 201 deletions(-) delete mode 100755 buildscripts/phing/bin/phing delete mode 100644 buildscripts/phing/bin/phing.bat delete mode 100755 buildscripts/phing/bin/phing.php (limited to 'buildscripts/phing/bin') diff --git a/buildscripts/phing/bin/phing b/buildscripts/phing/bin/phing deleted file mode 100755 index bbc6eefe..00000000 --- a/buildscripts/phing/bin/phing +++ /dev/null @@ -1,87 +0,0 @@ -#!/bin/sh -# Shell wrapper for Phing -# $Id$ -# -# This script will do the following: -# - check for PHP_COMMAND env, if found, use it. -# - if not found assume php is on the path -# - check for PHING_HOME evn, if found use it -# - if not look for it -# - check for PHP_CLASSPATH, if found use it -# - if not found set it using PHING_HOME/classes - - -# Put all args in quotes -phing_exec_debug=false -phing_exec_args= -for arg in "$@" ; do - phing_exec_args="$phing_exec_args \"$arg\"" -done - -if [ -z "$PHING_HOME" ] ; then - - # echo "WARNING: PHING_HOME environment not set. Attempting to guess." - - # try to find PHING - if [ -d /opt/phing ] ; then - PHING_HOME=/opt/phing - fi - - if [ -d "${HOME}/opt/phing" ] ; then - PHING_HOME="${HOME}/opt/phing" - fi - - if [ -d "/usr/local/phing" ] ; then - PHING_HOME="/usr/local/phing" - fi - - if [ -d "${HOME}/usr/phing" ] ; then - PHING_HOME="${HOME}/usr/phing" - fi - - ## resolve links - $0 may be a link to phing's home - PRG="$0" - progname=`basename "$0"` - saveddir=`pwd` - - # need this for relative symlinks - dirname_prg=`dirname "$PRG"` - cd "$dirname_prg" - - while [ -h "$PRG" ] ; do - ls=`ls -ld "$PRG"` - link=`expr "$ls" : '.*-> \(.*\)$'` - if expr "$link" : '/.*' > /dev/null; then - PRG="$link" - else - PRG=`dirname "$PRG"`"/$link" - fi - done - - PHING_HOME=`dirname "$PRG"`/.. - - cd "$saveddir" - - # make it fully qualified - PHING_HOME=`cd "$PHING_HOME" && pwd` - - # make it available in PHP via getenv("PHING_HOME") - export PHING_HOME -fi - -if (test -z "$PHP_COMMAND") ; then - # echo "WARNING: PHP_COMMAND environment not set. (Assuming php on PATH)" - PHP_COMMAND=php - export PHP_COMMAND -fi - -if (test -z "$PHP_CLASSPATH") ; then - PHP_CLASSPATH=$PHING_HOME/classes - export PHP_CLASSPATH -fi - -phing_exec_cmd="exec $PHP_COMMAND -d html_errors=off -qC \"$PHING_HOME/bin/phing.php\" -logger phing.listener.AnsiColorLogger $phing_exec_args" -if $phing_exec_debug ; then - echo $phing_exec_cmd -fi -eval $phing_exec_cmd \ No newline at end of file diff --git a/buildscripts/phing/bin/phing.bat b/buildscripts/phing/bin/phing.bat deleted file mode 100644 index ea310470..00000000 --- a/buildscripts/phing/bin/phing.bat +++ /dev/null @@ -1,58 +0,0 @@ -@echo off - -rem ********************************************************************* -rem ** the phing build script for Windows based systems -rem ** $Id$ -rem ********************************************************************* - -rem This script will do the following: -rem - check for PHP_COMMAND env, if found, use it. -rem - if not found detect php, if found use it, otherwise err and terminate -rem - check for PHING_HOME evn, if found use it -rem - if not found error and leave -rem - check for PHP_CLASSPATH, if found use it -rem - if not found set it using PHING_HOME/classes - -if "%OS%"=="Windows_NT" @setlocal - -rem %~dp0 is expanded pathname of the current script under NT -set DEFAULT_PHING_HOME=%~dp0.. - -goto init -goto cleanup - -:init - -if "%PHING_HOME%" == "" set PHING_HOME=%DEFAULT_PHING_HOME% -set DEFAULT_PHING_HOME= - -if "%PHP_COMMAND%" == "" goto no_phpcommand -if "%PHP_CLASSPATH%" == "" goto set_classpath - -goto run -goto cleanup - -:run -"%PHP_COMMAND%" -d html_errors=off -qC "%PHING_HOME%\bin\phing.php" %* -goto cleanup - -:no_phpcommand -REM echo ------------------------------------------------------------------------ -REM echo WARNING: Set environment var PHP_COMMAND to the location of your php.exe -REM echo executable (e.g. C:\PHP\php.exe). (Assuming php.exe on Path) -REM echo ------------------------------------------------------------------------ -set PHP_COMMAND=php.exe -goto init - -:err_home -echo ERROR: Environment var PHING_HOME not set. Please point this -echo variable to your local phing installation! -goto cleanup - -:set_classpath -set PHP_CLASSPATH=%PHING_HOME%\classes -goto init - -:cleanup -if "%OS%"=="Windows_NT" @endlocal -REM pause diff --git a/buildscripts/phing/bin/phing.php b/buildscripts/phing/bin/phing.php deleted file mode 100755 index 3b70887a..00000000 --- a/buildscripts/phing/bin/phing.php +++ /dev/null @@ -1,56 +0,0 @@ - -- cgit v1.2.3