From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p9IJwYEW000802 for ; Tue, 18 Oct 2011 21:58:34 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AnQBALHZnU6MXQAPkWdsb2JhbAAqGplmG4JsjAEiAQEBAQkLCwcUBSCBbgEBAQQ4JBwRCwsNCRYPCQMCAQIBETQTCAEBF4dnBiSkTYgbPYh1iBsEk32FKoZGhWg X-IronPort-AV: E=Sophos;i="4.69,366,1315173600"; d="scan'208";a="124643711" Received: from laas.laas.fr ([140.93.0.15]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 18 Oct 2011 21:58:29 +0200 Received: from [192.168.0.83] (lan31-6-82-238-147-29.fbx.proxad.net [82.238.147.29]) (authenticated bits=0) by laas.laas.fr (8.14.4/8.14.4) with ESMTP id p9IJwDvr016220 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Tue, 18 Oct 2011 21:58:28 +0200 (MEST) Message-ID: <4E9DDA55.6060506@gmail.com> Date: Tue, 18 Oct 2011 21:58:13 +0200 From: Johan Mazel User-Agent: Mozilla/5.0 (X11; U; Linux x86_64; en-US; rv:1.9.2.23) Gecko/20110922 Thunderbird/3.1.15 MIME-Version: 1.0 To: caml-list@inria.fr References: <4E9DA7D2.70407@univ-savoie.fr> In-Reply-To: <4E9DA7D2.70407@univ-savoie.fr> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Subject: Re: [Caml-list] Pb with eclipse OCaIDE Hi This a known bug of OcaIDE : http://www.algo-prog.info/ocaide/forum/viewtopic.php?f=2&t=220&sid=1cbf9f7d9a64dcb301990a0ff7c6c0ed. The solution is in the link : "enter OCaml project preferences, go to Makefile setup, press OK". Regards. Johan On 18/10/2011 18:22, Christophe Raffalli wrote: > Hello, > > For teaching, I tried this eclipse IDE. > > I created a Makefile project, with one file, edited the Makefile, > the command make works in the created folder, but when building from eclipse, I get > > "une chaine vide n'est pas un nom de fichier valable" > (which means "an empty string is not a valid filename") > > I am probably missing something ? > > Cheers, > Christophe >