From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <Xavier.Leroy@inria.fr>
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.inria.fr
Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105])
	by sympa.inria.fr (Postfix) with ESMTPS id A458D7ED34
	for <caml-list@sympa.inria.fr>; Sat,  7 Jul 2012 09:03:39 +0200 (CEST)
Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  Xavier.Leroy@inria.fr) identity=pra; client-ip=212.27.42.2;
  receiver=mail4-smtp-sop.national.inria.fr;
  envelope-from="Xavier.Leroy@inria.fr";
  x-sender="Xavier.Leroy@inria.fr";
  x-conformance=sidf_compatible
Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  Xavier.Leroy@inria.fr) identity=mailfrom;
  client-ip=212.27.42.2;
  receiver=mail4-smtp-sop.national.inria.fr;
  envelope-from="Xavier.Leroy@inria.fr";
  x-sender="Xavier.Leroy@inria.fr";
  x-conformance=sidf_compatible
Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@smtp2-g21.free.fr) identity=helo;
  client-ip=212.27.42.2;
  receiver=mail4-smtp-sop.national.inria.fr;
  envelope-from="Xavier.Leroy@inria.fr";
  x-sender="postmaster@smtp2-g21.free.fr";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AgIFABve90/UGyoClGdsb2JhbAAqGrY0A4EoIgEBAQEJCwkJFAMkghgBAQQBUyUGCwshFg8JAwIBAgFFEwgBAYgCCQcpug+LQGWCC4McA5U2gRKERI0Q
X-IronPort-AV: E=Sophos;i="4.77,542,1336341600"; 
   d="scan'208";a="149918336"
Received: from smtp2-g21.free.fr ([212.27.42.2])
  by mail4-smtp-sop.national.inria.fr with ESMTP; 07 Jul 2012 09:03:38 +0200
Received: from [192.168.1.3] (unknown [82.237.71.191])
	by smtp2-g21.free.fr (Postfix) with ESMTP id 6DE014B00E0
	for <caml-list@inria.fr>; Sat,  7 Jul 2012 09:03:34 +0200 (CEST)
Message-ID: <4FF7DF55.7080201@inria.fr>
Date: Sat, 07 Jul 2012 09:03:49 +0200
From: Xavier Leroy <Xavier.Leroy@inria.fr>
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:13.0) Gecko/20120615 Thunderbird/13.0.1
MIME-Version: 1.0
To: caml-list@inria.fr
References: <15AA452B-980F-45C2-9DDD-21E0993ACDE5@inria.fr> <20120706131531.GA12737@annexia.org>
In-Reply-To: <20120706131531.GA12737@annexia.org>
X-Enigmail-Version: 1.4.2
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit
Subject: Re: [Caml-list] 4.00.0 is coming

On 07/06/2012 03:15 PM, Richard W.M. Jones wrote:

> I don't know if there was officially a bug filed for the
> "toploop library is now in compiler-libs" issue, or even if
> it's a bug.  It's the main issue we found, although relatively
> easy to fix in the packages themselves.
> However, has this been resolved or changed, and if so how?

It's PR#5628: http://caml.inria.fr/mantis/view.php?id=5628
and it will be addressed by providing a #remove_directory "/path"
toplevel directive and the corresponding function
Toploop.dir_remove_directory.

- Xavier Leroy