diff options
-rw-r--r-- | doc/ccomp.1 | 14 |
1 files changed, 8 insertions, 6 deletions
diff --git a/doc/ccomp.1 b/doc/ccomp.1 index 6f9d51d9..29b07af3 100644 --- a/doc/ccomp.1 +++ b/doc/ccomp.1 @@ -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 |