Rechercher une page de manuel

Chercher une autre page de manuel:


Langue: en

Version: February 22, 2010 (ubuntu - 24/10/10)

Section: 1 (Commandes utilisateur)


atscc - ATS compiler frontend


atscc [options] files...


atscc is a frontend to the atsopt Anairiats compiler for the ATS language.


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.
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.
Show ATS/Anairiats version and gcc version.


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.


atsopt(1), atslex(1),
These programs are documented fully by The ATS/Anairiats user's manual available via the web at


atscc was written by Hongwei Xi.

This manual page was written by Matthew Danish <>, for the Debian project (and may be used by others).

Les écarts où nous entraîne notre imagination... sont les preuves
certaines de notre esprit.
-+- Marquis de Sade, Histoire de Juliette -+-