diff options
author | Michael Schmidt <github@mschmidt.me> | 2018-01-08 13:37:23 +0100 |
---|---|---|
committer | Michael Schmidt <github@mschmidt.me> | 2018-01-08 13:37:23 +0100 |
commit | 35448688e67e97e27f09c5c79b1e11f98430eb18 (patch) | |
tree | 0ddf7c582591a720a84943373c40897b33dfd1fd | |
parent | d674e0f9597dd9db71ae56f6e99cde589146633c (diff) | |
download | compcert-35448688e67e97e27f09c5c79b1e11f98430eb18.tar.gz compcert-35448688e67e97e27f09c5c79b1e11f98430eb18.zip |
Update man page for new Diab target option
-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 |