webext as new target platform

1 files changed, 36 insertions, 0 deletions

diff --git a/tools/make-webext.sh b/tools/make-webext.sh
new file mode 100755
index 00000000..cdb89674
--- /dev/null
+++ b/tools/make-webext.sh
@@ -0,0 +1,36 @@
+#!/usr/bin/env bash
+#
+# This script assumes a linux environment
+
+echo "*** uBlock0.webext: Creating web store package"
+echo "*** uBlock0.webext: Copying files"
+
+DES=dist/build/uBlock0.webext
+rm -rf $DES
+mkdir -p $DES
+
+bash ./tools/make-assets.sh $DES
+
+cp -R src/css                    $DES/
+cp -R src/img                    $DES/
+cp -R src/js                     $DES/
+cp -R src/lib                    $DES/
+cp -R src/_locales               $DES/
+cp -R $DES/_locales/nb           $DES/_locales/no
+cp src/*.html                    $DES/
+cp platform/chromium/*.js        $DES/js/
+cp -R platform/chromium/img      $DES/
+cp platform/chromium/*.html      $DES/
+cp platform/chromium/*.json      $DES/
+cp platform/webext/polyfill.js   $DES/js/
+cp platform/webext/manifest.json $DES/
+cp LICENSE.txt                   $DES/
+
+if [ "$1" = all ]; then
+    echo "*** uBlock0.webext: Creating package..."
+    pushd $(dirname $DES/) > /dev/null
+    zip uBlock0.webext.zip -qr $(basename $DES/)/*
+    popd > /dev/null
+fi
+
+echo "*** uBlock0.webext: Package done."