build.xml - Pack task now using PHP packer.

1 files changed, 20 insertions, 0 deletions

diff --git a/release/build/pack.php b/release/build/pack.php
new file mode 100644
index 000000000..1caa60a5f
--- /dev/null
+++ b/release/build/pack.php
@@ -0,0 +1,20 @@
+<?php
+
+if ($argc >= 3) {
+	$src = $argv[1];
+	$out = $argv[2];
+} else {
+	echo 'you must specify  a source file and a result filename',"\n";
+	echo 'example :', "\n", 'php pack.php myScript-src.js myPackedScript.js',"\n";
+	return;
+}
+
+require 'class.JavaScriptPacker.php';
+
+$script = file_get_contents($src);
+
+$packer = new JavaScriptPacker($script, 'Normal', true, false);
+$packed = $packer->pack();
+
+file_put_contents($out, $packed);
+?>