Man pages sections > man1 > atsopt

atsopt - ATS to C compiler

atsopt(1) General Commands Manual atsopt(1)


atsopt - ATS to C compiler


atsopt <command>...


atsopt is the compiler from ATS to C. It is most commonly invoked by atscc which is the preferred frontend for compiling ATS code.


atsopt takes a number of commands with parameters to determine its behavior:
-d, --dynamic <filenames>
Dynamically load the filenames.
Enable generation of debugging information.
-dep, --depgen
Generate dependency lists.
-h, --help
Print the usage information.
-o, --output <filename>
Specify the output filename.
Generate an HTML file with colored concrete syntax.
Generate an HTML file with syntactic cross-references.
-s, --static <filenames>
Statically load the filenames.
-tc, --typecheck
Typecheck the given ATS source files, but go no further.
-v, --version
Show ATS/Anairiats version and gcc version.


atsopt -o test.c -d test.dats
Compile test.dats to a C file.
atsopt -tc -d test.dats
Typecheck test.dats only.
atsopt -o test.html -d test.dats --posmark_html
Write a syntax colored version of test.dats.


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


atsopt was written by Hongwei Xi.
This manual page was written by Matthew Danish <>, for the Debian project (and may be used by others).
February 22, 2010 Debian Sid