NAME
atscc - ATS compiler frontend
SYNOPSIS
atscc [options] files...
DESCRIPTION
atscc is a frontend to the atsopt Anairiats compiler for the ATS
language.
OPTIONS
atscc has a command-line option syntax in the style of gcc and accepts
all the same options, many of them being passed directly to the gcc
backend. Here are summarized the non-gcc options.
-cc, --compile
Only compile the given ATS source files into C files.
-D_ATS_GCATS
Enable the garbage collector in the generated executable.
-IATS <path>
Add a path to search for ATS files when doing static and dynamic
loads.
-tc, --typecheck
Typecheck the given ATS source files, but go no further.
--version
Show ATS/Anairiats version and gcc version.
EXAMPLES
atscc -o test -O3 test.dats
Compile test.dats to an executable named test. Tell gcc to use the
third level of optimization.
atscc -tc test.dats
Typecheck test.dats only.
atscc -o test.o -c test.dats
Compile test.dats to an object file named test.o.
SEE ALSO
atsopt(1), atslex(1),
These programs are documented fully by The ATS/Anairiats user’s manual
available via the web at http://www.ats-lang.org/
AUTHOR
atscc was written by Hongwei Xi.
This manual page was written by Matthew Danish <mrd@debian.org>, for
the Debian project (and may be used by others).
February 22, 2010 atscc(1)