initial commitHEADmaster

1 files changed, 36 insertions, 0 deletions

diff --git a/tools/randomize-js-names.tcl b/tools/randomize-js-names.tcl
new file mode 100644
index 0000000..b5c5500
--- /dev/null
+++ b/tools/randomize-js-names.tcl
@@ -0,0 +1,36 @@
+#!/usr/bin/tclsh
+#
+# This script is run as part of "make wasm".  After emcc has
+# run to generate extsrc/pikchr.wasm and extsrc/pikchr.js from
+# extsrc/pikchr.c, we need to make changes to these filenames to
+# work around caching problems.
+#
+#    (1)  in extsrc/pikchr.js ->  change "pikchr.wasm" into
+#         "pikchr-vNNNNNNNN.wasm" where Ns are random digits.
+#
+#    (2)  in extsrc/pikchr-worker.js -> change "pikchr-vNNNNNNNN.js"
+#         by altering the random digits N.
+#
+set DIR extsrc
+if {[llength $argv]>0} {
+  set DIR [lindex $argv 0]
+}
+
+set R [expr {int(rand()*10000000000)+1000000000}]
+set in [open $DIR/pikchr.js rb]
+set f1 [read $in]
+close $in
+set f1mod [regsub {\ypikchr(-v\d+)?\.wasm\y} $f1 "pikchr-v$R.wasm"]
+set out [open $DIR/pikchr.js wb]
+puts -nonewline $out $f1mod
+close $out
+puts "modified $DIR/pikchr.js to reference \"pikchr-v$R.wasm\""
+
+set in [open $DIR/pikchr-worker.js rb]
+set f1 [read $in]
+close $in
+set f1mod [regsub {\ypikchr(-v\d+)?\.js\y} $f1 "pikchr-v$R.js"]
+set out [open $DIR/pikchr-worker.js wb]
+puts -nonewline $out $f1mod
+close $out
+puts "modified $DIR/pikchr-worker.js to reference \"pikchr-v$R.js\""