Commit 24c1031e authored by Guillaume Melquiond's avatar Guillaume Melquiond

Stop embedding workers into trywhy3.js.

This means that one can no longer perform a local test, but this was
already impossible with several browsers anyway, e.g., Chromium. So, using
a dummy server, e.g., `python3 -m http.server 8000`, is now mandatory.
parent 8218a9c6
......@@ -1744,6 +1744,7 @@ ALTERGOCMO = \
TRYWHY3_PACK = \
trywhy3.js trywhy3.html trywhy3.css \
why3_worker.js alt_ergo_worker.js \
README.md examples/ \
trywhy3_custom.css gen_index.sh \
ace-builds/src-min-noconflict/ace.js \
......@@ -1757,10 +1758,8 @@ trywhy3.tar.gz: $(addprefix src/trywhy3/, $(TRYWHY3_PACK))
trywhy3: src/trywhy3/trywhy3.js src/trywhy3/why3_worker.js src/trywhy3/alt_ergo_worker.js
src/trywhy3/trywhy3.js: src/trywhy3/trywhy3.byte src/trywhy3/why3_worker.js src/trywhy3/alt_ergo_worker.js src/trywhy3/examples/*.mlw
src/trywhy3/trywhy3.js: src/trywhy3/trywhy3.byte src/trywhy3/examples/*.mlw
js_of_ocaml $(JSOO_DEBUG) --extern-fs -I src/trywhy3 \
--file=why3_worker.js:/ \
--file=alt_ergo_worker.js:/ \
--file=examples/index.txt:/examples/index.txt \
`find src/trywhy3/examples -name "*.mlw" -printf " --file=examples/%P:/examples/%P"` \
$<
......
......@@ -923,7 +923,7 @@ module Controller =
let rec init_alt_ergo_worker i =
let worker = Worker.create (blob_url_of_string "/alt_ergo_worker.js") in
let worker = Worker.create "alt_ergo_worker.js" in
worker ##. onmessage :=
Dom.handler (fun ev ->
let (id, result) as res = unmarshal (ev ##. data) in
......@@ -971,7 +971,7 @@ module Controller =
process_task ()
let init_why3_worker () =
let worker = Worker.create (blob_url_of_string "/why3_worker.js") in
let worker = Worker.create "why3_worker.js" in
worker ##. onmessage :=
Dom.handler (fun ev ->
let msg = unmarshal (ev ##. data) in
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment