atscc(1) [debian man page]

atscc(1)						      General Commands Manual							  atscc(1)

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)