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 526BFBC6C for ; Thu, 19 Jul 2007 09:09:59 +0200 (CEST) Received: from nz-out-0506.google.com (nz-out-0506.google.com [64.233.162.237]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l6J79vJl016556 for ; Thu, 19 Jul 2007 09:09:58 +0200 Received: by nz-out-0506.google.com with SMTP id z3so388896nzf for ; Thu, 19 Jul 2007 00:09:57 -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:cc:in-reply-to:mime-version:content-type:references; b=nn330t7icLuDjvnojoae+q6+TnLDTBAZnQ8oVu0UbnM9ZB/rIHqa+XcFFgp2VwLy747ZSrKrkGikHG5d91DOfw9rBgo2+52SCSxrodhCTwGAGlBYk516DZAFx3ed//Wb45zIPu4KlKuJ4YY3Vt7nbpHPijiiH5vcpQvaFgp1j+0= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=beta; h=received:message-id:date:from:to:subject:cc:in-reply-to:mime-version:content-type:references; b=hCNDpVk667EP6A8qWgRvFSeFCAckXdBcgkAPbdjlVSLE2LOanmbYZ1KSJzj7A+y/8pi9OGakSEOzoIXaXt/j+LJcFZFOyNMvE6DsHd83jeu5FSyYwluWphw6sN2phDmslP20SqCtvlJUyhKzGrGiIoMlX/trfANb9cSWaedTTgM= Received: by 10.114.210.2 with SMTP id i2mr2300162wag.1184828996425; Thu, 19 Jul 2007 00:09:56 -0700 (PDT) Received: by 10.114.191.3 with HTTP; Thu, 19 Jul 2007 00:09:56 -0700 (PDT) Message-ID: <710e3f920707190009u5554e576qc11d0e8341c8cc59@mail.gmail.com> Date: Thu, 19 Jul 2007 09:09:56 +0200 From: Rafael To: "=?ISO-8859-1?Q?Gr=E9gory_Guyomarc'h?=" Subject: Re: [Caml-list] OcaIDE: a new Eclipse plug-in for O'Caml Cc: caml-list@inria.fr In-Reply-To: MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----=_Part_106012_1713668.1184828996395" References: <4fbf351c0707131317u123e2457gc59d85d9378a66c7@mail.gmail.com> X-j-chkmail-Score: MSGID : 469F0E45.000 on discorde : j-chkmail score : X : 0/20 1 0.000 -> 1 X-Miltered: at discorde with ID 469F0E45.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; o'caml:01 debugger:01 guyomarc'h:01 ocaml:01 makefile:01 ocaml:01 debugger:01 makefile:01 afaik:01 beginner's:01 bug:01 guyomarc'h:01 afaik:01 beginner's:01 bug:01 ------=_Part_106012_1713668.1184828996395 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: quoted-printable Content-Disposition: inline Hello everybody ! About ocamlbuild : unfortunately, this (wonderfull) tool came out when the development of the plug-in was almost finished, so we can only plan to incorporate it in a future version (maybe...). I think we can do something about the _build directory. For project references, I don't know also what it is for, and we don't use it in the plug-in. About the debugger, I thought there was no problem to desactivate checkpoints but if you say it... We will have to wait a few days until the person who developed it came back.. Thanks! Rafael On 7/19/07, Gr=E9gory Guyomarc'h wrote: > > > > 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 managi= ng > the ocamlbuild files to configure your project instead of using the plugi= n > 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 e= ats > 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 the= ir > 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 open= ing > 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 > > > > _______________________________________________ > Caml-list mailing list. Subscription management: > http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list > Archives: http://caml.inria.fr > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs > > ------=_Part_106012_1713668.1184828996395 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Content-Disposition: inline
Hello everybody !
About ocamlbuild : unfortunately, this (wonderfull) tool came out= when the development of the plug-in was almost finished, so we can only pl= an to incorporate it in a future version (maybe...). I think we c= an do something about the _build directory.
 
For project references, I don't know also what it is for, and we d= on't use it in the plug-in.
 
About the debugger,  I thought there was no problem to desactivat= e checkpoints but if you say it... We will have to wait a few day= s until the person who developed it came back..
 
Thanks!
 
Rafael 

 
On 7/19/07, = Gr=E9gory Guyomarc'h <gregory.guyomarch@gmail.com> wrote:


On 7/14/07, = Gabriel Kerneis <gabriel.= kerneis@enst.fr=20 > wrote:=20
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 lik= e 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. Thi= s way of cleanly  separating the building process allows you to use an= other 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).=20

I have a few remark though:

- i could not find a way to conf= igure the ocaml debugger: i use it a lot and some of my code requires deact= ivating checkpoints, or it would just eats up memory. Otherwise debugging t= hrough ocaide works very well.=20

- OcaIDE does not look in ocamlbuild _build directory for .annot fi= les, 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 th= is.=20

- I am not sure what Project references are for, i understand it wo= uld automatically ask you if you want to open the referred projects when op= ening the main project, but can it also issue a build for the referred proj= ects when necessary (like projects in a Visual Studio solution) ? AFAIK thi= s configurations is not mentioned in the documentation.=20

- 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
 
=


_______________________________________________
Caml-list = mailing list. Subscription management:
ht= tp://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
Archives: http://caml.inria.fr
Beginner's list: http://groups.yahoo.com/group/ocaml_beginne= rs
Bug reports: http://= caml.inria.fr/bin/caml-bugs


------=_Part_106012_1713668.1184828996395--