[build] Move CLI to esbuild.
This is not perfect but it works (and it is much faster). For some reason I couldn't make `fflate-unzip` work with ESBuild, so I've placed a copy and tweaked the exports.
Showing
- .gitignore 1 addition, 0 deletions.gitignore
- Makefile 1 addition, 1 deletionMakefile
- backend/coq-worker.ts 7 additions, 12 deletionsbackend/coq-worker.ts
- dune 18 additions, 10 deletionsdune
- esbuild.mjs 10 additions, 6 deletionsesbuild.mjs
- examples/Makefile 1 addition, 1 deletionexamples/Makefile
- frontend/cli/build/project.ts 6 additions, 7 deletionsfrontend/cli/build/project.ts
- frontend/cli/build/sdk/setup.ts 0 additions, 1 deletionfrontend/cli/build/sdk/setup.ts
- frontend/cli/build/workspace.ts 0 additions, 5 deletionsfrontend/cli/build/workspace.ts
- frontend/cli/cli.ts 5 additions, 4 deletionsfrontend/cli/cli.ts
- frontend/node/src/coq-cli.js 6 additions, 3 deletionsfrontend/node/src/coq-cli.js
- frontend/node/src/headless.ts 20 additions, 24 deletionsfrontend/node/src/headless.ts
- frontend/node/src/my_fflate.ts 51 additions, 0 deletionsfrontend/node/src/my_fflate.ts
- package-lock.json 47 additions, 1 deletionpackage-lock.json
- package.json 3 additions, 1 deletionpackage.json
- tests/main.js 1 addition, 1 deletiontests/main.js
- webpack.config.js 3 additions, 42 deletionswebpack.config.js
Loading
Please register or sign in to comment