Moved phpextdist to dev/

1 files changed, 27 insertions, 0 deletions

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