Commit 35448688 authored by Michael Schmidt's avatar Michael Schmidt
Browse files

Update man page for new Diab target option

parent d674e0f9
......@@ -55,6 +55,14 @@ Read CompCert configuration from <file>. This takes precedence over any other sp
Read CompCert configuration from <triple>.ini instead of using the default of compcert.ini.
The configuration file is searched for in the share directory of the CompCert installation.
.
.SS
Toolchain Options (PowerPC with Diab Backend)
.TP
.B \-t <tof>:<env>
Select target for Diab toolchain. The option is forwarded to the Diab toolchain and has no effect on the code generated by CompCert.
<tof> denotes the \fIt\fParget processor, \fIo\fPbject file format and \fIf\fPloating point support.
<env> denotes the execution \fIenv\fPironment.
.
.SS Processing Options
.INDENT 0.0
.
......@@ -204,12 +212,6 @@ The default is 8 bytes.
Set maximal size for allocation in small data area to <n> bytes.
The default is 8 bytes.
.
.TP
.B \-t <tof>:<env>
Select target architecture, passed through to Diab toolchain.
<tof> denotes the \fIt\fParget processor, \fIo\fPbject file format and \fIf\fPloating point support.
<env> denotes the execution \fIenv\fPironment.
.
.SS
Code Generation Options (ARM Targets)
.INDENT 0.0
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment