From 2c9bf198238f152a36b8b58d3dcd9931f45ceb7e Mon Sep 17 00:00:00 2001
From: foobar <sniper@php.net>
Date: Sat, 30 Apr 2005 02:40:19 +0000
Subject: Moved phpextdist to dev/

---
 scripts/dev/phpextdist | 27 +++++++++++++++++++++++++++
 1 file changed, 27 insertions(+)
 create mode 100755 scripts/dev/phpextdist

(limited to 'scripts/dev')

diff --git a/scripts/dev/phpextdist b/scripts/dev/phpextdist
new file mode 100755
index 0000000000..97df70020d
--- /dev/null
+++ b/scripts/dev/phpextdist
@@ -0,0 +1,27 @@
+#! /bin/sh
+if test $# -lt 2; then
+	echo "usage: phpextdist <extension> <version>";
+	exit 1
+fi
+
+phpize=`php-config --prefix`/bin/phpize
+distname="$1-$2"
+
+if test ! -f Makefile.in || test ! -f config.m4; then
+	echo "Did not find required files in current directory"
+	exit 1
+fi
+
+rm -rf modules *.lo *.o *.la config.status config.cache \
+config.log libtool php_config.h config_vars.mk Makefile
+
+myname=`basename \`pwd\``
+cd ..
+cp -rp $myname $distname
+cd $distname
+$phpize
+cd ..
+tar cf $distname.tar $distname
+rm -rf $distname $distname.tar.*
+gzip --best $distname.tar
+mv $distname.tar.gz $myname
-- 
cgit v1.2.1