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
>