From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <matthieu.dubuget@gmail.com>
X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr
X-Spam-Level: **
X-Spam-Status: No, score=2.8 required=5.0 tests=DNS_FROM_RFC_POST,SPF_NEUTRAL 
	autolearn=disabled version=3.1.3
Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105])
	by yquem.inria.fr (Postfix) with ESMTP id A9CD8BBAF
	for <caml-list@yquem.inria.fr>; Tue,  5 May 2009 21:59:59 +0200 (CEST)
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AlcBANs3AEpKfU4aimdsb2JhbACWOT8BAQEKCQwHDwWoLgeBA5A+AQMBA4N+BYYI
X-IronPort-AV: E=Sophos;i="4.40,299,1238968800"; 
   d="scan'208";a="39499998"
Received: from ey-out-2122.google.com ([74.125.78.26])
  by mail4-smtp-sop.national.inria.fr with ESMTP; 05 May 2009 21:59:59 +0200
Received: by ey-out-2122.google.com with SMTP id 22so1292906eye.33
        for <caml-list@inria.fr>; Tue, 05 May 2009 12:59:58 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=gamma;
        h=domainkey-signature:received:received:message-id:date:from:reply-to
         :user-agent:mime-version:to:subject:references:in-reply-to
         :x-enigmail-version:openpgp:content-type:content-transfer-encoding;
        bh=LUCAeQnepCzTeInaJJJ/TOkmaGkdYQmrS7N5odyEclY=;
        b=OIVnMfEwQ1Y/A9MVexzWVHyztPh2oqh2UUBAHBv6B5V/VobOCPZfGFTzDIqWxE+2GO
         DC9mR29MZxfM/eoQfBK7Lpg5bM/TmhLwgBLkPjqBQSkhEMlU32tiHjzRatOfLkZkqP5K
         i/XVyCDi/dHMO4p8Yh40hHySEpH7UxDFglQgA=
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=gmail.com; s=gamma;
        h=message-id:date:from:reply-to:user-agent:mime-version:to:subject
         :references:in-reply-to:x-enigmail-version:openpgp:content-type
         :content-transfer-encoding;
        b=JNpcPfIc8UPtnDzmr3JdmHjgu9GWT4vjbmM1a9pmQqrGbt+vmR5UND9gtV3jt8x+R4
         GtV3x3ThC3xNDwrT0ssAKa4iRW/PhRXQJXxrn8iyq5APWQLo3p05LxfOnAHvYV/Zx0cD
         W5ftz1XW610ptih0wOwg06geDLlyY1OvbPDCQ=
Received: by 10.210.10.8 with SMTP id 8mr564138ebj.83.1241553598862;
        Tue, 05 May 2009 12:59:58 -0700 (PDT)
Received: from ?192.168.1.10? (204.244.199-77.rev.gaoland.net [77.199.244.204])
        by mx.google.com with ESMTPS id 28sm226928eyg.14.2009.05.05.12.59.57
        (version=TLSv1/SSLv3 cipher=RC4-MD5);
        Tue, 05 May 2009 12:59:58 -0700 (PDT)
Message-ID: <4A009ABB.3090007@gmail.com>
Date: Tue, 05 May 2009 21:59:55 +0200
From: Matthieu Dubuget <matthieu.dubuget@gmail.com>
Reply-To: matthieu.dubuget@gmail.com
User-Agent: Thunderbird 2.0.0.21 (X11/20090409)
MIME-Version: 1.0
To: caml-list@inria.fr
Subject: Re: [Caml-list] Sys.command and quotes
References: <49FFFFB5.1090403@gmail.com> <20090505093722.GA4807@yquem.inria.fr>
In-Reply-To: <20090505093722.GA4807@yquem.inria.fr>
X-Enigmail-Version: 0.95.7
OpenPGP: id=F60AB8F5
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 8bit
X-Spam: no; 0.00; matthieu:01 dubuget:01 matthieu:01 dubuget:01 0200,:01 mingw:01 ocamlfind:01 ocamlfind:01 dependencies:01 ocamldep:01 bug:01 dependencies:01 2009:98 wrote:01 compile:01 

Francois Pottier a écrit :
> Hello,
> 
> On Tue, May 05, 2009 at 10:58:29AM +0200, Matthieu Dubuget wrote:
>> It prevents menhir (20090402) to compile on my mingw system with ocamlfind
>> in use (because when ocamlfind is used, the dependencies are found with an
>> ocamlfind ocamldep call).
> 
> I don't know whether it is a bug in Sys.command; anyway, the latest release of
> Menhir (20090505) attempts to work around it:
> 
>   http://cristal.inria.fr/~fpottier/menhir/menhir-20090505.tar.gz
> 
> (I should have released this earlier, but forgot, so here it is, released
> two minutes ago :)
> 

;-)

Thanks!

This solves the installation problem. Both with my manual installation
and with GODI (a push in godi repository would be nice, please).

I still have some problems when using the godi version of the
development system (dependencies of some .mly file failing).
More on this problem when I will have the time to investigate.

Salutations

Matt