From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q3CEOiuc007892 for ; Thu, 12 Apr 2012 16:24:44 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AiQBAPfkhk/RVdQ2kGdsb2JhbABDuWsIIgEBAQEJCQ0HFAQjggkBAQEDARICLAEbHQEDAQsGBQQBBjshAQERAQUBHAYTCBqHXQEDBgWgKQqMIIJyhR0KGScNV4EOAQULiiiHSwSVbIs5gx09hAw X-IronPort-AV: E=Sophos;i="4.75,410,1330902000"; d="scan'208";a="139993016" Received: from mail-vb0-f54.google.com ([209.85.212.54]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 12 Apr 2012 16:24:39 +0200 Received: by vbmv11 with SMTP id v11so2698280vbm.27 for ; Thu, 12 Apr 2012 07:24:38 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc:content-type; bh=uD8lFVbKvLUgGF+/uA3Bd/POecHDeJolBK3/ojjGNOA=; b=btWuDWxoFdlxIoekVYZN0p1AVfGbLu0urAXcfV24bEywoGQv7PMKp2dg4QlYJbtsh+ qRvnq/MAbWzfRbiXp98ZuU5u3g7I7kJ4gFw/BRHTWANJUUSj5CVVTkabUlKktEyOp/Jb 3C3s+hqT6wI0dILVV1kyRTOuGIrLT1vVOXJmJ7wBFxZHv5UGYDNMrSmfvLVBrq23qFbi FzkM98FMdRqTwWYU/wX5ow2AyJvGxIDkvqDZ9jPoJ0Mhnnw11ge8ATwWfLy7pEFswRHu woB8kegkeQLlqgYUEiLFKVuykz4KluZ47jLigfDoaBfI8//p8KvDZ1yiKrxaulk0kyiJ Lwlw== Received: by 10.52.178.129 with SMTP id cy1mr1116374vdc.8.1334240678318; Thu, 12 Apr 2012 07:24:38 -0700 (PDT) MIME-Version: 1.0 Received: by 10.52.31.136 with HTTP; Thu, 12 Apr 2012 07:24:18 -0700 (PDT) In-Reply-To: <4F86D154.1070301@gmail.com> References: <4F86D154.1070301@gmail.com> From: Philippe Veber Date: Thu, 12 Apr 2012 16:24:18 +0200 Message-ID: To: Jonathan Protzenko Cc: caml users Content-Type: multipart/alternative; boundary=bcaec5196a59ad119004bd7c1d69 X-Validation-by: philippe.veber@gmail.com Subject: Re: [Caml-list] Current SVN head and findlib. --bcaec5196a59ad119004bd7c1d69 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Thanks for your answer ! 2012/4/12 Jonathan Protzenko > I also have this problem, and I've reported it to Gerd. Good. > What I usually do is edit the topfind file, remove the "new" stuff, and > uncomment the lines marked as "old". This has been working fine so far for > me. > I tried to uncomment the "old" lines (didn't see the "new") but it still does not work. However St=E9phane's trick did it so I'll be safe until the problem's fixed. Thanks again, ph. > Cheers, > > jonathan > --bcaec5196a59ad119004bd7c1d69 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Thanks for your answer !

2012/4/12 Jonath= an Protzenko <jonathan.protzenko@gmail.com>
I also have this problem, and I've reported it to Gerd.
Good.
=A0
= What I usually do is edit the topfind file, remove the "new" stuf= f, and uncomment the lines marked as "old". This has been working= fine so far for me.
I tried to uncomment the "old" lines (didn'= t see the "new") but it still does not work. However St=E9phane&#= 39;s trick did it so I'll be safe until the problem's fixed.

Thanks again,
ph.


Cheers,

jonathan

--bcaec5196a59ad119004bd7c1d69--