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=1.4 required=5.0 tests=HTML_MESSAGE,SPF_NEUTRAL 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 E37DCBC69 for ; Thu, 19 Jul 2007 02:19:55 +0200 (CEST) Received: from wx-out-0506.google.com (wx-out-0506.google.com [66.249.82.238]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l6J0Js6t013200 for ; Thu, 19 Jul 2007 02:19:55 +0200 Received: by wx-out-0506.google.com with SMTP id h28so326389wxd for ; Wed, 18 Jul 2007 17:19:54 -0700 (PDT) DKIM-Signature: a=rsa-sha1; c=relaxed/relaxed; d=gmail.com; s=beta; h=domainkey-signature:received:received:message-id:date:from:to:subject:in-reply-to:mime-version:content-type:references; b=aL3md7qUQoZsJ1kFPNRQWXeOW76qtNGxIZpgbjWuZhG6WBpLYft+V+qSdgIfM+9X1/rZ2Q+f5OgHNWUU38GWBk3wphYRYGkLS7hxp2JCAaxx1cwH+6Ib49QhleMeSYIZgQ+10KKxu62kiDt31x/W+H3u8w7NrHz/24+WWI87F9g= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=beta; h=received:message-id:date:from:to:subject:in-reply-to:mime-version:content-type:references; b=mLdcw5OOCwQ/KTt2wtcDwf6NfOgANKY118k+LpDDAzEjYBprtRfPqVm3kMk+MA7OUbn5Hyw6sdjUnZzVltggSvQO6C3H9PYJrQtv46dMU2ZzMLbZbaTFfdQ92UFoKZQs/dZKj5cDIvxrrKC9Vdu5oOucasXex42B1F/l6/hBRwc= Received: by 10.90.95.11 with SMTP id s11mr2347374agb.1184804394267; Wed, 18 Jul 2007 17:19:54 -0700 (PDT) Received: by 10.90.36.14 with HTTP; Wed, 18 Jul 2007 17:19:54 -0700 (PDT) Message-ID: Date: Thu, 19 Jul 2007 02:19:54 +0200 From: "=?ISO-8859-1?Q?Gr=E9gory_Guyomarc'h?=" To: caml-list@inria.fr Subject: Re: [Caml-list] OcaIDE: a new Eclipse plug-in for O'Caml In-Reply-To: MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----=_Part_17136_16690377.1184804394226" References: <4fbf351c0707131317u123e2457gc59d85d9378a66c7@mail.gmail.com> X-j-chkmail-Score: MSGID : 469EAE2A.000 on discorde : j-chkmail score : X : 0/20 1 0.000 -> 1 X-Miltered: at discorde with ID 469EAE2A.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; guyomarc'h:01 o'caml:01 ocaml:01 makefile:01 ocaml:01 debugger:01 makefile:01 afaik:01 debugger:01 afaik:01 plug-in:98 3.2:98 3.3:98 1.6:98 3.2:98 ------=_Part_17136_16690377.1184804394226 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Content-Disposition: inline On 7/14/07, Gabriel Kerneis wrote: > > Hello everybody, > > so we have : > http://ocamldt.free.fr/ > http://ocaml.eclipse.ortsa.com:8480/ocaide/ I just tested it on a small toy project and it is by far the best I have seen, it is actually very usable. One thing in particular that I like is that it does not necessarily rely on a builtin engine within the plugin to compile your projects but can use a simple makefile instead. This way of cleanly separating the building process allows you to use another great development tool: ocamlbuild for building (provided you don't mind managing the ocamlbuild files to configure your project instead of using the plugin managed ocaml projects). I have a few remark though: - i could not find a way to configure the ocaml debugger: i use it a lot and some of my code requires deactivating checkpoints, or it would just eats up memory. Otherwise debugging through ocaide works very well. - OcaIDE does not look in ocamlbuild _build directory for .annot files, it's ok since i can put commands in the Makefile to copy the files in their expected locations after a build, but it would be nice to have this. - I am not sure what Project references are for, i understand it would automatically ask you if you want to open the referred projects when opening the main project, but can it also issue a build for the referred projects when necessary (like projects in a Visual Studio solution) ? AFAIK this configurations is not mentioned in the documentation. - I could not make it work with eclipse 3.2 but it works fine with 3.3 + Sun JVM 1.6 Anyway, great work! Gregory ------=_Part_17136_16690377.1184804394226 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Content-Disposition: inline

On 7/14/07, Gabriel Kerneis <gabriel.kerneis@enst.fr > wrote:
Hello everybody,

so we have :
http://ocamldt.free.fr/
http://ocaml.eclipse.ortsa.com:8480/ocaide/

I just tested it on a small toy project and it is by far the best I have seen, it is actually very usable. One thing in particular that I like is that it does not necessarily rely on a builtin engine  within the plugin to compile your projects but can use a simple makefile instead. This way of cleanly  separating the building process allows you to use another great development tool: ocamlbuild for building (provided you don't mind managing the ocamlbuild files to configure your project instead of using the plugin managed ocaml projects).

I have a few remark though:

- i could not find a way to configure the ocaml debugger: i use it a lot and some of my code requires deactivating checkpoints, or it would just eats up memory. Otherwise debugging through ocaide works very well.

- OcaIDE does not look in ocamlbuild _build directory for .annot files, it's ok since i can put commands in the Makefile to copy the files in their expected locations after a build, but it would be nice to have this.

- I am not sure what Project references are for, i understand it would automatically ask you if you want to open the referred projects when opening the main project, but can it also issue a build for the referred projects when necessary (like projects in a Visual Studio solution) ? AFAIK this configurations is not mentioned in the documentation.

- I could not make it work with eclipse 3.2 but it works fine with 3.3 + Sun JVM 1.6

Anyway, great work!

Gregory

------=_Part_17136_16690377.1184804394226--