From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p9IKml19001927 for ; Tue, 18 Oct 2011 22:48:47 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AkACAOflnU7BMH5JmWdsb2JhbABEmgGMc4F6IgEBAQEBCAsLBxQlgW4BAQUyAUURCxgJFg8JAwIBAgFFEwgCF4dntjiIGwSZJ4wu X-IronPort-AV: E=Sophos;i="4.69,366,1315173600"; d="scan'208";a="113382531" Received: from dsi-mta-out.univ-savoie.fr ([193.48.126.73]) by mail4-smtp-sop.national.inria.fr with ESMTP; 18 Oct 2011 22:48:42 +0200 Received: from localhost (localhost [127.0.0.1]) by dsi-mta-out.univ-savoie.fr (Postfix) with ESMTP id 90DE8260E5 for ; Tue, 18 Oct 2011 22:48:41 +0200 (CEST) X-Virus-Scanned: Debian amavisd-new at dsi-mta-out Received: from dsi-mta-out.univ-savoie.fr ([127.0.0.1]) by localhost (dsi-mta-out.univ-savoie.fr [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id dl1Qa4YuTKsx for ; Tue, 18 Oct 2011 22:48:41 +0200 (CEST) Received: from dsi-mail-msa1.univ-savoie.fr (dsi-mail-msa1.univ-savoie.fr [193.48.126.83]) by dsi-mta-out.univ-savoie.fr (Postfix) with ESMTP id 7C11D260E1 for ; Tue, 18 Oct 2011 22:48:41 +0200 (CEST) Received: from localhost (localhost [127.0.0.1]) by dsi-mail-msa1.univ-savoie.fr (Postfix) with ESMTP id 781B71C1E4 for ; Tue, 18 Oct 2011 22:48:41 +0200 (CEST) X-Virus-Scanned: Debian amavisd-new at dsi-mail-msa1 Received: from dsi-mail-msa1.univ-savoie.fr ([127.0.0.1]) by localhost (dsi-mail-msa1.univ-savoie.fr [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id t+rU5bhfA8C0 for ; Tue, 18 Oct 2011 22:48:41 +0200 (CEST) Received: from [192.168.144.15] (bin73-1-78-240-16-62.fbx.proxad.net [78.240.16.62]) by dsi-mail-msa1.univ-savoie.fr (Postfix) with ESMTPSA id 3DEF31C1E3 for ; Tue, 18 Oct 2011 22:48:41 +0200 (CEST) Message-ID: <4E9DE621.3090800@univ-savoie.fr> Date: Tue, 18 Oct 2011 22:48:33 +0200 From: Christophe Raffalli User-Agent: Mozilla/5.0 (X11; U; Linux x86_64; en-US; rv:1.9.1.16) Gecko/20111004 Iceowl/1.0b1 Icedove/3.0.11 MIME-Version: 1.0 To: caml-list@inria.fr References: <4E9DA7D2.70407@univ-savoie.fr> <4E9DDA55.6060506@gmail.com> In-Reply-To: <4E9DDA55.6060506@gmail.com> Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit X-Validation-by: christophe.raffalli@univ-savoie.fr Subject: Re: [Caml-list] Pb with eclipse OCaIDE Le 18/10/2011 21:58, Johan Mazel a écrit : > The solution is in the link : "enter OCaml project preferences, go to > Makefile setup, press OK". This works ... Only for the next project ... very strange, but it fixes the problem. Thanks, Christophe > > 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 >> > >