lib/Tools/ocaml
author wenzelm
Mon Oct 08 15:42:43 2018 +0200 (11 months ago)
changeset 69135 be20f5f6feb9
child 69261 a41f49148525
permissions -rwxr-xr-x
support for OCaml via command-line tools;
     1 #!/usr/bin/env bash
     2 #
     3 # Author: Makarius
     4 #
     5 # DESCRIPTION: invoke OCaml within the Isabelle environment
     6 
     7 isabelle_opam config exec --switch "$ISABELLE_OCAML_VERSION" -- ocaml "$@"