From 2e0ddb39bc710a41628716c45e9cb8c9df92e98f Mon Sep 17 00:00:00 2001 From: Edin Kadribasic Date: Sat, 26 Mar 2005 21:14:19 +0000 Subject: [PATCH] Script that creates PEAR bundle dir for distribution --- pear/make-pear-bundle.php | 114 ++++++++++++++++++++++++++++++++++++++ 1 file changed, 114 insertions(+) create mode 100755 pear/make-pear-bundle.php diff --git a/pear/make-pear-bundle.php b/pear/make-pear-bundle.php new file mode 100755 index 0000000000..5956206e75 --- /dev/null +++ b/pear/make-pear-bundle.php @@ -0,0 +1,114 @@ +#!/usr/bin/php + $version) { + $filename = "$name-$version.tgz"; + $destfilename = "$dist_dir/PEAR/go-pear-bundle/$filename"; + if (file_exists($destfilename)) + continue; + $url = "http://pear.php.net/get/$filename"; + echo "Downloading $name from $url\n"; + flush(); + copy($url, $destfilename); +} + +echo "Download complete. Extracting bootstrap files\n"; + +/* Now, we want PEAR.php, Getopt.php (Console_Getopt) and Tar.php (Archive_Tar) + * broken out of the tarballs */ +extract_file_from_tarball('PEAR', 'PEAR.php', "$dist_dir/PEAR/go-pear-bundle"); +extract_file_from_tarball('Archive_Tar', 'Archive/Tar.php', "$dist_dir/PEAR/go-pear-bundle"); +extract_file_from_tarball('Console_Getopt', 'Console/Getopt.php', "$dist_dir/PEAR/go-pear-bundle"); +?> -- 2.40.0