.\"                                      Hey, EMACS: -*- nroff -*-
.\" First parameter, NAME, should be all caps
.\" Second parameter, SECTION, should be 1-8, maybe w/ subsection
.\" other parameters are allowed: see man(7), man(1)
.TH atscc 1 "February 22, 2010"
.\" Please adjust this date whenever revising the manpage.
.\"
.\" Some roff macros, for reference:
.\" .nh        disable hyphenation
.\" .hy        enable hyphenation
.\" .ad l      left justify
.\" .ad b      justify to both left and right margins
.\" .nf        disable filling
.\" .fi        enable filling
.\" .br        insert line break
.\" .sp <n>    insert n+1 empty lines
.\" for manpage-specific macros, see man(7)
.SH NAME
atscc \- ATS compiler frontend
.SH SYNOPSIS
.B atscc
.RI [ options ] " files" ...
.SH DESCRIPTION
.\" TeX users may be more comfortable with the \fB<whatever>\fP and
.\" \fI<whatever>\fP escape sequences to invode bold face and italics,
.\" respectively.
.B atscc
is a frontend to the
.B atsopt
Anairiats compiler for the ATS language.
.SH OPTIONS
.B atscc
has a command-line option syntax in the style of
.B gcc
and accepts all the same options, many of them being passed directly to the
.B gcc
backend.  Here are summarized the non-\fBgcc\fP options.
.TP
.B \-cc, \-\-compile
Only compile the given ATS source files into C files.
.TP
.B \-D_ATS_GCATS
Enable the garbage collector in the generated executable.
.TP
.B \-IATS <path>
Add a path to search for ATS files when doing static and dynamic loads.
.TP
.B \-tc, \-\-typecheck
Typecheck the given ATS source files, but go no further.
.TP
.B \-\-version
Show ATS/Anairiats version and gcc version.
.SH EXAMPLES
.PP
.B atscc -o test -O3 test.dats
.PP
Compile test.dats to an executable named test.  Tell
.B gcc
to use the third level of optimization.
.PP
.B atscc -tc test.dats
.PP
Typecheck test.dats only.
.PP
.B atscc -o test.o -c test.dats
.PP
Compile test.dats to an object file named test.o.
.SH SEE ALSO
.BR atsopt (1),
.BR atslex (1),
.br
These programs are documented fully by
.B The ATS/Anairiats user's manual
available via the web at http://www.ats-lang.org/
.SH AUTHOR
atscc was written by Hongwei Xi.
.PP
This manual page was written by Matthew Danish <mrd@debian.org>,
for the Debian project (and may be used by others).