example settings for ISABELLE_GHC, ISABELLE_OCAML, ISABELLE_SWIPL;
authorwenzelm
Mon Mar 14 15:17:10 2011 +0100 (2011-03-14)
changeset 419687f5c9bd991be
parent 41967 6aa69999da8f
child 41982 96cbc6379e5a
example settings for ISABELLE_GHC, ISABELLE_OCAML, ISABELLE_SWIPL;
etc/settings
     1.1 --- a/etc/settings	Mon Mar 14 15:13:00 2011 +0100
     1.2 +++ b/etc/settings	Mon Mar 14 15:17:10 2011 +0100
     1.3 @@ -228,3 +228,8 @@
     1.4  # Second option: use the open source glpk solver
     1.5  #LP_SOLVER=GLPK
     1.6  #GLPK_PATH=glpsol
     1.7 +
     1.8 +# Misc programming languages
     1.9 +#ISABELLE_GHC="/usr/local/ghc/$ISABELLE_PLATFORM/ghc"
    1.10 +#ISABELLE_OCAML="/usr/local/ocaml/$ISABELLE_PLATFORM/ocaml"
    1.11 +#ISABELLE_SWIPL="/usr/local/swipl/$ISABELLE_PLATFORM/swipl"