Status of failures of opam packages #10
Description
This issue tracks the packages that are known to fail to install (with tests enabled) with the latest flambda2 but not with the vanilla 4.12 compiler, with the reason.
| Package name | Reason |
|---|---|
| asak | compiler-libs |
| bap-core-theory | Typing of %apply primitive |
| batteries | Stdlib externals |
| bun | afl-test error, need to investigate |
| camlp4 | compiler-libs |
| camlp5 | compiler-libs |
| chamo | compiler-libs |
| charset | external declaration mismatch |
| coq | Obj.set_tag |
| deadlock | Uses frama-c |
| earlybird | compiler-libs |
| eliom | compiler-libs |
| frama-c | Invalid generated (unsafe use of Obj) |
| frama-c-metacsl | Uses frama-c |
| gospel | Printing of types |
| jupyter | compiler-libs |
| mdx | compiler-libs |
| merlin | compiler-libs |
| mlcuddidl | Obj.truncate |
| ocamlbrowser | compiler-libs |
| ocp-index | compiler-libs |
| odoc | compiler-libs |
| odoc-depgraph | missing ocamldoc libs |
| ounit2 | backtraces (raise vs reraise) |
| ppx_import | compiler-libs |
| ppx_open | compiler-libs |
| reanalyze | compiler-libs |
| reason | compiler-libs |
| sentry | Error in atdgen-runtime (need update to the atdgen-runtime patch) |
| stdcompat | Stdlib externals |
| tezos-protocol-environment | Stdlib externals |
| utop | compiler-libs |
Frama C has been patched, hopefully the next release will run correctly.
For atdgen, an issue has been open (ahrefs/atd#221), and there is a patch in the repo, but the patch is incomplete so sentry still fails.
We also have a patch for Coq, but every time they release a new version we would need to re-apply the patch to that.