Name
ecl_get_option — Read the value of a boot option.
Function
cl_fixnum ecl_get_option(int option);
Description
This functions reads the value of different options that have
to be customized before ECL boots. The table
of options and default values is Table 8.1.