c_compiler_type: tcc
cpp_compiler_type: none

[boost]

[no_check]

[require_check]

[ensure_check]

[invariant_check]

[loop_check]

[all_check]

[debug_check]
c_compiler_options: -g
smarteiffel_options: -no_strip

[release]
smarteiffel_options: -no_split -compact
