From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <dmentre@linux-france.org>
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 50499800FC
	for <caml-list@sympa.inria.fr>; Fri, 21 Jul 2017 15:00:12 +0200 (CEST)
Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=dmentre@linux-france.org; spf=None smtp.mailfrom=dmentre@linux-france.org; spf=None smtp.helo=postmaster@tempura.bentobako.org
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  dmentre@linux-france.org) identity=pra;
  client-ip=94.23.39.64;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="dmentre@linux-france.org";
  x-sender="dmentre@linux-france.org";
  x-conformance=sidf_compatible
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  dmentre@linux-france.org) identity=mailfrom;
  client-ip=94.23.39.64;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="dmentre@linux-france.org";
  x-sender="dmentre@linux-france.org";
  x-conformance=sidf_compatible
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@tempura.bentobako.org) identity=helo;
  client-ip=94.23.39.64;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="dmentre@linux-france.org";
  x-sender="postmaster@tempura.bentobako.org";
  x-conformance=sidf_compatible
IronPort-PHdr: =?us-ascii?q?9a23=3AtCm7bhQi1LQ7idNtq0chRXBVMNpsv+yvbD5Q0YIu?=
 =?us-ascii?q?jvd0So/mwa69ZxCN2/xhgRfzUJnB7Loc0qyN4vCmATRIyK3CmUhKSIZLWR4BhJ?=
 =?us-ascii?q?detC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TW94jEIBxrwKxd+?=
 =?us-ascii?q?KPjrFY7OlcS30P2594HObwlSijewZbB/IA+qoQnNq8IbnZZsJqEtxxXTv3BGYf?=
 =?us-ascii?q?5WxWRmJVKSmxbz+MK994N9/ipTpvws6ddOXb31cKokQ7NYCi8mM30u683wqRbD?=
 =?us-ascii?q?VwqP6WACXWgQjxFFHhLK7BD+Xpf2ryv6qu9w0zSUMMHqUbw5Xymp4qF2QxHqlS?=
 =?us-ascii?q?gHLSY0/nzJhMx+jKxVoxyvqBJwzIHWfI6bO+Fzfr/ecN4AWWZNQshcWi5HD4ih?=
 =?us-ascii?q?b4UPFe0BPeNAoofzvVQOsxq+ChS0C+3oxTFGnmH407Em1u88FgzJwQkgEMwIsH?=
 =?us-ascii?q?TIttX6KrwfUeS0zKnO0DXCYOpa2Tnn6IfSdBAuve+DUah3ccrLxkkiDgXIhUiT?=
 =?us-ascii?q?p4z9Jz6Y0usAv3KF4+duT+6ihWoqpxtwrzWg3sshiZTFipgax13H7yl0wIk4Kc?=
 =?us-ascii?q?emREN7fdKpFoZbuTuAOItsWMwiRnlluCYkxb0Cvp62ZDQKx4oixx7HdvyHaZKH?=
 =?us-ascii?q?7gj4W+mPJzd4mHVld6mliBax9kis0Or8VtO70FpSrypFlMfDtmwV2hHX5cWLUO?=
 =?us-ascii?q?Vx80m71TuB0w3f8OBJLE8smareMZEhw7owlpQJsUTEGy/7gFj5jKqIeUUi5uio?=
 =?us-ascii?q?8frob67ipp+dMY90lw7/Pr0gmsylG+s4NBQBUHaB9eS7zr3j8lX1QK9Wgf0ujq?=
 =?us-ascii?q?nZrJfaKNwHqaGjBg9V1p8v6xK+Dze9zNQVhmIHLVJAeBKflYflIVDOIPbiDfe+?=
 =?us-ascii?q?mVugijlrx+qVdoHmV57EK3yGlLb6YZ587VRdwUw914Nx/ZVRX50IPvP/bWrcku?=
 =?us-ascii?q?Dir1dtPwm5xfr9Bf1514UDSSeBGKafO66UtkWHsLF8a9KQbZMY7W6uY8Mu4OTj?=
 =?us-ascii?q?2Cc0?=
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AUDQBZ+nFZ/0AnF15cHgYMGQYMgy9nu?=
 =?us-ascii?q?RmFRwKDfkIVAQEBAQEBAQEBAQFqKIIzIoJEBiMPAVYLGgImAgIfOBMIAQGKLwG?=
 =?us-ascii?q?uUYImi1WBC4IdhS4rgnmFNoJHgmEFiWWHPY4qHpVxAYF+hz6HBZBxhHI1IoEKg?=
 =?us-ascii?q?QIISQiBc4NNgVCKewEBAQ?=
X-IPAS-Result: =?us-ascii?q?A0AUDQBZ+nFZ/0AnF15cHgYMGQYMgy9nuRmFRwKDfkIVAQE?=
 =?us-ascii?q?BAQEBAQEBAQFqKIIzIoJEBiMPAVYLGgImAgIfOBMIAQGKLwGuUYImi1WBC4Idh?=
 =?us-ascii?q?S4rgnmFNoJHgmEFiWWHPY4qHpVxAYF+hz6HBZBxhHI1IoEKgQIISQiBc4NNgVC?=
 =?us-ascii?q?KewEBAQ?=
X-IronPort-AV: E=Sophos;i="5.40,390,1496095200"; 
   d="scan'208";a="232357957"
Received: from tempura.bentobako.org ([94.23.39.64])
  by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 21 Jul 2017 15:00:10 +0200
Received: from [192.168.1.42] (ACaen-654-1-75-250.w81-48.abo.wanadoo.fr [81.48.54.250])
	by tempura.bentobako.org (Postfix) with ESMTPSA id B27493E91
	for <caml-list@inria.fr>; Fri, 21 Jul 2017 15:00:06 +0200 (CEST)
To: caml-list@inria.fr
References: <0ea087b1-7267-eee6-3dd5-55a760d8f4cd@inria.fr>
From: =?UTF-8?Q?David_MENTR=c3=89?= <dmentre@linux-france.org>
Message-ID: <7b66ec99-4a69-a5b3-1c88-8f2759583941@linux-france.org>
Date: Fri, 21 Jul 2017 15:00:05 +0200
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101
 Thunderbird/52.2.1
MIME-Version: 1.0
In-Reply-To: <0ea087b1-7267-eee6-3dd5-55a760d8f4cd@inria.fr>
Content-Type: text/plain; charset=utf-8
Content-Language: en-US
Content-Transfer-Encoding: 8bit
Subject: Re: [Caml-list] [IMPORTANT] Intel Skylake / Kaby Lake hardware bug
 affects OCaml programs

Hello,

Le 2017-06-30 à 15:51, Xavier Leroy a écrit :
> - 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