-- .sather file for performance benchmarks.
--
-- 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.
-- ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

(cc_flags) -O

(source_files) 
./benchmarks.sa
./perm.sa
./xperm.sa
./towers.sa
./xtowers.sa
./queens.sa
./xqueens.sa
./intmm.sa
./runbench.sa
./time_tst.sa
./xintmm.sa
./puzzle.sa
./quick.sa
./xquick.sa
./bubble.sa
./xbubble.sa
./tree.sa
./xtree.sa

(c_files)
./C/time_.o
