@c "compile/option-f.texi"
@c extracted from "../../src/main/compile.cc"
@c by "$(top_srcdir)/scripts/extract_texinfo.awk".

@defopt -f optname
general compile flags (repeatable) where @var{optname} is one of the following:
@itemize
@item @option{dump-include-paths}:
        dumps @option{-I} include paths as they are processed
@item @option{dump-object-header}:
        (diagnostic) dumps persistent object header before saving
@item @option{no-dump-include-paths}:
        suppress feedback of @option{-I} include paths
@item @option{no-dump-object-header}:
        suppress persistent object header dump
@end itemize

Dialect flags (for ACT-compatbility):
@itemize
@item @option{export-all}:
	Treat all definitions as exported, i.e. no export checking.
@item @option{export-strict}:
	Check that definitions are exported for use outside their
	respective home namespaces (default, ACT).
@item @option{namespace-instances}
	Allow instance management outside global namespace (default).
	Negatable with @t{no-} prefixed.
	ACT mode: @option{no-namespace-instances}.
@item @option{array-internal-nodes}
	Allow implicit arrays of internal nodes in PRS (default).
	Negatable with @t{no-} prefixed.
	ACT mode: @option{no-array-internal-nodes}.
@end itemize
@option{ACT} is a preset that activates all ACT-mode flags for compatibility.
@end defopt

