Rechercher une page de manuel

Chercher une autre page de manuel:

atscc

Langue: en

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

Section: 1 (Commandes utilisateur)

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

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 -+-