Console Output

+ bin/isabelle ocaml_setup
[NOTE] Will configure from built-in defaults.
Checking for available remotes: rsync and local, git, mercurial.
  - you won't be able to use darcs repositories unless you install the darcs command on your system.


<><> Fetching repository information ><><><><><><><><><><><><><><><><><><><><><>
[default] Initialised

<><> Creating initial switch (ocaml-base-compiler.4.07.0) <><><><><><><><><><><>

<><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
[ocaml-base-compiler.4.07.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-base-compiler.4.07.0
∗ installed ocaml-config.1
∗ installed ocaml.4.07.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 ><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
[zarith.1.12] downloaded from cache at https://opam.ocaml.org/cache
[ocamlfind.1.9.1] downloaded from cache at https://opam.ocaml.org/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