proper ISABELLE_OCAML_VERSION;
authorwenzelm
Thu Mar 21 14:54:25 2019 +0100 (2 months ago)
changeset 69938564985d6867e
parent 69937 afbc075fd2da
child 69940 d043ccb998ee
proper ISABELLE_OCAML_VERSION;
etc/settings
lib/Tools/ocaml_setup
     1.1 --- a/etc/settings	Thu Mar 21 14:17:36 2019 +0100
     1.2 +++ b/etc/settings	Thu Mar 21 14:54:25 2019 +0100
     1.3 @@ -144,7 +144,7 @@
     1.4  
     1.5  ISABELLE_OPAM_ROOT="$USER_HOME/.opam"
     1.6  
     1.7 -ISABELLE_OCAML_VERSION="4.05.0"
     1.8 +ISABELLE_OCAML_VERSION="ocaml-base-compiler.4.05.0"
     1.9  
    1.10  
    1.11  ###
     2.1 --- a/lib/Tools/ocaml_setup	Thu Mar 21 14:17:36 2019 +0100
     2.2 +++ b/lib/Tools/ocaml_setup	Thu Mar 21 14:54:25 2019 +0100
     2.3 @@ -8,9 +8,9 @@
     2.4  
     2.5  if [ -e "$ISABELLE_OPAM_ROOT/config" ]
     2.6  then
     2.7 -  isabelle_opam switch create "ocaml-base-compiler.$ISABELLE_OCAML_VERSION"
     2.8 +  isabelle_opam switch create "$ISABELLE_OCAML_VERSION"
     2.9  else
    2.10 -  isabelle_opam init --disable-sandboxing --no-setup --compiler="ocaml-base-compiler.$ISABELLE_OCAML_VERSION"
    2.11 +  isabelle_opam init --disable-sandboxing --no-setup --compiler="$ISABELLE_OCAML_VERSION"
    2.12  fi
    2.13  
    2.14  isabelle_opam install zarith -y