Mercurial Mercurial > repos > isabelle / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
lib/Tools/ocaml_setup
changeset 69500 db001bc11855
parent 69149 8c501c406d24
child 69911 036037573080
equal deleted inserted replaced
69499:638fdbbc7d1f 69500:db001bc11855 
     1 #!/usr/bin/env bash
 
     1 #!/usr/bin/env bash
 
     2 #
 
     2 #
 
     3 # Author: Makarius
 
     3 # Author: Makarius
 
     4 #
 
     4 #
 
     5 # DESCRIPTION: setup OCaml setup via OPAM
 
     5 # DESCRIPTION: setup OCaml via OPAM
 
     6 
     6 
     7 if [ -d "$ISABELLE_OPAM_ROOT" ]
 
     7 if [ -d "$ISABELLE_OPAM_ROOT" ]
 
     8 then
 
     8 then
 
     9   isabelle_opam switch "$ISABELLE_OCAML_VERSION"
 
     9   isabelle_opam switch "$ISABELLE_OCAML_VERSION"
 
    10 else
 
    10 else
isabelle