lib/scripts/getfunctions
changeset 72465 de11c745ebbc
parent 72162 5894859c5c84
child 72894 bd2269b6cd99
equal deleted inserted replaced
72464:b32eea5823c8 72465:de11c745ebbc
    36 {
    36 {
    37   if [ -z "$ISABELLE_OPAM" ]; then
    37   if [ -z "$ISABELLE_OPAM" ]; then
    38     echo "Unknown ISABELLE_OPAM -- OCaml management tools unavailable" >&2
    38     echo "Unknown ISABELLE_OPAM -- OCaml management tools unavailable" >&2
    39     return 127
    39     return 127
    40   else
    40   else
    41     env OPAMROOT="$ISABELLE_OPAM_ROOT" "$ISABELLE_OPAM" "$@"
    41     env OPAMROOT="$ISABELLE_OPAM_ROOT" OPAMCOLOR="never" "$ISABELLE_OPAM" "$@"
    42   fi
    42   fi
    43 }
    43 }
    44 export -f isabelle_opam
    44 export -f isabelle_opam
    45 
    45 
    46 #GHC management via Stack
    46 #GHC management via Stack