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.0 required=5.0 tests=AWL autolearn=disabled version=3.1.3 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id 37475BB84 for ; Fri, 26 Sep 2008 15:44:00 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ap8DAMOD3EjAXQImiGdsb2JhbACTHwEBARUiqTOBZA X-IronPort-AV: E=Sophos;i="4.33,314,1220220000"; d="scan'208";a="17792151" Received: from discorde.inria.fr ([192.93.2.38]) by mail1-smtp-roc.national.inria.fr with ESMTP; 26 Sep 2008 15:44:00 +0200 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id m8QDhw6x030798 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Fri, 26 Sep 2008 15:43:59 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AsoBAHqE3EjVhjEYo2dsb2JhbACTHwEBAQEBAQcLCgcRqTeBZA X-IronPort-AV: E=Sophos;i="4.33,314,1220220000"; d="scan'208";a="29621233" Received: from ihsmtp02voda.lis.interhost.com (HELO ihsmtp02cons.lis.interhost.com) ([213.134.49.24]) by mail4-smtp-sop.national.inria.fr with ESMTP; 26 Sep 2008 15:43:59 +0200 Received: from [192.168.1.64] ([77.54.249.136]) by ihsmtp02cons.lis.interhost.com with Microsoft SMTPSVC(6.0.3790.3959); Fri, 26 Sep 2008 14:41:52 +0100 Message-ID: <48DCE71C.8080409@inescporto.pt> Date: Fri, 26 Sep 2008 14:43:56 +0100 From: Hugo Ferreira User-Agent: Thunderbird 2.0.0.17 (X11/20080925) MIME-Version: 1.0 To: Andrej.Bauer@andrej.com Cc: Caml Subject: Re: [Caml-list] Teaching ocaml programming References: <48DCC7B8.4070700@fmf.uni-lj.si> <48DCDF9D.6040401@inescporto.pt> <48DCE49F.7000604@fmf.uni-lj.si> In-Reply-To: <48DCE49F.7000604@fmf.uni-lj.si> Content-Type: text/plain; charset=ISO-8859-2; format=flowed Content-Transfer-Encoding: 7bit X-OriginalArrivalTime: 26 Sep 2008 13:41:52.0165 (UTC) FILETIME=[A1ECBD50:01C91FDD] X-Miltered: at discorde with ID 48DCE71E.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; ocaml:01 andrej:01 compilation:01 ocaml:01 andrej:01 beginner's:01 bug:01 ubuntu:98 ubuntu:98 beginners:01 wrote:01 wrote:01 symbolic:01 caml-list:01 caml-list:01 Andrej Bauer wrote: > Hugo Ferreira wrote: >> To make things simpler you may: >> 0. Use ocamlbuild projects only. >> 1. Prepare ocamlbuild files (tags and myocamlbuild) if necessary. >> 2. Provide a workspace with an example project ready for compilation. >> 3. Let the students use only one project with various source files. > > Yes, we do all of this, but unfortunately ocamlbuild under Windows sucks > because the trick with symbolic links to executables does not work. Yes, I am aware of this. Seen the reports in the forum. > Has > this been fixed yet? (Also, ocamlbuild assumes bash is in the path, also > under Windows.) Not that I am aware of. Their is a version that has *not* been put up onto the update site [1]. Maybe this may have additional corrections. Please note that I am proposing you use Ubuntu because you mentioned dual boot machines: "Any ideas what to do? We have dual-boot machines (Windows + Ubuntu)." BTW, I just remembered that I use GODI. Don't know if that is possible for you. Regards, Hugo F. http://ocaml.eclipse.free.fr/files/Ocaml_1.2.3.jar > > Best regards, > > Andrej > > _______________________________________________ > 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 >