1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
|
.\" 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 atsopt 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
atsopt \- ATS to C compiler
.SH SYNOPSIS
.B atsopt
.RI <command> ...
.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 atsopt
is the compiler from ATS to C. It is most commonly invoked by
.B atscc
which is the preferred frontend for compiling ATS code.
.SH COMMANDS
.B atsopt
takes a number of commands with parameters to determine its behavior:
.TP
.B \-d, \-\-dynamic <filenames>
Dynamically load the filenames.
.TP
.B \-\-debug=1
Enable generation of debugging information.
.TP
.B \-dep, \-\-depgen
Generate dependency lists.
.TP
.B \-h, \-\-help
Print the usage information.
.TP
.B \-o, \-\-output <filename>
Specify the output filename.
.TP
.B \-\-posmark_html
Generate an HTML file with colored concrete syntax.
.TP
.B \-\-posmark_xref
Generate an HTML file with syntactic cross-references.
.TP
.B \-s, \-\-static <filenames>
Statically load the filenames.
.TP
.B \-tc, \-\-typecheck
Typecheck the given ATS source files, but go no further.
.TP
.B \-v, \-\-version
Show ATS/Anairiats version and gcc version.
.SH EXAMPLES
.PP
.B atsopt -o test.c -d test.dats
.PP
Compile test.dats to a C file.
.PP
.B atsopt -tc -d test.dats
.PP
Typecheck test.dats only.
.PP
.B atsopt -o test.html -d test.dats --posmark_html
.PP
Write a syntax colored version of test.dats.
.SH SEE ALSO
.BR atscc (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
atsopt 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).
|
