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.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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.
The text was updated successfully, but these errors were encountered:
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.
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.
The text was updated successfully, but these errors were encountered: