-
Notifications
You must be signed in to change notification settings - Fork 9
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.
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
[BUG] Build fails with Error: Unknown field target
#8
Comments
You need a custom version of dune. See ocaml/dune#8278 |
I have updated the README file to indicate that you have to pin a custom version of dune:
|
This actually isn't enough, since it pins dune but not, e.g., dune-configurator. I think it should be |
Hm, but this doesn't work either because then js_of_ocaml-compiler fails with Error: Version 3.11 of the dune language is not supported. |
Maybe |
Yep, this one works for me |
Hm, it worked locally, but on CI I'm getting
Any idea what's generating the |
Pin more than just dune as per ocaml-wasm/wasm_of_ocaml#8 (comment)
* Attempt to fix wasm_of_ocaml As per https://github.com/ocaml-wasm/wasm_of_ocaml?tab=readme-ov-file#installation, to deal with the CI failure in #1957 / https://github.com/mit-plv/fiat-crypto/actions/runs/10906100009/job/30271149044?pr=1957 * Update coq-docker.yml * Update coq-docker.yml Pin more than just dune as per ocaml-wasm/wasm_of_ocaml#8 (comment) * Update coq-docker.yml
Describe the bug
Expected behavior
It should build
Versions
Version of packages used to reproduce the bug
The text was updated successfully, but these errors were encountered: