diff options
| author | Gabriel Scherer <gabriel.scherer@gmail.com> | 2014-04-12 10:52:50 +0000 |
|---|---|---|
| committer | Gabriel Scherer <gabriel.scherer@gmail.com> | 2014-04-12 10:52:50 +0000 |
| commit | fa87e79a7bdc3bbb3ee9826e9f1ea94f6eb6fd66 (patch) | |
| tree | 5b0ebd49a6666f9c8aa7f94c99bf35c4ff6ab514 /man | |
| parent | c91731e3de46eff167f0aa19e2fd633d23825d05 (diff) | |
| download | ocaml-fa87e79a7bdc3bbb3ee9826e9f1ea94f6eb6fd66.tar.gz | |
man/ocamlopt.m: document the Arm-specific command-line options
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14584 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'man')
| -rw-r--r-- | man/ocamlopt.m | 35 |
1 files changed, 35 insertions, 0 deletions
diff --git a/man/ocamlopt.m b/man/ocamlopt.m index d00cbf99d2..766d2a4c6b 100644 --- a/man/ocamlopt.m +++ b/man/ocamlopt.m @@ -631,6 +631,41 @@ Generate SPARC version 9 code. The default is to generate code for SPARC version 7, which runs on all SPARC processors. +.SH OPTIONS FOR THE ARM ARCHITECTURE +The ARM code generator supports the following additional options: +.TP +.B \-farch=armv4|armv5|armv5te|armv6|armv6t2|armv7 +Select the ARM target architecture +.TP +.B \-ffpu=soft|vfpv2|vfpv3\-d16|vfpv3 +Select the floating-point hardware +.TP +.B \-fPIC +Generate position-independent machine code. +.TP +.B \-fno\-PIC +Generate position-dependent machine code. This is the default. +.TP +.B \-fthumb +Enable Thumb/Thumb-2 code generation +.TP +.B \-fno\-thumb +Disable Thumb/Thumb-2 code generation +.P +The default values for target architecture, floating-point hardware +and thumb usage were selected at configure-time when building +.BR ocamlopt +itself. This configuration can be inspected using +.BR ocamlopt +.BR \-config . +Target architecture depends on the "model" setting, while +floating-point hardware and thumb support are determined from the ABI +setting in "system" ( +.BR linux_eabi +or +.BR linux_eabihf +). + .SH SEE ALSO .BR ocamlc (1). .br |