Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add js_of_ocaml build and deployment #1737

Merged
merged 3 commits into from
Nov 19, 2023
Merged

Add js_of_ocaml build and deployment #1737

merged 3 commits into from
Nov 19, 2023

Commits on Nov 19, 2023

  1. Add js_of_ocaml build and deployment 

    Some comparison of different arguments we could pass:
```
''
(real: 1247.15, user: 1237.92, sys: 8.82, mem: 3524544 ko)
--pretty --no-inline --debug-info --source-map
(real: 554.62, user: 545.29, sys: 9.31, mem: 4551068 ko)
--source-map --no-inline
(real: 431.91, user: 428.62, sys: 3.26, mem: 4588916 ko)
--source-map
(real: 599.19, user: 597.36, sys: 1.82, mem: 4528112 ko)
```

```
     Time |   Peak Mem | File Name
---------------------------------------------------------------------------
29m31.04s | 4582528 ko | Total Time / Peak Mem
---------------------------------------------------------------------------
10m11.06s | 4187496 ko | ExtractionJsOfOCaml/fiat_crypto.js
 7m04.23s | 4582528 ko | ExtractionJsOfOCaml/bedrock2_fiat_crypto.js
 7m03.61s | 4553728 ko | ExtractionJsOfOCaml/with_bedrock2_fiat_crypto.js
 1m23.70s | 2376368 ko | ExtractionJsOfOCaml/with_bedrock2_fiat_crypto.ml
 1m02.46s | 2376740 ko | ExtractionJsOfOCaml/bedrock2_fiat_crypto.ml
 0m58.92s | 2324704 ko | ExtractionJsOfOCaml/fiat_crypto.ml
 0m36.52s | 2840248 ko | ExtractionJsOfOCaml/with_bedrock2_fiat_crypto.byte
 0m30.87s | 2893620 ko | ExtractionJsOfOCaml/fiat_crypto.byte
 0m30.58s | 2839784 ko | ExtractionJsOfOCaml/bedrock2_fiat_crypto.byte
 0m02.66s | 1047220 ko | Bedrock/Standalone/StandaloneJsOfOCamlMain.vo
 0m02.52s | 1014884 ko | StandaloneMonadicUtils.vo
 0m02.30s | 1017460 ko | StandaloneJsOfOCamlMain.vo
 0m00.61s |  103496 ko | ExtractionJsOfOCaml/with_bedrock2_fiat_crypto.cmi
 0m00.51s |  103272 ko | ExtractionJsOfOCaml/bedrock2_fiat_crypto.cmi
 0m00.50s |  100760 ko | ExtractionJsOfOCaml/fiat_crypto.cmi
 ```
    @JasonGross
    JasonGross committed Nov 19, 2023
    Configuration menu
    Copy the full SHA
    f1e3e96 View commit details
    Browse the repository at this point in the history

  2. Fix build of pre-standalone-extracted

    @JasonGross
    JasonGross authored Nov 19, 2023
    Configuration menu
    Copy the full SHA
    3e23d1f View commit details
    Browse the repository at this point in the history

  3. js_of_ocaml --enable=effects 

    As per https://ocsigen.org/js_of_ocaml/latest/manual/tailcall and ocsigen/js_of_ocaml#1530 (comment)
    @JasonGross
    JasonGross authored Nov 19, 2023
    Configuration menu
    Copy the full SHA
    bfd7cb6 View commit details
    Browse the repository at this point in the history