--
-- 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.
--
-- .sather file for the Sather debugger

-- (sather_home) $SATHER_HOME

(cc_flags) -O -sun4

(source_files)
-- debugger SATHER files
./sdb.sa
./globals.sa
./dbrowser.sa
./dsys.sa
./dmirror.sa
./dbtab_rd.sa
./brkpts.sa
./source.sa
./cnm_map.sa
./parse.sa
./disambig.sa

-- separate programs per file to test things
./test.sa

-- library SATHER files
../lib/data_structure/genrl_hash.sa
../lib/data_structure/stack.sa
../lib/data_structure/str_hash.sa

--
-- provide Sathers function callbacks for gdb to call for extra commands.
-- from dbrowser.sa
(c_name) dsys_init DSYS::init
(c_name) s_visit_command DBROWSER::visit
(c_name) s_leave_command DBROWSER::leave
(c_name) s_location_command DBROWSER::location
(c_name) s_show_command DBROWSER::show
(c_name) s_array_command DBROWSER::array
(c_name) s_assign_command DBROWSER::assign
(c_name) s_sdvars_command DBROWSER::sdvars
(c_name) s_descendent_command DBROWSER::descendent
(c_name) inf_arr_type_is_basic_ DSYS::arr_type_is_basic
(c_name) inf_get_dispatch_ DSYS::get_dispatch
(c_name) broInvalidateObMir DBROWSER::invalidateObMir
(c_name) broInvalidateObMirAndStack DBROWSER::invalidateObMirAndStack
(c_name) globals_satherFunctionFromCFunction GLOBALS::satherFunctionFromCFunction
(c_name) dbtable_read_satherFileAndLine DBTABLE_READ::satherFileAndLine
(c_name) dbtable_cFileLine2SatherFileLine DBTABLE_READ::cFileLine2SatherFileLine
(c_name) breaks_satherFileLineBreakpointCommand BREAKS::satherFileLineBreakpointCommand
(c_name) breaks_satherClassFuncBreakpointCommand BREAKS::satherClassFuncBreakpointCommand
(c_name) source_printSourceLine SOURCE::printSourceLine
(c_name) source_identifySourceLine SOURCE::identifySourceLine
(c_name) globals_printSatherTypeAndObject GLOBALS::printSatherTypeAndObject
(c_name) cname_mapping_readCNameFile CNAME_MAPPING::readCNameFile
(c_name) cname_mapping_cExp2cSat CNAME_MAPPING::cExp2cSat


-- Shared "shared" sather variables with C
(c_name) dbtable SDB::dbtr
(c_name) db_lastSatherFileFromCAccess DBTABLE_READ::lastSatherFileFromCAccess
(c_name) db_lastSatherFileLineFromCAccess DBTABLE_READ::lastSatherFileLineFromCAccess

-- for test program
(c_name) cnameofTESTPARENT_rout3 TESTPARENT::rout3

(c_files)
-- Sather sdb .o files (i.e. sdb backend)
./C/libbksdb.a

-- GNU libraries
./C/readline/libreadline.a

-- Other C libraries used by sdb
/usr/lib/libtermcap.a
