Console Output
+ bin/isabelle ocaml_setup
<><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
[ocaml-base-compiler.4.12.0] downloaded from cache at https://opam.ocaml.org/cache
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
∗ installed base-bigarray.base
∗ installed base-threads.base
∗ installed base-unix.base
∗ installed ocaml-options-vanilla.1
∗ installed ocaml-base-compiler.4.12.0
∗ installed ocaml-config.2
∗ installed ocaml.4.12.0
Done.
# Run eval $(opam env) to update the current shell environment
The following actions will be performed:
∗ install ocamlfind 1.9.1 [required by zarith]
∗ install conf-gmp 3 [required by zarith]
∗ install zarith 1.12
===== ∗ 3 =====
<><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
[ocamlfind.1.9.1] found in cache
[zarith.1.12] found in cache
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
∗ installed conf-gmp.3
∗ installed ocamlfind.1.9.1
∗ installed zarith.1.12
Done.
# Run eval $(opam env) to update the current shell environment