4.3 Compilation: the Project structure

mode_details

Eqtype

Structure

Shell.Project

Type

eqtype mode_details = {generate_debug_info: bool, generate_interceptable_code: bool, generate_interruptable_code: bool,  generate_variable_debug_info: bool, location: string, mips_r4000: bool, optimize_leaf_fns: bool, optimize_self_tail_calls: bool, optimize_tail_calls: bool, sparc_v7: bool}

Description

This type stores the mode details of a project, such as its optimization settings, the generation of debugging information, and so on.