jon.recoil.org

Module type Optcomp_intf.File_extensions

File extensions include exactly one dot, so they can be added with regular string append, and removed by Filename.strip_extension

val ext_obj : string
val ext_lib : string
val ext_flambda_obj : string
val ext_flambda_lib : string
val default_executable_name : string

Name of executable produced by linking if none is given with -o, e.g. a.out under Unix.