From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <pasckosky2000@yahoo.it>
X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr
X-Spam-Level: **
X-Spam-Status: No, score=2.7 required=5.0 tests=AWL,DNS_FROM_RFC_ABUSE,
	DNS_FROM_RFC_POST,RCVD_IN_SORBS_WEB autolearn=disabled version=3.1.3
X-Original-To: caml-list@yquem.inria.fr
Delivered-To: caml-list@yquem.inria.fr
Received: from discorde.inria.fr (discorde.inria.fr [192.93.2.38])
	by yquem.inria.fr (Postfix) with ESMTP id DD773BC6B
	for <caml-list@yquem.inria.fr>; Sat, 14 Jul 2007 17:52:46 +0200 (CEST)
Received: from smtp006.mail.ukl.yahoo.com (smtp006.mail.ukl.yahoo.com [217.12.11.95])
	by discorde.inria.fr (8.13.6/8.13.6) with SMTP id l6EFqkqP024351
	for <caml-list@yquem.inria.fr>; Sat, 14 Jul 2007 17:52:46 +0200
Received: (qmail 8672 invoked from network); 14 Jul 2007 15:46:05 -0000
DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws;
  s=s1024; d=yahoo.it;
  h=Received:X-YMail-OSG:Message-ID:Date:From:User-Agent:MIME-Version:To:Subject:References:In-Reply-To:Content-Type:Content-Transfer-Encoding;
  b=bI/GzS7Nd8wiSDhuO1+jQvxiJs57VuIzEdWgOWhBKfdjb8dgoMSGxEeExs7TSRbTB1DiSTBpUyxD5MhqLranpQLODZ9MKqPR8VTCBTVxKTU6gwEhPHzBlfJ6tSK7AFdBK7P3DCfW8VaK3NH7cOdkpcolN1K/QKl4/436T4rJ2yo=  ;
Received: from unknown (HELO ?1.41.7.153?) (pasckosky@85.18.201.167 with plain)
  by smtp006.mail.ukl.yahoo.com with SMTP; 14 Jul 2007 15:46:05 -0000
X-YMail-OSG: vA9.xmkVM1lr4qpEiMZABAEjLmxqTI5io8mWQexNv7BacGSBBu7rBV.hxI6HTc7ctKehjLJMeQ--
Message-ID: <4698EFBB.4000901@yahoo.it>
Date: Sat, 14 Jul 2007 17:46:03 +0200
From: Luca Pascali <pasckosky2000@yahoo.it>
User-Agent: Icedove 1.5.0.12 (X11/20070607)
MIME-Version: 1.0
To: Caml List <caml-list@yquem.inria.fr>
Subject: Re: [Caml-list] OcaIDE: a new Eclipse plug-in for O'Caml
References: <4fbf351c0707131317u123e2457gc59d85d9378a66c7@mail.gmail.com><46986C0E.5020600@ujf-grenoble.fr>	<46987FE6.1030302@yahoo.it>	<4fbf351c0707140113i7b5d1f05m2d1d8139b5253472@mail.gmail.com> <013b01c7c62c$c0c19040$6a7ba8c0@treble>
In-Reply-To: <013b01c7c62c$c0c19040$6a7ba8c0@treble>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
X-Miltered: at discorde with ID 4698F14E.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)!
X-Spam: no; 0.00; o'caml:01 makefile:01 makefile:01 lowercase:01 ocaml:01 plug-in:98 wrote:01 unix:01 caml-list:01 luca:04 luca:04 install:05 anyway:05 probably:07 patch:08 

David Allsopp wrote:
[...]
>> The name is determined by the "make" command, since it is called to build
>> the project.
>>     
> The -f switch for make allows another filename to be specified - although
> I've not (yet) looked at the plugin this would probably be useful for
> projects that have Makefile (for UNIX) and Makefile.nt (for Windows)
>
>   
Yep.
Anyway I looked into the source of the plug in and I found the exact 
point where the makefile is named in lowercase (I found 2 points, one in 
with capital and one in lower case).

As soon as I find how to install the modified plugin into Eclipse, I'll 
check if there are no side effects and I will submit the patch to the 
development team.
Then they will consider or drop my patch.

I'm not dicussing it here, because that's Java, not OCaml. :-)

Luca