summaryrefslogtreecommitdiff
path: root/ext/ext_skel_win32.php
diff options
context:
space:
mode:
authorLorry Tar Creator <lorry-tar-importer@baserock.org>2013-03-14 05:42:27 +0000
committer <>2013-04-03 16:25:08 +0000
commitc4dd7a1a684490673e25aaf4fabec5df138854c4 (patch)
tree4d57c44caae4480efff02b90b9be86f44bf25409 /ext/ext_skel_win32.php
downloadphp2-master.tar.gz
Imported from /home/lorry/working-area/delta_php2/php-5.4.13.tar.bz2.HEADphp-5.4.13master
Diffstat (limited to 'ext/ext_skel_win32.php')
-rw-r--r--ext/ext_skel_win32.php65
1 files changed, 65 insertions, 0 deletions
diff --git a/ext/ext_skel_win32.php b/ext/ext_skel_win32.php
new file mode 100644
index 0000000..c04f037
--- /dev/null
+++ b/ext/ext_skel_win32.php
@@ -0,0 +1,65 @@
+<?php
+/* $Id$ */
+
+if (php_sapi_name() != "cli") {
+ echo "Please run this script using the CLI version of PHP\n";
+ exit;
+}
+/*
+ This script can be used on Win32 systems
+
+ 1) Make sure you have CygWin installed
+ 2) Adjust the $cygwin_path to match your installation
+ 3) Change the environment cariable PATHEXT to include .PHP
+ 4) run ext_skel --extname=...
+ the first time you run this script you will be asked to
+ associate it with a program. chooses the CLI version of php.
+*/
+
+$cygwin_path = 'c:\cygwin\bin';
+
+$path = getenv("PATH");
+putenv("PATH=$cygwin_path;$path");
+
+array_shift($argv);
+system("sh ext_skel " . implode(" ", $argv));
+
+$extname = "";
+$skel = "skeleton";
+foreach($argv as $arg) {
+ if (strtolower(substr($arg, 0, 9)) == "--extname") {
+ $extname = substr($arg, 10);
+ }
+ if (strtolower(substr($arg, 0, 6)) == "--skel") {
+ $skel = substr($arg, 7);
+ }
+}
+
+$fp = fopen("$skel/skeleton.dsp", "rb");
+if ($fp) {
+ $dsp_file = fread($fp, filesize("$skel/skeleton.dsp"));
+ fclose($fp);
+
+ $dsp_file = str_replace("extname", $extname, $dsp_file);
+ $dsp_file = str_replace("EXTNAME", strtoupper($extname), $dsp_file);
+ $fp = fopen("$extname/$extname.dsp", "wb");
+ if ($fp) {
+ fwrite($fp, $dsp_file);
+ fclose($fp);
+ }
+}
+
+$fp = fopen("$extname/$extname.php", "rb");
+if ($fp) {
+ $php_file = fread($fp, filesize("$extname/$extname.php"));
+ fclose($fp);
+
+ $php_file = str_replace("dl('", "dl('php_", $php_file);
+ $fp = fopen("$extname/$extname.php", "wb");
+ if ($fp) {
+ fwrite($fp, $php_file);
+ fclose($fp);
+ }
+}
+
+?> \ No newline at end of file