The -encoding option used at compile time and run time:
The example shows:
This example illustrates how to combine and use programs that are written in different encodings (e.g. by different authors) and how to specify a given encoding for a package.
The example also shows how to execute MINERVA to produce output in the encoding most suitable for the specific environment.
Note that the MINERVA compiler minervac produces *.mbc MINERVA binary files which are independent of the encoding of their respective source file, but that the *.mpk MINERVA package interface file is a text file in the encoding of its source.