include zarith in the default opam setup
authorhaftmann
Thu Mar 14 19:06:40 2019 +0100 (10 days ago)
changeset 69911036037573080
parent 69910 0c0f7b4a72bf
child 69914 72301e1457b9
include zarith in the default opam setup
NEWS
lib/Tools/ocaml_setup
     1.1 --- a/NEWS	Thu Mar 14 13:54:31 2019 +0000
     1.2 +++ b/NEWS	Thu Mar 14 19:06:40 2019 +0100
     1.3 @@ -124,13 +124,11 @@
     1.4  Minor INCOMPATIBILITY.
     1.5  
     1.6  * Code generation for OCaml: Zarith superseedes Nums as library for
     1.7 -integer arithmetic.  Use the following incantation to obtain a suitable
     1.8 -component setup:
     1.9 +integer arithmetic.  It is included in the default setup after
    1.10  
    1.11    isabelle ocaml_setup
    1.12 -  isabelle ocaml_opam install zarith
    1.13 -
    1.14 -Minor INCOMPATIBILITY
    1.15 +
    1.16 +Minor INCOMPATIBILITY.
    1.17  
    1.18  * Code generation for Haskell: code includes for Haskell must contain
    1.19  proper module frame, nothing is added magically any longer.
     2.1 --- a/lib/Tools/ocaml_setup	Thu Mar 14 13:54:31 2019 +0000
     2.2 +++ b/lib/Tools/ocaml_setup	Thu Mar 14 19:06:40 2019 +0100
     2.3 @@ -4,9 +4,13 @@
     2.4  #
     2.5  # DESCRIPTION: setup OCaml via OPAM
     2.6  
     2.7 +set -e
     2.8 +
     2.9  if [ -d "$ISABELLE_OPAM_ROOT" ]
    2.10  then
    2.11    isabelle_opam switch "$ISABELLE_OCAML_VERSION"
    2.12  else
    2.13    isabelle_opam init --no-setup --compiler="$ISABELLE_OCAML_VERSION"
    2.14  fi
    2.15 +
    2.16 +isabelle_opam install zarith