From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id 6CE2BBBAF for ; Fri, 13 Aug 2010 16:55:50 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AqUDAN/5ZEzAI/YUgWdsb2JhbACgTgEBFiIivTaFOgSPZoQv X-IronPort-AV: E=Sophos;i="4.55,363,1278280800"; d="scan'208";a="57051871" Received: from ns2.inescn.pt (HELO trubo.inescn.pt) ([192.35.246.20]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 13 Aug 2010 16:55:49 +0200 Received: from localhost (localhost [127.0.0.1]) by trubo.inescn.pt (8.13.8/8.14.3/4) with ESMTP id o7DEtmwE021478; Fri, 13 Aug 2010 15:55:48 +0100 X-Virus-Scanned: amavisd-new 2.6.3 (20090422) at inescporto.pt Received: from trubo.inescn.pt ([127.0.0.1]) by localhost (trubo.inescn.pt [127.0.0.1]) (amavisd-new, port 10024) with LMTP id so82EiBAJMFk; Fri, 13 Aug 2010 15:55:46 +0100 (WEST) Received: from grover.inescn.pt (grover.inescn.pt [194.117.24.20]) by trubo.inescn.pt (8.13.8/8.14.3/2) with ESMTP id o7DEtjri021453 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=OK); Fri, 13 Aug 2010 15:55:45 +0100 Received: from [194.117.30.117] (merlinix.inescn.pt [194.117.30.117]) by grover.inescn.pt (8.13.8/8.13.8/7) with ESMTP id o7DEtjKt024607; Fri, 13 Aug 2010 15:55:45 +0100 Message-ID: <4C655CF0.5040501@inescporto.pt> Date: Fri, 13 Aug 2010 15:55:44 +0100 From: Hugo Ferreira User-Agent: Thunderbird 2.0.0.24 (X11/20100317) MIME-Version: 1.0 To: Jianzhou Zhao Cc: caml-list@inria.fr Subject: Re: [Caml-list] Eclipse plugins References: In-Reply-To: Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-Spam: no; 0.00; ocaml:01 ocaml:01 camlp:01 compilation:01 zhao:98 plug-in:98 wrote:01 caml-list:01 seems:03 debugging:03 case:13 hugo:14 plugins:14 plugins:14 hugo:14 Jianzhou Zhao wrote: > Hello List, > > I am looking for an eclipse plugin for OCaml. > http://www.cocan.org/ocaml_and_eclipse lists three plugins. The last > one http://www.algo-prog.info/ocaide/ seems supporting more features > (including debugging). Does anyone have any experience with them, or > other plugins? > The plug-in in http://www.algo-prog.info/ocaide/ is good. I only have experience using ocambuild. It works well. You also have a forum in case you have any questions. It also supports camlp4 compilation (I use it for sexplib). Hugo F. > Thanks