bionic (1) atscc.1.gz

Provided by: ats-lang-anairiats_0.2.11-1build1_amd64 bug

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)