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 68D6F7F778 for ; Fri, 13 May 2016 10:32:01 +0200 (CEST) IronPort-PHdr: 9a23:uLhA8hPi/t9mNegc2Y8l6mtUPXoX/o7sNwtQ0KIMzox0Kfz7rarrMEGX3/hxlliBBdydsKIVzbCO+Pm6ASQp2tWojjMrSNR0TRgLiMEbzUQLIfWuLgnFFsPsdDEwB89YVVVorDmROElRH9viNRWJ+iXhpQAbFhi3DwdpPOO9QteU1JTmkbrqsMSJO01hv3mUX/BbFF2OtwLft80b08NJC50a7V/3mEZOYPlc3mhyJFiezF7W78a0+4N/oWwL46pyv+YJa6jxfrw5QLpEF3xmdjltvIy4/SXEGC6G/HhUaWUXlAVFBwyNuBThXpb3rSb+ssJ/0S+XJtHsQL0oHz+l6vE4ZgXvjXIhNjoiuEvagc99luoPphOlvFp1zoXXbZu9Pvt5Z77Ue89cWGxAG8ZcViBMBomxdYRJA+dXbrUQlJX0u1Zb9Uj2PgKrHu66j2YQ3nI= Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=nils.becker@bioquant.uni-heidelberg.de; spf=None smtp.mailfrom=nils.becker@bioquant.uni-heidelberg.de; spf=None smtp.helo=postmaster@relay2.uni-heidelberg.de Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of nils.becker@bioquant.uni-heidelberg.de) identity=pra; client-ip=129.206.119.212; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="nils.becker@bioquant.uni-heidelberg.de"; x-sender="nils.becker@bioquant.uni-heidelberg.de"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of nils.becker@bioquant.uni-heidelberg.de) identity=mailfrom; client-ip=129.206.119.212; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="nils.becker@bioquant.uni-heidelberg.de"; x-sender="nils.becker@bioquant.uni-heidelberg.de"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@relay2.uni-heidelberg.de) identity=helo; client-ip=129.206.119.212; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="nils.becker@bioquant.uni-heidelberg.de"; x-sender="postmaster@relay2.uni-heidelberg.de"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0CCAACjjzVXkNR3zoFevmMOgXaGFAKBMDgUAQEBAQEBAQERAQEBAQkLCQkhL4ItghYBAQMBeAEFCwsOExYPCQMCAQIBRQYNCAEBiCMIvnMBAQEHAQEBARUOhiWETYoYBZgngVaBU4FoimABh2eFXo9BHgGCWYFXiUYBAQE X-IPAS-Result: A0CCAACjjzVXkNR3zoFevmMOgXaGFAKBMDgUAQEBAQEBAQERAQEBAQkLCQkhL4ItghYBAQMBeAEFCwsOExYPCQMCAQIBRQYNCAEBiCMIvnMBAQEHAQEBARUOhiWETYoYBZgngVaBU4FoimABh2eFXo9BHgGCWYFXiUYBAQE X-IronPort-AV: E=Sophos;i="5.24,613,1454972400"; d="asc'?scan'208";a="218132755" Received: from relay2.uni-heidelberg.de ([129.206.119.212]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 13 May 2016 10:32:00 +0200 Received: from ix.urz.uni-heidelberg.de (cyrus-portal01.urz.uni-heidelberg.de [129.206.100.176]) by relay2.uni-heidelberg.de (8.13.8/8.13.8) with ESMTP id u4D8VwaG027290; Fri, 13 May 2016 10:31:59 +0200 Received: from extmail.urz.uni-heidelberg.de (extmail.urz.uni-heidelberg.de [129.206.100.140]) by ix.urz.uni-heidelberg.de (Postfix) with ESMTPS id 9C312223441A; Fri, 13 May 2016 10:31:58 +0200 (CEST) Received: from bqdyn253_067.bioquant.uni-heidelberg.de (bqdyn253_067.bioquant.uni-heidelberg.de [129.206.253.147]) (authenticated bits=0) by extmail.urz.uni-heidelberg.de (8.13.4/8.13.1) with ESMTP id u4D8Vv1k018917 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES128-SHA bits=128 verify=NO); Fri, 13 May 2016 10:31:58 +0200 To: Mark Shinwell References: <5734DFBF.8070202@bioquant.uni-heidelberg.de> Cc: Gabriel Scherer , caml users From: Nils Becker Openpgp: id=27B50CBB3D956B48DA70CD65E5F7B8C9F0A5C638; url=pool.sks-keyservers.net Message-ID: <57359184.4060307@bioquant.uni-heidelberg.de> Date: Fri, 13 May 2016 10:34:12 +0200 User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.11; rv:38.0) Gecko/20100101 Thunderbird/38.7.2 MIME-Version: 1.0 In-Reply-To: Content-Type: multipart/mixed; boundary="------------060907030700090203020201" X-Validation-by: nils.becker@bioquant.uni-heidelberg.de Subject: Re: [Caml-list] flambda optimization settings This is a multi-part message in MIME format. --------------060907030700090203020201 Content-Type: text/plain; charset=windows-1252 Content-Transfer-Encoding: 7bit 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? --------------060907030700090203020201 Content-Type: application/pgp-keys; name="0xF0A5C638.asc" Content-Transfer-Encoding: 7bit Content-Disposition: attachment; filename="0xF0A5C638.asc" -----BEGIN PGP PUBLIC KEY BLOCK----- Comment: GPGTools - https://gpgtools.org mQENBFF1P80BCADdAuC23pvzGxUk7QlPdnT2yicvWGrQgI6pw3lhZ+aGdKa2lw67 0+DQLDl47h0VlrAIw7oSMf0GEV30ZyNYNyHODxxXsaq+AXmMy5XYqdNHXvaGxZ7w Tqyde5Cuk1KIUVwht2OfZNsL8kl2x2s6Ybe6jClIa5Dgwpg9pkfEys0AOVJBM0Q+ +3vaP6CNQS95DzRLlx5VDHL6oBGxoFv1D3vBjG39mK4vr/kq2srVDP5kY/e9u+/f Q9SB53jwYA19pC1d9eQ0HVYaHOsQvo9bLxqj5LGpF8zFqS2u6vSrRqbblTYUPqEL UMahTiKi3UuJWzFePGtPM/VILBr2gXgrLI33ABEBAAG0IU5pbHMgQmVja2VyIDxi ZWNrZXIubmlsc0BnbXgubmV0PokBPQQTAQoAJwUCUXU/zQIbLwUJB4YfgAULCQgH AwUVCgkICwUWAgMBAAIeAQIXgAAKCRDl97jJ8KXGOPguB/4/1X6sCQq+EkS4aoS6 u8b46ywdE8yvZQC2ozr/ni4o+ZmFH9z72/4NMVHKVcQcNl+trximLVXmXnHvLtxY Cb0sI6Z7ndxpepmv2m31wbtgg1PCDR4tdELaNEj0ZWCfUzG3QYCqqpoXeuOLhBv+ 8g+2Fan5PRkjetG5bP05mwCj3dBH48CrKR03fc3xQO5hacw+bccLRm5Uh/r2ZPjV XIN+GHHEY7/EUJLc8M0BBSvpfpLHVJH55xReBwbZmIVihHmrYVl39CLp5jvfuF2d IzaBPdLRGA1yDQTSNtDXMWWmYebHV6DQSbY/zbM+ZziTEdnJfQbc5XqvhSysv19k tZuctDROaWxzIEJlY2tlciA8bmlscy5iZWNrZXJAYmlvcXVhbnQudW5pLWhlaWRl bGJlcmcuZGU+iQE+BBMBAgAoBQJRzb80AhsvBQkHhh+ABgsJCAcDAgYVCAIJCgsE FgIDAQIeAQIXgAAKCRDl97jJ8KXGOGxxB/42zW8lFnN95cMNSbekDF1AqC2X7tXB k3p3xMe2SreoB2z6u1zTfcqDlic8nXw7hJ1znkX/boQV5XaneILHsX4MctYjv69b duleNDUCmSeKam6ALoWalVwzkm+tqZNoiArLVHzJKwNttUyNe6/QCb7YtndhXUf5 RKVdvfH+vr3NdzyD4kqLEpDdxMqjYRtj2nw+gdhx0/aN9UuM7FOnsbsxPqyt5YnX JIRb4Nlrl73TDJvaiNcaTc8ovpJBTFPTPBbLrkvAtaFgRDP0+2mOq/85u0Z9qCZj mSD7wvA8AFQdzAR8WyRNSe1n5hMOcV8RBTP/Ak2BzgVeNICNdCnrG2RbuQENBFF1 P80BCADAT9/nHIAOShwcUa74tgRhHTmm+wGfCZN7PVXe6/KXVUy+Dk/GHrJWAufM BJ0t2C4djUtwYuqO4hBujkPTp6vnH8XCnDDpKFBb437tZKAafZTSMUay13LWxt/F WJwIk8vjVPY47iQjx6DpJZB1l7jKKsNoYZs6QBQuS4cQTbRbk4QKvlbZSsxVh5mZ nawRHdRmKhHQ+vDy6QZbh+Tgwhc2w2Dwl3D9I6FiXEKDDLLD4hI5e6r9vuAMRj/M 5vk6KRBYsncAfY/o3djmqi78b7ITRYeAjrmeE5xppliONw9B4ziknFjcGoMu96RP mkzCgNuT+uqvigeKux+ns1fQRENNABEBAAGJAkQEGAEKAA8FAlF1P80CGy4FCQeG H4ABKQkQ5fe4yfClxjjAXSAEGQEKAAYFAlF1P80ACgkQg+nyNi16oR6RdQf9Env3 0mUHfVO0/J4UqMSHehSEqyDvb6TUqwrY4Aa3CgVA+pM8P1moZugANmKrfG6u6okj pu8oQQP/IRBGjOhxmRXxQKnWokyP4185kzFIw+OvvZDi8/MrTV5IuiTcTjARPMnu mJ2OEz6lmNZ2SUyPYzzcefmSQJDQqradt/6xHuqsOzxxCscPpNejJQ3d0uncZkun GXgathRxfGDHP2Ys36mtJm/O9e04jUrI02kiaaLtFQj0ju+1WLtQ4gq5e87cDqZX 0um5hix+FNFDWqxcShj6gNWUjTnuHF3dr49zA9sM9x7LdsGQLksXde/FO1iCm36Y tyx1+SXj7iD3YZpaLtUCCACdVAKmcZc6qZ7/fT/w0R+WsiTBQVBVgA4bzUYpGITS CXk1Dq0dMCO36o6ug4ic3Oc0E/0UnpZ6QaWo8etSrwlhKJZvNp1hPzhDyR+ilQA9 0488vsTxVXlufnbvcS1u1K68rbn2xi9JiOAaHva1MoJuSl7hTcvTcLpVwirXXO8x MEWgVh6LBV3yZQTvmJS6CJWTNQ1y3CH0Zjb9T5AofQHF9cFo7BZikQfmtzNOdvol wl6JDP1kkHTvkAwlnCRWcoFLHnTwPO3bgSZLOX17yLMOQltXTEw8BMq/NwP2tDp0 NwYoQhjeKVYFcDWs7veJBvcBnSTydhtsRdbUiAJE1GmK =H6Tn -----END PGP PUBLIC KEY BLOCK----- --------------060907030700090203020201--