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

4.07.0+beta2 does not work after installation #7773

Closed
vicuna opened this issue Apr 13, 2018 · 4 comments
Closed

4.07.0+beta2 does not work after installation #7773

vicuna opened this issue Apr 13, 2018 · 4 comments

Comments

@vicuna
Copy link

vicuna commented Apr 13, 2018

Original bug ID: 7773
Reporter: @johnwhitington
Assigned to: @nojb
Status: resolved (set by @nojb on 2018-04-16T10:31:23Z)
Resolution: fixed
Priority: normal
Severity: major
Platform: Mac
OS: OS X
OS Version: 10.13.4
Version: 4.07.0+dev/beta2/rc1/rc2
Category: configure and build/install
Monitored by: @nojb

Bug description

After

./configure
make world.opt
sudo make install

we get:

gorge:repos john$ ocaml -init /dev/null
OCaml version 4.07.0+dev6-2018-04-10

Sys.argv

;;
Error: /usr/local/lib/ocaml/sys.cmi
is not a compiled interface for this version of OCaml.
It seems to be for an older version of OCaml.

@vicuna
Copy link
Author

vicuna commented Apr 13, 2018

Comment author: @nojb

Hello, this is due to the new "packed" stdlib: the new .cmi for the Sys module is called stdlib__sys.cmi, which did not overwrite the old sys.cmi which was compiled with the previous version.

One way to solve it is to manually delete the old files (or all of /usr/local/lib/ocaml) before installation. IMHO, it seems a little dangerous to do it automatically in make install.

@vicuna
Copy link
Author

vicuna commented Apr 13, 2018

Comment author: @johnwhitington

Thanks. Probably worth a note in the README or INSTALL document, though?

@vicuna
Copy link
Author

vicuna commented Apr 13, 2018

Comment author: @nojb

Actually, I think make install should delete the old files. PR at #1724.

@vicuna
Copy link
Author

vicuna commented Apr 16, 2018

Comment author: @nojb

PR merged.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

2 participants