Re: [Caml-list] flambda optimization settings

[Mark Shinwell <mshinwell@janestreet.com>]

When you say "precompiled binary", do you mean the other .cmx files?
As in, someone gives you a precompiled .cmx file, and you want to
ensure it was compiled with -O3?  If so, I don't believe there's any
way of doing that at the moment.  (At Jane Street we use a separate
module linked into all executables that records certain settings like
that so they can be printed using -version.)

Mark

On 13 May 2016 at 09:34, Nils Becker
<nils.becker@bioquant.uni-heidelberg.de> wrote:
> thanks mark,
>
>> At present the optimisation flags such as -O3 only need to be
>> specified when compilation (rather than linking) is occurring.  So if
>> your link command only lists previously-compiled files, there is no
>> need to specify such options.
>
> my question was more: let's say i want the best possible performance.
> can i make sure that the precompiled library i am linking with is using
> -O3 ? does that make sense?