Wrapper minervac compiles a MINERVA source program into a MINERVA package.

minerva is usually invoked as

minervac PackageName

without other parameters. This compiles the MINERVA source file PackageName.min into the pair of PackageName.mbc (Minerva Byte Code) object code and PackageName.mpk (Minerva Package) package interface file.

Options to minervac:

• -debug
  The object file is generated so that its execution can be inspected with the MINERVA debugger.
• -encoding Encoding
  The source file is expected to be a text file in the given Encoding, e.g. UnicodeLittle, 8859_1, EUCJIS, SJIS etc.
• -p PropertyFile
  Instructs minervac to use a given *.msp property file.
• -syntax strict|classic
  -syntax strict tells minervac to use unicode mapping for syntactically relevant characters. This is the default.
  -syntax classic tells minervac to treat all non-asciis syntactically as lower case letters.
• -dynamic
  compiles all predicates of the file as dynamic predicates. This possibly decreases performance of the generated code, except if the compiled file mainly contains facts, then performance may even increase.

  A file that was compiled with -dynamic can be unloaded with unload/1.

A MINERVA program can consist of a combination of objects compiled with different options to minervac.