dunham/newt
1
0
Fork 0
Code Issues Pull Requests Actions 1 Packages Projects Releases Wiki Activity

move newt to web worker

Browse Source
This commit is contained in:
Steve Dunham
2024-11-05 20:20:20 -08:00
parent 182876d16b
commit ae5a79e151
4 changed files with 40 additions and 26 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
playground/build
View File

@@ -1,9 +1,9 @@
#!/bin/sh
echo Builds the workMain.js and copies newt.js
echo monaco worker
esbuild --bundle node_modules/monaco-editor/esm/vs/editor/editor.worker.js > public/workerMain.js
# bare javascript, it fakes node api for the idris code in newt.js
esbuild src/shim.ts > public/shim.js
cp ../build/exec/newt.js public
# uncomment to make this smaller
# esbuild --minify ../build/exec/newt.min.js > public/newt.js
echo newt worker
esbuild src/worker.ts > public/worker.js
echo newt
cat ../build/exec/newt.js |grep -v '^#'>> public/worker.js
# esbuild --minify ../build/exec/newt.min.js > public/newt.js