6.2 Optimization files

Files whose names end in .opt and .trans_opt are files used for optimization; these are generated automatically by the compiler.

• .opt files are used for intermodule optimization, and are created using the ‘--make-optimization-interface’ (or ‘--make-opt-int’) option.
• .trans_opt files are used for transitive intermodule optimization, and are created using the ‘--make-transitive-optimization-interface’ (or ‘--make-trans-opt’) option.