Open moazzammoriani opened 2 years ago
Sandmark has been updated to build for 5.1.0+trunk. @ElectreAAS Please review the conflicting files in order to build js_of_ocaml with Sandmark.
sandmark has moved to 5.1.0+trunk, we probably need a new version of js_of_ocaml that doesn't conflict with that
This is a draft PR that's related to #18. Certain packages were pinned to the
Makefile
due to the incompatibility of Sandmark with the alpha repo at the time of writing this. The build currently fails due to some conflicts that occur withjs_of_ocaml
within the Sandmark universe.