Package Flags

debug

 (off by default)

Enable debug printing. This makes Agda slightly slower, and building Agda slower as well. The --verbose=N option only has an effect when Agda was built with this flag.

debug-serialisation

 (off by default)

Enable debug mode in serialisation. This makes serialisation slower.

debug-parsing

 (off by default)

Enable debug mode in parsing. This makes parsing slower.

enable-cluster-counting

 (off by default)

Enable the --count-clusters flag. (If enable-cluster-counting is False, then the --count-clusters flag triggers an error message.)

optimise-heavily

 (off by default)

Enable some expensive optimisations when compiling Agda.