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

Comments

Projects
None yet
2 participants
@vicuna
Copy link
Collaborator

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

This comment has been minimized.

Copy link
Collaborator 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

This comment has been minimized.

Copy link
Collaborator Author

vicuna commented Apr 13, 2018

Comment author: @johnwhitington

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

@vicuna

This comment has been minimized.

Copy link
Collaborator Author

vicuna commented Apr 13, 2018

Comment author: @nojb

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

@vicuna

This comment has been minimized.

Copy link
Collaborator 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
You can’t perform that action at this time.
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session.