From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 479897F778 for ; Fri, 13 May 2016 10:51:07 +0200 (CEST) IronPort-PHdr: 9a23:MXORWREDns/sUzf6/CKUwp1GYnF86YWxBRYc798ds5kLTJ75rsSwAkXT6L1XgUPTWs2DsrQf27uQ6fmrATZIyK3CmU5BWaQEbwUCh8QSkl5oK+++Imq/EsTXaTcnFt9JTl5v8iLzG0FUHMHjew+a+SXqvnYsExnyfTB4Ov7yUtaLyZ/nhqbootaLOU1hv3mUX/BbFF2OtwLft80b08NJC50a7V/3mEZOYPlc3mhyJFiezF7W78a0+4N/oWwL46pyv+YJa6jxfrw5QLpEF3xmdjltvIy4/SXEGC2O4mBUeGgdkRdSS1zD7RXhGJ38uSj3rMJ32S6DIMTwUfYpXzXn76pqRBLsgiodOHg1/TeEpNZ3ifd+qQii7yd/wojLbYWRfK57ZaPce8wXQW5pXM9XWjddGI6xc80ECO9XbrUQlJX0u1Zb9Uj2PgKrHu66j2YQ3nI= Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=mshinwell@janestreet.com; spf=Pass smtp.mailfrom=mshinwell@janestreet.com; spf=None smtp.helo=postmaster@mxout3.mail.janestreet.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of mshinwell@janestreet.com) identity=pra; client-ip=38.105.200.229; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="mshinwell@janestreet.com"; x-sender="mshinwell@janestreet.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of mshinwell@janestreet.com designates 38.105.200.229 as permitted sender) identity=mailfrom; client-ip=38.105.200.229; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="mshinwell@janestreet.com"; x-sender="mshinwell@janestreet.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mxout3.mail.janestreet.com) identity=helo; client-ip=38.105.200.229; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="mshinwell@janestreet.com"; x-sender="postmaster@mxout3.mail.janestreet.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0BkAAAglDVXiuXIaSZehQsGuVIBDYF2hhQCgSkHOBQBAQEBAQEBAREBAQEIFglQgi2CFgEBBBIRHQEBNwEPCwsNAgImAgIiEgEFARwGEyKIDQOgK4ExPjGKVGeEQQEBBYwxAQEBAQEFAQEBAQEBGQgQcYUkhE2HP4JZmCyOHo8ZjgMSHoEOHgEBgjoegVZtAYhZAQEB X-IPAS-Result: A0BkAAAglDVXiuXIaSZehQsGuVIBDYF2hhQCgSkHOBQBAQEBAQEBAREBAQEIFglQgi2CFgEBBBIRHQEBNwEPCwsNAgImAgIiEgEFARwGEyKIDQOgK4ExPjGKVGeEQQEBBYwxAQEBAQEFAQEBAQEBGQgQcYUkhE2HP4JZmCyOHo8ZjgMSHoEOHgEBgjoegVZtAYhZAQEB X-IronPort-AV: E=Sophos;i="5.24,613,1454972400"; d="scan'208";a="218136101" Received: from mxout3.mail.janestreet.com ([38.105.200.229]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 13 May 2016 10:51:06 +0200 Received: from tot-qpr-mailcore1.delacy.com ([172.27.56.68] helo=tot-qpr-mailcore1) by mxout3.mail.janestreet.com with esmtps (TLSv1:DHE-RSA-AES256-SHA:256) (Exim 4.82) (envelope-from ) id 1b18oL-0003R1-Qc for caml-list@inria.fr; Fri, 13 May 2016 04:51:05 -0400 X-JS-Flow: external Received: by tot-qpr-mailcore1 with JS-mailcore (0.1) (envelope-from ) id BXNZV5-AAAEC8-X3; 2016-05-13 04:51:05.764633-04:00 Received: from mail-vk0-f69.google.com ([209.85.213.69]) by mxgoog1.mail.janestreet.com with esmtps (UNKNOWN:AES128-GCM-SHA256:128) (Exim 4.72) (envelope-from ) id 1b18oL-0003Mv-MB for caml-list@inria.fr; Fri, 13 May 2016 04:51:05 -0400 Received: by mail-vk0-f69.google.com with SMTP id d66so207519315vkb.0 for ; Fri, 13 May 2016 01:51:05 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=janestreet.com; s=google; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc; bh=Oex1/hq0GhRAtWhB7uuWz6j86AMcZBO5FSfKfWIXn3c=; b=gsqR10Mc1Xkv9l8lgfua0Y9r+NAPtl0Sb30qoL00jbbirYnZPZ9Rlk1qbHhHJeQyrt ZwQv9kPx+A9r3+hVJguTmGIqTxJWg5wOSKDOi9YM1Us115jHq7enD2W3gjhXIyJ9Mked Kx4ndMosu1pg6oo5VytmbwI7qoDJeWfipz4AE= X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:in-reply-to:references:date :message-id:subject:from:to:cc; bh=Oex1/hq0GhRAtWhB7uuWz6j86AMcZBO5FSfKfWIXn3c=; b=giY54xaRdbCW4Abjdbiex2xgkoxk4AN/BUggRnkwifuog8ST/QUUFbIUpwfb92rRgU smPhVeO1T9bJcXEi4PhTpgAoV8X/ZNz+5jTFmGiLyBlKhPjAS++2P8gOD+VixfkkVrHS aIfTmaN7hiW92J4SpoVbm7g8zy0X/QRFdBacsLnrqEqTITN3vj+xnA+3YjGOTBEAsecJ WkShWNe4U7EF0gHP+1Fg/e3ZB7DeJJYONYUy8a9VMl09qop+JaM1CkLR2IUwrN03csTq KPptb1sb65Pny4lp4v3t65KdU7tbO8XsAOcFnFphlfQPwTVnT/my5yarmkluzTKZkU3Q 9Isw== X-Gm-Message-State: AOPr4FUpqOR3cXmSW5wD3QL5pBdYZ/GI/5RHrN47uxuT4p9XVdhfr0mYA1rA6LJ/jagQpihqn4u3Vdx3EfKF697UulB6eipdEd8vmznf77K6cgJcfUEWYaf43hirxkci8TI/Qrw1x8C2IHrqXnzKQ/AeuvKuji28/2/nHrJl/Wc= X-Received: by 10.176.69.134 with SMTP id u6mr7031168uau.145.1463129465416; Fri, 13 May 2016 01:51:05 -0700 (PDT) MIME-Version: 1.0 X-Received: by 10.176.69.134 with SMTP id u6mr7031161uau.145.1463129465279; Fri, 13 May 2016 01:51:05 -0700 (PDT) Received: by 10.103.84.67 with HTTP; Fri, 13 May 2016 01:51:05 -0700 (PDT) In-Reply-To: <57359184.4060307@bioquant.uni-heidelberg.de> References: <5734DFBF.8070202@bioquant.uni-heidelberg.de> <57359184.4060307@bioquant.uni-heidelberg.de> Date: Fri, 13 May 2016 09:51:05 +0100 Message-ID: From:Mark Shinwell To:Nils Becker Cc:Gabriel Scherer , caml users Content-Type: text/plain; charset=UTF-8 X-JS-Processed-by: mailcore X-Validation-by: mshinwell@janestreet.com Subject: Re: [Caml-list] flambda optimization settings 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 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?