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 E0C8BBC6B for ; Fri, 13 Jul 2007 22:17:10 +0200 (CEST) Received: from ug-out-1314.google.com (ug-out-1314.google.com [66.249.92.174]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l6DKHA8S005986 for ; Fri, 13 Jul 2007 22:17:10 +0200 Received: by ug-out-1314.google.com with SMTP id o2so627494uge for ; Fri, 13 Jul 2007 13:17:10 -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:mime-version:content-type; b=gH+l6gMb+WKiBLfjmBCziiimka+AXOJ4CS8cXsgXPdrF8trTB0qZ9Rptajt9q1CYSmQUbE6YCGybMqXYds/q10QJiwVpfObIeAhP0vtLL2xoSv4FpEofXxv6rapn4vUEZh3zy8DdwQEjSSLTi7OPHbCxpdezKb4OeAGUP9sNomw= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=beta; h=received:message-id:date:from:to:subject:mime-version:content-type; b=WodTrsddf3UK7zXs9dzzkQWpdmk8s9FgL6gIzBns7o129WTBMUJWLxpjo1mFbr0RXXjFXROp6Z4jfPF0SMlxybZEKTa8yxPD/w1mUkRwwTpdpa+NflA6kbpu9m5DBPor4IjW03yIqik6Kpz06W8xzaRYpinUNLFY76XOD9yZTSg= Received: by 10.82.106.14 with SMTP id e14mr2497972buc.1184357829148; Fri, 13 Jul 2007 13:17:09 -0700 (PDT) Received: by 10.82.153.14 with HTTP; Fri, 13 Jul 2007 13:17:09 -0700 (PDT) Message-ID: <4fbf351c0707131317u123e2457gc59d85d9378a66c7@mail.gmail.com> Date: Fri, 13 Jul 2007 22:17:09 +0200 From: "Nicolas Bros" To: caml-list@yquem.inria.fr Subject: OcaIDE: a new Eclipse plug-in for O'Caml MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----=_Part_25493_10045161.1184357829110" X-j-chkmail-Score: MSGID : 4697DDC6.001 on discorde : j-chkmail score : X : 0/20 1 0.000 -> 1 X-Miltered: at discorde with ID 4697DDC6.001 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; o'caml:01 o'caml:01 ocaml:01 ocaml:01 plug-in:98 plug-in:98 install:05 install:05 nicolas:08 nicolas:08 release:09 release:09 announce:11 announce:11 hello:17 X-Attachments: cset="UTF-8" cset="UTF-8" ------=_Part_25493_10045161.1184357829110 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Content-Disposition: inline Hello everybody, I am happy to announce the release of OcaIDE: a new Eclipse plug-in for O'Caml. Please visit this site for more information, screenshots, and to install it: http://ocaml.eclipse.ortsa.com Thank you, and have a good day! ------=_Part_25493_10045161.1184357829110 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: 7bit Content-Disposition: inline Hello everybody,

I am happy to announce the release of OcaIDE: a new Eclipse plug-in for O'Caml.
Please visit this site for more information, screenshots, and to install it:
http://ocaml.eclipse.ortsa.com

Thank you, and have a good day!
------=_Part_25493_10045161.1184357829110-- 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=0.0 required=5.0 tests=AWL 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 06B98BC6B for ; Mon, 23 Jul 2007 09:52:18 +0200 (CEST) Received: from pih-relay06.plus.net (pih-relay06.plus.net [212.159.14.133]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l6N7qH4R012254 (version=TLSv1/SSLv3 cipher=AES256-SHA bits=256 verify=NO) for ; Mon, 23 Jul 2007 09:52:17 +0200 Received: from [80.229.56.224] (helo=beast.local) by pih-relay06.plus.net with esmtp (Exim) id 1ICsiF-0003I3-9W for caml-list@yquem.inria.fr; Mon, 23 Jul 2007 08:52:15 +0100 From: Jon Harrop Organization: Flying Frog Consultancy Ltd. To: caml-list@yquem.inria.fr Subject: OcaIDE: a new Eclipse plug-in for O'Caml Date: Mon, 23 Jul 2007 08:43:01 +0100 User-Agent: KMail/1.9.7 MIME-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit Content-Disposition: inline Message-Id: <200707230843.01701.jon@ffconsultancy.com> X-Miltered: at discorde with ID 46A45E31.001 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; o'caml:01 pointer:01 usr:01 lib:01 ocaml:01 ocaml:01 plug-in:98 frog:98 exceptions:01 usable:02 gnu:03 debian:04 null:05 startup:05 installed:05 This was sounding quite nice and I've been meaning to try Eclipse and Scala. However, I just managed to get the necessary software installed under Debian Linux and am finding it to be extremely unstable. I'm seeing null pointer exceptions and lots of hanging. One point of particular concern is the startup message: searching for compatible vm... testing /usr/lib/jvm/java-gcj...found which implies that Eclipse has chosen to run using the GNU Java clone rather than the real thing (which is installed). Has anyone else here found Eclipse to be usable? -- Dr Jon D Harrop, Flying Frog Consultancy Ltd. OCaml for Scientists http://www.ffconsultancy.com/products/ocaml_for_scientists/?e 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=0.0 required=5.0 tests=none 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 7FC50BC6B for ; Mon, 23 Jul 2007 10:14:45 +0200 (CEST) Received: from smtp6-g19.free.fr (smtp6-g19.free.fr [212.27.42.36]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l6N8EjbM018718 for ; Mon, 23 Jul 2007 10:14:45 +0200 Received: from Tocksi.local (lns-bzn-45-82-65-145-73.adsl.proxad.net [82.65.145.73]) by smtp6-g19.free.fr (Postfix) with ESMTP id E0683B7CF6; Mon, 23 Jul 2007 10:14:42 +0200 (CEST) Message-ID: <46A4636B.7000205@univ-savoie.fr> Date: Mon, 23 Jul 2007 10:14:35 +0200 From: Christophe Raffalli User-Agent: Thunderbird 2.0.0.5 (Macintosh/20070716) MIME-Version: 1.0 To: Jon Harrop Cc: caml-list@yquem.inria.fr Subject: Re: [Caml-list] OcaIDE: a new Eclipse plug-in for O'Caml References: <200707230843.01701.jon@ffconsultancy.com> In-Reply-To: <200707230843.01701.jon@ffconsultancy.com> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 8bit X-Miltered: at discorde with ID 46A46375.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; christophe:01 raffalli:01 christophe:01 raffalli:01 univ-savoie:01 o'caml:01 pointer:01 usr:01 lib:01 plug-in:98 caml-list:01 exceptions:01 usable:02 gnu:03 debian:04 Jon Harrop a écrit : > This was sounding quite nice and I've been meaning to try Eclipse and Scala. > However, I just managed to get the necessary software installed under Debian > Linux and am finding it to be extremely unstable. I'm seeing null pointer > exceptions and lots of hanging. > > One point of particular concern is the startup message: > > searching for compatible vm... > testing /usr/lib/jvm/java-gcj...found > > which implies that Eclipse has chosen to run using the GNU Java clone rather > than the real thing (which is installed). > > Has anyone else here found Eclipse to be usable? > > As said in some post previously, you need sun-java (6 preferably) and start eclipse with -vm to tell him the java path. Christophe 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=0.0 required=5.0 tests=AWL 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 395B7BC6B for ; Mon, 23 Jul 2007 10:46:05 +0200 (CEST) Received: from pih-relay04.plus.net (pih-relay04.plus.net [212.159.14.131]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l6N8k4Xl026242 (version=TLSv1/SSLv3 cipher=AES256-SHA bits=256 verify=NO) for ; Mon, 23 Jul 2007 10:46:05 +0200 Received: from [80.229.56.224] (helo=beast.local) by pih-relay04.plus.net with esmtp (Exim) id 1ICtYJ-00073Q-1X for caml-list@yquem.inria.fr; Mon, 23 Jul 2007 09:46:03 +0100 From: Jon Harrop Organization: Flying Frog Consultancy Ltd. To: caml-list@yquem.inria.fr Subject: Re: [Caml-list] OcaIDE: a new Eclipse plug-in for O'Caml Date: Mon, 23 Jul 2007 09:36:49 +0100 User-Agent: KMail/1.9.7 References: <200707230843.01701.jon@ffconsultancy.com> <46A4636B.7000205@univ-savoie.fr> In-Reply-To: <46A4636B.7000205@univ-savoie.fr> MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 7bit Content-Disposition: inline Message-Id: <200707230936.49477.jon@ffconsultancy.com> X-Miltered: at discorde with ID 46A46ACC.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; o'caml:01 christophe:01 ocaml:01 ocaml:01 plug-in:98 frog:98 wrote:01 caml-list:01 path:07 looks:08 ltd:87 products:86 some:14 www:84 problems:16 On Monday 23 July 2007 09:14:35 Christophe wrote: > As said in some post previously, you need sun-java (6 preferably) and > start eclipse with -vm to tell him > the java path. Wonderful: that fixed all of the problems. This IDE looks absolutely fantastic! 8-) -- Dr Jon D Harrop, Flying Frog Consultancy Ltd. OCaml for Scientists http://www.ffconsultancy.com/products/ocaml_for_scientists/?e 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.7 required=5.0 tests=FROM_LOCAL_NOVOWEL, 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 concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id B7BD9BC69 for ; Tue, 31 Jul 2007 10:17:42 +0200 (CEST) Received: from kuber.nabble.com (kuber.nabble.com [216.139.236.158]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id l6V8Hfeq026242 (version=TLSv1/SSLv3 cipher=AES256-SHA bits=256 verify=NO) for ; Tue, 31 Jul 2007 10:17:42 +0200 Received: from isper.nabble.com ([192.168.236.156]) by kuber.nabble.com with esmtp (Exim 4.63) (envelope-from ) id 1IFmvC-00026M-72 for caml-list@yquem.inria.fr; Tue, 31 Jul 2007 01:17:38 -0700 Message-ID: <11920014.post@talk.nabble.com> Date: Tue, 31 Jul 2007 01:17:38 -0700 (PDT) From: Roland Kaufmann To: caml-list@yquem.inria.fr Subject: Re: [Caml-list] OcaIDE: a new Eclipse plug-in for O'Caml In-Reply-To: <200707230843.01701.jon@ffconsultancy.com> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit X-Nabble-From: rlndkfmn@gmail.com References: <200707230843.01701.jon@ffconsultancy.com> X-j-chkmail-Score: MSGID : 46AEF025.000 on concorde : j-chkmail score : XX : 0/20 2 0.000 -> 2 X-Miltered: at concorde with ID 46AEF025.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; o'caml:01 apt-get:01 plug-in:98 ubuntu:98 wrote:01 caml-list:01 caml:02 gnu:03 debian:04 kaufmann:05 installed:05 installed:05 implies:06 context:06 clone:06 Jon Harrop wrote: > > which implies that Eclipse has chosen to run using the GNU Java clone > rather > than the real thing (which is installed). > I reckon that you've installed "the real thing" with something like `sudo apt-get sun-java6-jdk` (which at least is the package name in my Ubuntu Feisty Debian derivative). You should then look into the `sudo update-alternatives --config java` command, to set this as the default VM. -- View this message in context: http://www.nabble.com/OcaIDE%3A-a-new-Eclipse-plug-in-for-O%27Caml-tf4128080.html#a11920014 Sent from the Caml Discuss2 mailing list archive at Nabble.com.