Skip to content

GitLab

Explore

Sign in

Primary navigation

Project

jscoq-light
- Activity
- Members
- Labels
- Issues
- Issue boards
- Milestones
- Wiki
- Environments
- Terraform modules
- Incidents

Snippets Groups Projects

Pierre Rousselin
jscoq-light
Commits
d87a80dc

Unverified Commit d87a80dc authored Jan 24, 2023 by Emilio Jesus Gallego Arias

Downloads
- Patches
- Plain Diff

[build] Move WASM Worker to esbuild

Seems to work! I guess it can be done better, but for now that is OK.

parent f5d439fe

No related branches found

No related tags found

No related merge requests found

Changes 10

Show whitespace changes

Inline Side-by-side

Showing

backend/coq-worker.ts 1 addition, 1 deletion

backend/coq-worker.ts
backend/wasm/core.ts 0 additions, 3 deletions

backend/wasm/core.ts
backend/wasm/ocaml_exec.ts 1 addition, 1 deletion

backend/wasm/ocaml_exec.ts
backend/wasm/shims/buffer-shim.js 2 additions, 0 deletions

backend/wasm/shims/buffer-shim.js
backend/wasm/shims/process-shim.js 5 additions, 0 deletions

backend/wasm/shims/process-shim.js
dune 1 addition, 14 deletions

dune
esbuild.mjs 10 additions, 3 deletions

esbuild.mjs
package.json 6 additions, 1 deletion

package.json
tsconfig.json 1 addition, 1 deletion

tsconfig.json
webpack.config.js 0 additions, 15 deletions

webpack.config.js

with 27 additions and 39 deletions

Loading

0% Loading or .

You are about to add 0 people to the discussion. Proceed with caution.

Finish editing this message first!

Please sign in to comment