avoid prompt;
authorwenzelm
Wed Mar 20 21:15:20 2019 +0100 (5 weeks ago)
changeset 699283ed262d72468
parent 69927 f387618d9053
child 69929 b979e3044d8e
avoid prompt;
lib/Tools/ocaml_setup
     1.1 --- a/lib/Tools/ocaml_setup	Wed Mar 20 20:33:40 2019 +0100
     1.2 +++ b/lib/Tools/ocaml_setup	Wed Mar 20 21:15:20 2019 +0100
     1.3 @@ -13,4 +13,4 @@
     1.4    isabelle_opam init --no-setup --compiler="$ISABELLE_OCAML_VERSION"
     1.5  fi
     1.6  
     1.7 -isabelle_opam install zarith
     1.8 +isabelle_opam install zarith -y