10 Environment variables

The various components of the Mercury compilation environment will use the following environment variables if they are set. There should be little need to use most of these, because the default values will generally work fine.