isabelle: lib/Tools/ocaml_setup@564985d6867e (annotated)

69135 be20f5f6feb9 support for OCaml via command-line tools; wenzelm parents: diff changeset	1	#!/usr/bin/env bash
be20f5f6feb9 support for OCaml via command-line tools; wenzelm parents: diff changeset	2	#
be20f5f6feb9 support for OCaml via command-line tools; wenzelm parents: diff changeset	3	# Author: Makarius
be20f5f6feb9 support for OCaml via command-line tools; wenzelm parents: diff changeset	4	#
69500 db001bc11855 tuned messages; wenzelm parents: 69149 diff changeset	5	# DESCRIPTION: setup OCaml via OPAM
69135 be20f5f6feb9 support for OCaml via command-line tools; wenzelm parents: diff changeset	6
69911 036037573080 include zarith in the default opam setup haftmann parents: 69500 diff changeset	7	set -e
036037573080 include zarith in the default opam setup haftmann parents: 69500 diff changeset	8
69924 512ac874bb9d more robust: allow empty root (e.g. via symlink); wenzelm parents: 69911 diff changeset	9	if [ -e "$ISABELLE_OPAM_ROOT/config" ]
69139 4f3d93f0ba94 allow to switch ISABELLE_OCAML_VERSION later on; wenzelm parents: 69135 diff changeset	10	then
69938 564985d6867e proper ISABELLE_OCAML_VERSION; wenzelm parents: 69936 diff changeset	11	isabelle_opam switch create "$ISABELLE_OCAML_VERSION"
69139 4f3d93f0ba94 allow to switch ISABELLE_OCAML_VERSION later on; wenzelm parents: 69135 diff changeset	12	else
69938 564985d6867e proper ISABELLE_OCAML_VERSION; wenzelm parents: 69936 diff changeset	13	isabelle_opam init --disable-sandboxing --no-setup --compiler="$ISABELLE_OCAML_VERSION"
69139 4f3d93f0ba94 allow to switch ISABELLE_OCAML_VERSION later on; wenzelm parents: 69135 diff changeset	14	fi
69911 036037573080 include zarith in the default opam setup haftmann parents: 69500 diff changeset	15
69928 3ed262d72468 avoid prompt; wenzelm parents: 69924 diff changeset	16	isabelle_opam install zarith -y

author	wenzelm
	Thu, 21 Mar 2019 14:54:25 +0100
changeset 69938	564985d6867e
parent 69936	772bdd1ed843
child 69942	2c48be88f847
permissions	-rwxr-xr-x