hhugo

> does the .byte file have to have the same stem that the .js file will eventually have for --source-map to work correctly? You can control the name of the...

- `--no-inline` is no longer necessary (since js_of_ocaml.5.7.0). - dealing with debug info seems to be slow in your use case. Removing `--source-map` should speed up your build. I'll try...

with #1614, one no longer need to disable globaldeadcode, at the cost of extra memory usage. ``` 78.16user 1.85system 1:20.13elapsed 99%CPU (0avgtext+0avgdata 6034576maxresident)k 0inputs+19696outputs (0major+1631738minor)pagefaults 0swaps ``` I'll try to...

I've updated #1614, I now get ``` 73.86user 1.00system 1:14.87elapsed 99%CPU (0avgtext+0avgdata 4581396maxresident)k 0inputs+19696outputs (0major+1209270minor)pagefaults 0swaps ``` I still need to investigate the sourcemap issue. Can you test #1614 and...

@JasonGross, any luck with #1614 ?

@JasonGross, I think you can just do ``` opam pin add js_of_ocaml-compiler https://github.com/ocsigen/js_of_ocaml.git#speedup ```

Not all CI jobs have been updated. Here is what I see for #1614 > 1m28.92s | 4461616 ko | ExtractionJsOfOCaml/with_bedrock2_fiat_crypto.js

And for #1617 > 4m47.42s | 5253024 ko | ExtractionJsOfOCaml/with_bedrock2_fiat_crypto.js

compared to > 6m08.88s | 7720996 ko | ExtractionJsOfOCaml/with_bedrock2_fiat_crypto.js

@OlivierNicole, I would expect your PR to only affect separate compilation during the link step but I don't think separate compilation is involved here. What part of your PR would...