Module Krb_internal_public.Config_gen_intfSource

Hardcoded constants that affect the behavior of the Krb library.

These can be changed by setting an environment variable, OCAML_KRB_CONFIG, to a sexp representation of the config. Also, setting OCAML_KRB_CONFIG to an invalid sexp (e.g. the empty string), will cause your program to print to stderr a usage message describing how to configure OCAML_KRB_CONFIG, and exit nonzero. For example, the following shell command should print the usage message:

  OCAML_KRB_CONFIG= foo.exe