class CODE_OPTIONS < $GET_OPTIONS |
---|
**** | This is an options handler for things with back-ends. Don't put things that are specific to the ICSI `cs' compiler (e.g. CGEN) here; this is meant to be usable for other back-ends. Modify CS_OPTIONS for such things instead. |
$GET_OPTIONS | GET_OPTIONS | CS_COMPONENT |
CS_OPTIONS |
handle_other_options(s:STR) |
---|