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.1 required=5.0 tests=AWL,MISSING_HEADERS 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 5A167BB84 for ; Fri, 26 Sep 2008 15:33:29 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ap8DAGqB3EjBAkMtiGdsb2JhbACTHwEBARUiqTOBZA X-IronPort-AV: E=Sophos;i="4.33,314,1220220000"; d="scan'208";a="17791647" Received: from discorde.inria.fr ([192.93.2.38]) by mail1-smtp-roc.national.inria.fr with ESMTP; 26 Sep 2008 15:33:29 +0200 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id m8QDXS96030333 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Fri, 26 Sep 2008 15:33:29 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ap8DAGqB3EjBAkMtiGdsb2JhbACTHwEBARUiqTOBZA X-IronPort-AV: E=Sophos;i="4.33,314,1220220000"; d="scan'208";a="17791644" Received: from postar.fmf.uni-lj.si ([193.2.67.45]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/ADH-AES256-SHA; 26 Sep 2008 15:33:28 +0200 Received: from localhost (localhost [127.0.0.1]) by postar.fmf.uni-lj.si (Postfix) with ESMTP id 29656B0AE7D for ; Fri, 26 Sep 2008 15:33:28 +0200 (CEST) X-Virus-Scanned: Debian amavisd-new at fmf.uni-lj.si Received: from postar.fmf.uni-lj.si ([127.0.0.1]) by localhost (postar.fmf.uni-lj.si [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id g91u4iHShhLF for ; Fri, 26 Sep 2008 15:33:20 +0200 (CEST) Received: from [193.2.67.88] (ditka.fmf.uni-lj.si [193.2.67.88]) by postar.fmf.uni-lj.si (Postfix) with ESMTP id 8241BB0AE99 for ; Fri, 26 Sep 2008 15:33:19 +0200 (CEST) Message-ID: <48DCE49F.7000604@fmf.uni-lj.si> Date: Fri, 26 Sep 2008 15:33:19 +0200 From: Andrej Bauer Reply-To: Andrej.Bauer@andrej.com User-Agent: Thunderbird 2.0.0.16 (X11/20080724) MIME-Version: 1.0 Cc: Caml Subject: Re: [Caml-list] Teaching ocaml programming References: <48DCC7B8.4070700@fmf.uni-lj.si> <48DCDF9D.6040401@inescporto.pt> In-Reply-To: <48DCDF9D.6040401@inescporto.pt> Content-Type: text/plain; charset=ISO-8859-2; format=flowed Content-Transfer-Encoding: 7bit X-Miltered: at discorde with ID 48DCE4A8.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; andrej:01 andrej:01 ocaml:01 compilation:01 wrote:01 symbolic:01 caml-list:01 executables:01 programming:03 let:03 simpler:05 trick:06 path:07 teaching:08 bash:08 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. Has this been fixed yet? (Also, ocamlbuild assumes bash is in the path, also under Windows.) Best regards, Andrej