From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: *** X-Spam-Status: No, score=3.2 required=5.0 tests=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 A5AF4BC6B for ; Sat, 14 Jul 2007 09:48:55 +0200 (CEST) Received: from smtp004.mail.ukl.yahoo.com (smtp004.mail.ukl.yahoo.com [217.12.11.35]) by discorde.inria.fr (8.13.6/8.13.6) with SMTP id l6E7mtoH010577 for ; Sat, 14 Jul 2007 09:48:55 +0200 Received: (qmail 61096 invoked from network); 14 Jul 2007 07:48:54 -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=mWa7hgFmgseOmMo/v/q+OP71DQza63GTUsccsGkBUNnOJbQqtlJj2Z4Ltgzgdz96jbNhMl6pzClJfnH5sR1gKJCgS6JZvxBKQC5vJ1LAVbo2MTL/XD8hocNxetjWr6XZfHFwNb63yG9w5GmzfBCDM8ZjR6unNgPr4jCwS0Ww7Jg= ; Received: from unknown (HELO ?1.41.7.153?) (pasckosky@85.18.201.167 with plain) by smtp004.mail.ukl.yahoo.com with SMTP; 14 Jul 2007 07:48:54 -0000 X-YMail-OSG: M3eoSBUVM1kCkTyrQs0qbz3cQ2pZ3luJiFek2Nt_ODyE9panVJh2THwXUSEt6WEiJlwJvGUmcw-- Message-ID: <46987FE6.1030302@yahoo.it> Date: Sat, 14 Jul 2007 09:48:54 +0200 From: Luca Pascali User-Agent: Icedove 1.5.0.12 (X11/20070607) MIME-Version: 1.0 To: Caml List Subject: Re: [Caml-list] OcaIDE: a new Eclipse plug-in for O'Caml References: <4fbf351c0707131317u123e2457gc59d85d9378a66c7@mail.gmail.com> <46986C0E.5020600@ujf-grenoble.fr> In-Reply-To: <46986C0E.5020600@ujf-grenoble.fr> Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit X-Miltered: at discorde with ID 46987FE7.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; o'caml:01 makefile:01 makefile:01 plug-in:98 3.3:98 lenny:98 3.2:98 wrote:01 wrote:01 caml-list:01 seems:03 luca:04 luca:04 debian:04 debian:04 Vu Ngoc San wrote: > it looks very nice, and I am tempted to give it a try, although I have > never used eclipse.... but does it really need eclipse 3.3 ? > Debian packages (unstable) provide only 3.2... > I tried to use it on my Debian Lenny (with packed eclipse 3.2) and it seems work. Very nice project. Usually I don't like eclipse (it's too heavy and slow, but if it works it can be fine). I have imported one big project of mine and it took it without any problem but the creation of another makefile named "makefile" (mine is "Makefile") With luck, make considers first "Makefile" name and then "makefile", but adding a little check should not be a big challenge. If it should also be possible to use the capital name instead of the lower case one as default or at least letting the programmer to choose which name use (only in Windows this is not important) > [...] > Nicolas Bros wrote: [...] Anyway it is a very nice project. Luca