Query: atsopt
OS: debian
Section: 1
Format: Original Unix Latex Style Formatted with HTML and a Horizontal Scroll Bar
atsopt(1) General Commands Manual atsopt(1)NAMEatsopt - ATS to C compilerSYNOPSISatsopt <command>...DESCRIPTIONatsopt is the compiler from ATS to C. It is most commonly invoked by atscc which is the preferred frontend for compiling ATS code.COMMANDSatsopt takes a number of commands with parameters to determine its behavior: -d, --dynamic <filenames> Dynamically load the filenames. --debug=1 Enable generation of debugging information. -dep, --depgen Generate dependency lists. -h, --help Print the usage information. -o, --output <filename> Specify the output filename. --posmark_html Generate an HTML file with colored concrete syntax. --posmark_xref 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.EXAMPLESatsopt -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.SEE ALSOatscc(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/AUTHORatsopt 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). February 22, 2010 atsopt(1)
Related Man Pages |
---|
kwstyle(1) - debian |
atscc(1) - debian |
shelltest(1) - debian |
specrb(1) - debian |
wibble-test-genrunner(1) - debian |
Similar Topics in the Unix Linux Community |
---|
string test? |
64 bit file using gcc |
bash: reading filenames from file |
SDL error with the version |
Syntax for output filenames |