Configuration.module

-- Copyright (C) International Computer Science Institute, 1994.  COPYRIGHT  --
-- NOTICE: This code is provided "AS IS" WITHOUT ANY WARRANTY and is subject --
-- to the terms of the SATHER LIBRARY GENERAL PUBLIC LICENSE contained in    --
-- the file "Doc/License" of the Sather distribution.  The license is also   --
-- available from ICSI, 1947 Center St., Suite 600, Berkeley CA 94704, USA.  --
--------> Please email comments to "sather-bugs@icsi.berkeley.edu". <----------

(*

CONFIGURATION

GET_OPTIONS: This is the standard options module for the Sather
compiler. It is meant to be included in classes which specialize for a
particular configuration, and handles all the options needed by any
tool built using the compiler components - the location of the library
home, getting file names, interpreting command files.  A browser, for
example, might include this and then define additional options
appropriate to browsing.

CODE_OPTIONS: This adds options needed for anything that generates
code; it han dles optional checking flags such as "-pre" and
"-no_pre".

CS_OPTIONS: This adds options specific to the compiler.  It also reads
in the file "System/CONFIG".

*)

cs_options.sa
get_options.sa
system_lex.sa
config.sa