.cmt and .cmti files for the unix module of the stdlib are not installed #7556
Comments
|
Comment author: berenger related to #7362 |
|
Comment author: @dbuenzli This has been fixed in 4.05+rc1 |
|
Comment author: @dbuenzli (at least on macos) |
|
Comment author: @gasche François, are you able to confirm Daniel's remark that this is fixed on 4.05.0+rc1? |
|
Comment author: berenger Yes, fixed on Linux for 4.05.0+rc1. Cool! |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Original bug ID: 7556
Reporter: berenger
Assigned to: @gasche
Status: resolved (set by @gasche on 2017-07-04T00:59:12Z)
Resolution: fixed
Priority: normal
Severity: minor
Platform: linux
Fixed in version: 4.05.0 +dev/beta1/beta2/beta3/rc1
Category: standard library
Bug description
file ~/.opam/4.04.1/lib/ocaml/list.cmt
/home/berenger/.opam/4.04.1/lib/ocaml/list.cmt: data
file ~/.opam/4.04.1/lib/ocaml/list.cmti
/home/berenger/.opam/4.04.1/lib/ocaml/list.cmti: OCaml interface file (.cmi) (Version 021)
berenger@aspirin:~# file ~/.opam/4.04.1/lib/ocaml/unix.cmt
/home/berenger/.opam/4.04.1/lib/ocaml/unix.cmt: cannot open
/home/berenger/.opam/4.04.1/lib/ocaml/unix.cmt' (No such file or directory) berenger@aspirin:~# file ~/.opam/4.04.1/lib/ocaml/unix.cmti /home/berenger/.opam/4.04.1/lib/ocaml/unix.cmti: cannot open/home/berenger/.opam/4.04.1/lib/ocaml/unix.cmti' (No such file or directory)opam switch | grep C
4.04.1 C 4.04.1 Official 4.04.1 release
Steps to reproduce
cf. above
Additional information
This prevents some tools (like ocp-browser) from being able to look-up into the documentation for this module.
The text was updated successfully, but these errors were encountered: