The -ffpu ocamlopt option does not actually work

[vicuna]

Original bug ID: 6780
Reporter: @whitequark
Status: closed (set by @xavierleroy on 2017-02-16T14:18:31Z)
Resolution: fixed
Priority: normal
Severity: minor
Platform: ARM
Target version: 4.03.0+dev / +beta1
Fixed in version: 4.03.0+dev / +beta1
Category: ~DO NOT USE (was: OCaml general)

Bug description

The following happens:

$ ~/.opam/4.02.1+32bit/arm-linux-androideabi/bin/ocamlopt -ffpu vfp3 -o power.native power.ml
/home/whitequark/.opam/4.02.1+32bit/arm-linux-androideabi/bin/ocamlopt: vfp3.
Usage: ocamlopt
[usage message]

[vicuna]

Comment author: @whitequark

Oh, I just realized that this is how it reports an error in case of an invalid choice. That's an astoundingly bad error "message".

[vicuna]

Comment author: @whitequark

Also, a wish: be able to set ABI (linux_eabi/linux_eabihf mainly) along with architecture and FPU type. Currently you can not switch to softfloat without recompiling the whole compiler, and vice versa.

[vicuna]

Comment author: @damiendoligez

We definitely need better error messages for -farch and -ffpu.

For choosing the ABI from the command line, I don't know enough about ARM to tell whether it's easy to do.

[vicuna]

Comment author: @whitequark

It does not significantly differ from choosing arch or cpu. Just needs some minor refactoring in arch.ml (I think)

[vicuna]

Comment author: @xavierleroy

Error message improved, commit [trunk 9d78aa7].

Choosing the ABI on the command-line is currently impossible, because you would need different versions of the run-time system to be installed.