-- -*- Mode: Sather;  -*-
-- File: icsim/.sather_debug
-- Author: Heinz Schmidt (hws@ICSI.Berkeley.EDU)
-- Copyright (C) International Computer Science Institute, 1991
--
-- 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: "sather/doc/license.txt" of the Sather
-- distribution. The license is also available from ICSI, 1947 Center
-- St., Suite 600, Berkeley CA 94704, USA.
--*~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
--* FUNCTION: Sample debug and cc flags for inclusion in .sather file. This
--*           version is to be used with the -chk option to check
--*           proper use of various sather and icsim library classes. 
--*
--* HISTORY:
--* Last edited: Mar  9 10:37 1992 (hws)
--* Created: Sat Sep  7 15:37:45 1991 (hws)
--*~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

(debug_keys) 
	dbg  -- unspecific, X::dbg
	type_check  -- pmap
	pre  -- preconditions
        post -- postconditions
	invariant -- invariant
	-- create 	
	-- stepping 
	-- conn 
        void_object	
	-- void_xv_object 
	-- X::void_xv_object
 

-- ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

(cc_flags)
   
     -- -DGC 
     -- -g -DSAFE_RT_                      -- debugging
     -- -p                                 -- profile (prof / mon.out)
     -- -pg                                -- profile (gprof / gmon.out)
     -- -Bstatic                           -- static binding
     -- -O                                    -- optimize
     -- -misalign                          -- sun cc only

--~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
-- User Interface?
 
     -- -sun4 -lxview -lolgx -lX11  -- all

-- ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
 
-- How to run profiler
-- <bin>    and then  prof -a  <bin>
-- prof options: -a all symbols (not only externals)
--                  otherwise it shows the %time spent between this and the
--                  external?
--               -n sort by number of calls.
--               -z display zero call routines.

