diff options
Diffstat (limited to 'buildscripts/phing/bin/phing.php')
| -rw-r--r-- | buildscripts/phing/bin/phing.php | 50 | 
1 files changed, 50 insertions, 0 deletions
diff --git a/buildscripts/phing/bin/phing.php b/buildscripts/phing/bin/phing.php new file mode 100644 index 00000000..880adf41 --- /dev/null +++ b/buildscripts/phing/bin/phing.php @@ -0,0 +1,50 @@ +<?php + +/** + * This is the Phing command line launcher. It starts up the system evironment + * tests for all important paths and properties and kicks of the main command- + * line entry point of phing located in phing.Phing + * @version $Revision: 1.7 $ + */ + +// Set any INI options for PHP +// --------------------------- + +ini_set('track_errors', 1); + +/* set classpath */ +if (getenv('PHP_CLASSPATH')) { +//    define('PHP_CLASSPATH',  getenv('PHP_CLASSPATH') . PATH_SEPARATOR . get_include_path()); +    define('PHP_CLASSPATH',  realpath(dirname(__FILE__).'/../classes') . PATH_SEPARATOR . get_include_path()); +    ini_set('include_path', PHP_CLASSPATH); +} else { +    define('PHP_CLASSPATH',  get_include_path()); +} + +require_once 'phing/Phing.php'; + +/* Setup Phing environment */ +Phing::startup(); + +/* +  find phing home directory +   -- if Phing is installed from PEAR this will probably be null, +   which is fine (I think).  Nothing uses phing.home right now. +*/ +Phing::setProperty('phing.home', getenv('PHING_HOME')); + + +/* polish CLI arguments */ +$args = isset($argv) ? $argv : $_SERVER['argv']; // $_SERVER['argv'] seems not to work when argv is registered (PHP5b4) +array_shift($args); // 1st arg is script name, so drop it + +/* fire main application */ +Phing::fire($args); + +/* +  exit OO system if not already called by Phing +   -- basically we should not need this due to register_shutdown_function in Phing + */ + Phing::halt(0); + +?>
\ No newline at end of file  | 
