home *** CD-ROM | disk | FTP | other *** search
/ PC World 2008 February (DVD) / PCWorld_2008-02_DVD.iso / v cisle / PHP / PHP.exe / xampp-win32-1.6.5-installer.exe / php / phing.bat < prev    next >
Encoding:
DOS Batch File  |  2007-12-20  |  1.7 KB  |  45 lines
  1. @ECHO OFF
  2.  
  3. :::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::
  4. :: The phing build script for Windows based systems
  5. :: $Id: pear-phing.bat,v 1.4 2005/12/22 13:12:33 hlellelid Exp $
  6. :::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::
  7.  
  8. ::----------------------------------------------------------------------------------
  9. :: Please set following to PHP's CLI
  10. :: NOTE: In PHP 4.2.x the PHP-CLI used to be named php-cli.exe. 
  11. ::       PHP 4.3.x names it php.exe but stores it in a subdir called /cli/php.exe
  12. ::       E.g. for PHP 4.2 C:\phpdev\php-4.2-Win32\php-cli.exe
  13. ::            for PHP 4.3 C:\phpdev\php-4.3-Win32\cli\php.exe
  14.   
  15.   SET phpCli=\xampp\php\.\php.exe
  16.  
  17. ::---------------------------------------------------------------------------------
  18. ::---------------------------------------------------------------------------------
  19. :: Do not modify below this line!! (Unless you know what your doing :)
  20. ::---------------------------------------------------------------------------------
  21. ::---------------------------------------------------------------------------------
  22.  
  23. :: Check existence of php.exe
  24. IF EXIST "%phpCli%" (
  25.   SET doNothing=
  26. ) ELSE GOTO :NoPhpCli
  27.  
  28. "%phpCli%" -d html_errors=off -qC "\xampp\php\pear\phing.php" %*
  29. GOTO :EOF
  30.  
  31. ::
  32. :: php.exe not found error  
  33. GOTO :PAUSE_END
  34. :NoPhpCli
  35. ECHO ** ERROR *****************************************************************
  36. ECHO * Sorry, can't find the php.exe file.
  37. ECHO * You must edit this file to point to your php.exe (CLI version!)
  38. ECHO *    [Currently set to %phpCli%]
  39. ECHO **************************************************************************
  40.  
  41. GOTO :PAUSE_END
  42.  
  43. :PAUSE_END
  44. PAUSE
  45.