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).

L'homme est le seul mâle qui batte sa femelle. On doit donc en déduire
que l'homme est le plus brutal des mâles... a moins que la femme ne
soit, de toutes les femelles, la plus insupportable.
-+- Georges Courteline -+-