From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 822748247D for ; Fri, 21 Jun 2019 09:30:46 +0200 (CEST) X-IronPort-AV: E=Sophos;i="5.63,399,1557180000"; d="scan'208";a="388452155" Received: from prajna.paris.inria.fr ([128.93.65.171]) by mail2-relais-roc.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 21 Jun 2019 09:30:31 +0200 Received: from shindere by prajna.paris.inria.fr with local (Exim 4.92) (envelope-from ) id 1heE0F-0006wJ-KL for caml-list@inria.fr; Fri, 21 Jun 2019 09:30:31 +0200 Date: Fri, 21 Jun 2019 09:30:31 +0200 From: =?utf-8?Q?S=C3=A9bastien?= Hinderer To: caml-list@inria.fr Message-ID: <20190621073031.GA26636@prajna.paris.inria.fr> Mail-Followup-To: caml-list@inria.fr References: MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: 8bit In-Reply-To: Subject: Re: [Caml-list] C, threads, callbacks, and corrupted local_roots Hi Cédric, I'm sorry I can't help with your main question, butt re:the debug runtime, at least upstream it is now enabled by default so I would expect opam to provide it with the compiler for recent versions, rather than in a separate package. hth, Sébastien.