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.

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

.cmt and .cmti files for the unix module of the stdlib are not installed #7556

Closed
vicuna opened this Issue Jun 14, 2017 · 5 comments

Comments

Projects
None yet
2 participants
@vicuna
Copy link
Collaborator

commented Jun 14, 2017

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.

@vicuna

This comment has been minimized.

Copy link
Collaborator Author

commented Jun 15, 2017

Comment author: berenger

related to #7362

@vicuna

This comment has been minimized.

Copy link
Collaborator Author

commented Jul 3, 2017

Comment author: @dbuenzli

This has been fixed in 4.05+rc1

@vicuna

This comment has been minimized.

Copy link
Collaborator Author

commented Jul 3, 2017

Comment author: @dbuenzli

(at least on macos)

@vicuna

This comment has been minimized.

Copy link
Collaborator Author

commented Jul 3, 2017

Comment author: @gasche

François, are you able to confirm Daniel's remark that this is fixed on 4.05.0+rc1?

@vicuna

This comment has been minimized.

Copy link
Collaborator Author

commented Jul 4, 2017

Comment author: berenger

Yes, fixed on Linux for 4.05.0+rc1. Cool!

@vicuna vicuna closed this Jul 4, 2017

@vicuna vicuna added the stdlib label Mar 14, 2019

@vicuna vicuna added the bug label Mar 20, 2019

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
You can’t perform that action at this time.