--------------------------->  GNU Sather - module  <---------------------------
-- Copyright (C) 199x by International Computer Science Institute            --
-- This file is part of the GNU Sather package. It is free software; you may --
-- redistribute  and/or modify it under the terms of the  GNU General Public --
-- License (GPL)  as  published  by the  Free  Software  Foundation;  either --
-- version 2 of the license, or (at your option) any later version.          --
-- This  program  is distributed  in the  hope that it will  be  useful, but --
-- WITHOUT ANY WARRANTY without even the implied warranty of MERCHANTABILITY --
-- or FITNESS FOR A PARTICULAR PURPOSE. See Doc/GPL for more details.        --
-- The license text is also available from:  Free Software Foundation, Inc., --
-- 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA                     --
-------------->  Please email comments to <bug-sather@gnu.org>  <--------------

-- This module file includes all test files for serial Sather
-- To compile only part of the tests, you can use:
--	-main TEST_OBLIG for all parts that should be tested
--			 for new installations
--	-main TEST_LIB for the library parts that are not tested
--			   in TEST_OBLIG
--      -main TEST_IEEE for ieee libraries
--	-main TEST_ALL all tests, by default
-- This is a comment
(* This is a comment *)
(* This is a multi
line comment *)

test-lib.sa -has test-lib.sa TEST_LIB
test-ieee.sa -has test-ieee.sa TEST_IEEE
test-oblig.sa -has test-oblig.sa TEST_OBLIG
test-misc.sa -has test-misc.sa TEST_MISC
test-all.sa -has test-all.sa TEST_ALL
test-param.sa
test-partial.sa
test-overload.sa
test-cb.sa
$(SATHER_HOME)/Test/test-cb.c
test-out.sa
test-biters.sa

-main TEST_ALL
