Closed yonoteam closed 3 years ago
Hi, I reformatted your issue for more clarity. Please don't forget to use the proper markdown characters when pasting logs.
I'm a bit confused at your test machine. Is that really an macOS/arm64 (M1)? If so how did you manage to install OCaml 4.07 on it? Are you running it using Rosetta2?
Currently it should not be possible to compile any OCaml compiler other than 4.10.2 or >= 4.12.0, thus my confusion ^^"
Furthermore the log indicates that your opam-repository is up-to-date so there shouldn't be any issue. ocaml-base-compiler.4.07.0
explicitly proscribe macOS/arm64: https://github.com/ocaml/opam-repository/blob/5e01cfa3986cc55bd97d8aac265343be6616315f/packages/ocaml-base-compiler/ocaml-base-compiler.4.07.0/opam#L52
Hi, I reformatted your issue for more clarity. Please don't forget to use the proper markdown characters when pasting logs.
Hello, thanks. Yes, I was about to correct it and you beat me to it.
I'm a bit confused at your test machine. Is that really an macOS/arm64 (M1)? If so how did you manage to install OCaml 4.07 on it? Are you running it using Rosetta2?
Yes it is a macOS/arm64 (M1). I cheated by having the Isabelle proof assistant do it for me. I do not know how it does so (they do mention Rosetta2 in their news file for the 2021 version), but by using isabelle ocaml_setup
I got ocaml 4.07.
Currently it should not be possible to compile any OCaml compiler other than 4.10.2 or >= 4.12.0, thus my confusion ^^" Furthermore the log indicates that your opam-repository is up-to-date so there shouldn't be any issue.
ocaml-base-compiler.4.07.0
explicitly proscribe macOS/arm64:
Then, is that the solution? Use an older model of computer or the version of OCaml incompatible with Isabelle?
Install Intel Homebrew (in /usr/local) so you have an x86_64 toolchain on the M1, and then proceed with the Isabelle installation using that. You need your whole toolchain to be translated if you want to remain x86 compatible. And perhaps put a feature request to Isabelle to upgrade their supported version of the OCaml compiler to a more recent one.
I would advise against using isabelle ocaml_setup
as it seems very unsafe (for instance, they purposefully disable sandboxing for some reason): https://isabelle-dev.sketis.net/source/isabelle/browse/default/lib/Tools/ocaml_setup$18
Then, is that the solution? Use an older model of computer or the version of OCaml incompatible with Isabelle?
Unless you're trying to do something with the opam switch created by Isabelle, the solution is rather simple: Creating a new switch with a compatible/newer OCaml compiler
opam switch create 4.12.0
The underlying issue you encountered will be fixed by https://github.com/ocaml/opam-repository/pull/18587, though this should not have been possible to encounter in the first place and is very much an edge-case.
Install Intel Homebrew (in /usr/local) so you have an x86_64 toolchain on the M1, and then proceed with the Isabelle installation using that. You need your whole toolchain to be translated if you want to remain x86 compatible. And perhaps put a feature request to Isabelle to upgrade their supported version of the OCaml compiler to a more recent one.
Thanks for the suggestions. I'll have a go at them.
I would advise against using isabelle ocaml_setup as it seems very unsafe (for instance, they purposefully disable sandboxing for some reason): https://isabelle-dev.sketis.net/source/isabelle/browse/default/lib/Tools/ocaml_setup$18
Thanks for the advice, I have pointed to this issue in the Isabelle mailing list.
The underlying issue you encountered will be fixed by #18587, though this should not have been possible to encounter in the first place and is very much an edge-case.
Thanks for the help.
Hello, my computer suggested filing a bug report and I found nothing related in previous issues. Below I enumerate the process that generated the error message appearing below. Any help/explanation is welcomed.
Using
opam config report
after step 14 below, outputs the following message.Process:
opam switch list
reports I am usingocaml-base-compiler.4.07.0
eval $(opam env)
opam init
opam install zarith
opam install graphics
but failed, reported missing xorgproto and xquartzopam install ocamlbuild
opam install ocamlfind
opam install graphics
but failed again for same reasonopam install graphics
and workedopam install zarith
opam install utop
but error message appeared suggesting filing a bug report here, trying installing again sequentially or restore to former state with suggested command.opam install utop
but failed again suggesting same fixestried
opam install --jobs=1 utop
but failed with following message appearing so decided to file bug-report: