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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 04CE47F98F for ; Sat, 22 Jul 2017 09:28:38 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=gabriel.scherer@gmail.com; spf=Pass smtp.mailfrom=gabriel.scherer@gmail.com; spf=None smtp.helo=postmaster@mail-io0-f172.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of gabriel.scherer@gmail.com) identity=pra; client-ip=209.85.223.172; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of gabriel.scherer@gmail.com designates 209.85.223.172 as permitted sender) identity=mailfrom; client-ip=209.85.223.172; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-io0-f172.google.com) identity=helo; client-ip=209.85.223.172; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="postmaster@mail-io0-f172.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AeJs8zh3zMCcPvWPHsmDT+DRfVm0co7zxezQtwd8Z?= =?us-ascii?q?seMVKfad9pjvdHbS+e9qxAeQG96Ku7Qc06L/iOPJYSQ4+5GPsXQPItRndiQuro?= =?us-ascii?q?EopTEmG9OPEkbhLfTnPGQQFcVGU0J5rTngaRAGUMnxaEfPrXKs8DUcBgvwNRZv?= =?us-ascii?q?JuTyB4Xek9m72/q89pDXYAhEniaxba9vJxiqsAvdsdUbj5F/Iagr0BvJpXVIe+?= =?us-ascii?q?VSxWx2IF+Yggjx6MSt8pN96ipco/0u+dJOXqX8ZKQ4UKdXDC86PGAv5c3krgfM?= =?us-ascii?q?QA2S7XYBSGoWkx5IAw/Y7BHmW5r6ryX3uvZh1CScIMb7Vq4/Vyi84Kh3SR/okC?= =?us-ascii?q?YHOCA/8GHLkcx7kaZXrAu8qxBj34LYZYeYO/1jcKPAZtMaXXROUdpNVyJPBYO8?= =?us-ascii?q?apEAD+sHPe1Fq4XwqF8DoR64CAKxBu3g1yVIi2f00q000+ovHwLI0hE+Ed0Sv3?= =?us-ascii?q?rZt8n1NL4IXOyp0KXE0TfOYvVL0jn98ojIdRUhrOmNU71qasXR00gvGB3Bjl6N?= =?us-ascii?q?tILqIzOV2foXs2eF9eprSOWii2E9pA5quDivx9kjio3TioIO1l/E9Tt2wJwrKt?= =?us-ascii?q?2iU0N7btukH4FRtyGeLYd5XsQiQ2RxtSs817YIt5m7fC0Qx5QmwR7Sc/uHfJSS?= =?us-ascii?q?7RLmUOadOzB4hGhqeL6nhhay91KgyuzmWcWu3lZKtDJJktbNtnAR1xzT99OIRu?= =?us-ascii?q?Fh8Uem3DaDzwDS5ftEIUAzkqrXMYIuwrk1lpcVrE/NHTf2lV3ogKOKckgo4Oul?= =?us-ascii?q?5uT9brn4uJOROZV4hhz8P6gwnMG0HP42PRIUX2eB/OSxzL3j8lP9QLVNlvA2l7?= =?us-ascii?q?PWsJHeJcgCp665BBNZ3p8t6xqiDTqqzs4UnXYALFJCdxKHi5bmN0vSL/D/CPez?= =?us-ascii?q?m1WskDF1yPDaJrDtHInBI3zZnLrifbtx8VBQxBQ9wNxF+p5ZCK8NLOr2WkDrtd?= =?us-ascii?q?zYChE5Mxazw+biENh92ZkRVnmVAq+YLqzStUWE5vkzLOmMeoAVoijyK+I+6v7h?= =?us-ascii?q?iH82g14dfa2z0ZQLb3C4G+xqI1+Fbnr0ntcBDWAKsxIiQ+PwjV2CVSdfZ3KzX6?= =?us-ascii?q?In+jE2E5mmDIfGRoC1mrONxia7HptMZmBHEF+AC3nod5/XE8sLPQ6bPM5tpRkp?= =?us-ascii?q?c4Sb6sd12RSjshPgxpJjL+zJ6mgWr5vl39Uz4Pfcw0Ic7ztxWuuU2XuMQmU8pW?= =?us-ascii?q?gISiU7xugrrkV30FaO1e5jiPxVD9FJz/xMWwY+c5XbyropWJjJRgvdc4LRGx6d?= =?us-ascii?q?SdK8DGR0E4s8?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0D2AQAr/nJZhqzfVdFdHAEBBAEBCgEBF?= =?us-ascii?q?wEBBAEBCgEBg1Q/gRQHn0wfgkKGXY54LoUZAoN3B0IVAQEBAQEBAQEBAQESAQE?= =?us-ascii?q?BCAsLCCgvgjMkgkIBAgMjHQEbEgsBAwwGBQsNAgIJHQICIgERAQUBChIGEwgKi?= =?us-ascii?q?gQBAxUQoD0/jAqCBAUBHIMIBYNZChknAwpWgx8BAQEBAQUBAQEBHAIGEnmCHYN?= =?us-ascii?q?NgWGDJIRrgxOCYQWHfgyJGI4rgiaFJoxQgmOPVJBxgysUH4EVNYEsMSEjXggSg?= =?us-ascii?q?WGDCR8lgVA+NgGJXwEBAQ?= X-IPAS-Result: =?us-ascii?q?A0D2AQAr/nJZhqzfVdFdHAEBBAEBCgEBFwEBBAEBCgEBg1Q?= =?us-ascii?q?/gRQHn0wfgkKGXY54LoUZAoN3B0IVAQEBAQEBAQEBAQESAQEBCAsLCCgvgjMkg?= =?us-ascii?q?kIBAgMjHQEbEgsBAwwGBQsNAgIJHQICIgERAQUBChIGEwgKigQBAxUQoD0/jAq?= =?us-ascii?q?CBAUBHIMIBYNZChknAwpWgx8BAQEBAQUBAQEBHAIGEnmCHYNNgWGDJIRrgxOCY?= =?us-ascii?q?QWHfgyJGI4rgiaFJoxQgmOPVJBxgysUH4EVNYEsMSEjXggSgWGDCR8lgVA+NgG?= =?us-ascii?q?JXwEBAQ?= X-IronPort-AV: E=Sophos;i="5.40,394,1496095200"; d="scan'208";a="232433460" Received: from mail-io0-f172.google.com ([209.85.223.172]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 22 Jul 2017 09:28:36 +0200 Received: by mail-io0-f172.google.com with SMTP id g13so29091905ioj.5 for ; Sat, 22 Jul 2017 00:28:36 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc:content-transfer-encoding; bh=UJoFGLF0TiSAbdlIKvuquAG8dEwbr9D79dDI/OXnVcQ=; b=fL/q/aKmoEGK7xls3Eu5xW7ndEGJaQcGIQqYYGLlELzdrsdKD8/shzo0VNWLVvg/eF KLSxOrSBbURtkz74fmR0Iu2B66UGdICpf6PAiTbvPjCb6HRxcwBZUIHEj2hqPWvEjsrC hRr6PhQ2lPIRi/qrsnTVMAjzoXC4ZOy2Vhb5qL+VRFeNGC0VPUdpGdKIvld8IdDrX7LK JenjHD71AYuOMtFgnAvKUUy919fdkMWu+/Woq9nQvMG6OFx0qteqPBKk+hnO65+SOhO/ A3I85+Ph5b34PonKxHK+KVnNU56H3AQgzgBhKYcvjJjqhTqrJvUvfcHE2gZB16GGp590 N9Qw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:in-reply-to:references:from:date :message-id:subject:to:cc:content-transfer-encoding; bh=UJoFGLF0TiSAbdlIKvuquAG8dEwbr9D79dDI/OXnVcQ=; b=PeG3C3vesJ9ykkCDhg9+v5nqZO6//ypQHzfCd9UMfP8h6S2+aVLwnrtyY2xOvMggW2 VEEpyApbYhT5VLEigzS2IndyFclhXZ8+ltWIRwADtqT/KbI1n1d+C+lizlfBPu1NC68G 7xfISTUF1u279x82pQWCUDCtsvBvUqM1pS4eTu3w3MVQjRAk2xiqarppipF7I6g7XuCe oRW5H3jdK1JwZ6Epc4h45jmxId3I59oDD4YVscR0eK5Yov2wDMzHXAraPYmHmyJ4nmnP ceHrjlbrLrJCrptJArX1re91jDiNkDXNjSkRZ2t6q/qeWTbmvkaIAFLq415Rq2HKan4h mGBQ== X-Gm-Message-State: AIVw113h/vBOBw1vITRw1EOfDPm/ilwp9HwOQbZH/TahASlcpOTPxgcA u3hUwGisGv6Gj4cIMoFJOd8gOgZZk/13 X-Received: by 10.107.175.167 with SMTP id p39mr423546ioo.83.1500708515334; Sat, 22 Jul 2017 00:28:35 -0700 (PDT) MIME-Version: 1.0 Received: by 10.79.7.6 with HTTP; Sat, 22 Jul 2017 00:27:54 -0700 (PDT) In-Reply-To: <7b66ec99-4a69-a5b3-1c88-8f2759583941@linux-france.org> References: <0ea087b1-7267-eee6-3dd5-55a760d8f4cd@inria.fr> <7b66ec99-4a69-a5b3-1c88-8f2759583941@linux-france.org> From: Gabriel Scherer Date: Sat, 22 Jul 2017 09:27:54 +0200 Message-ID: To: =?UTF-8?Q?David_MENTR=C3=89?= Cc: caml users Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Subject: Re: [Caml-list] [IMPORTANT] Intel Skylake / Kaby Lake hardware bug affects OCaml programs You can install a new switch from an arbitrary OCaml distribution source (with arbitrary configure options) using my convenience script: https://github.com/gasche/opam-compiler-conf (You could also set up a local opam repository, and create a new switch there with extra configure options. This could be nicer if you plan to apply the changes to several different machines.) Then you can replicate the installed packages of an other switch by using "opam switch {export,import}": https://opam.ocaml.org/doc/FAQ.html#CanIgetanewswitchwiththesamepackagesi= nstalled On Fri, Jul 21, 2017 at 3:00 PM, David MENTR=C3=89 wrote: > Hello, > > Le 2017-06-30 =C3=A0 15:51, Xavier Leroy a =C3=A9crit : >> - Reinstall OCaml using clang instead of GCC. > > Is there an easy way to that with opam, assuming opam is already > installed with a set of packages? > > I looked in the OPAM's FAQ but found nothing up to now. > > Best regards, > david > > -- > Caml-list mailing list. Subscription management and archives: > https://sympa.inria.fr/sympa/arc/caml-list > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs