Version française
Home     About     Download     Resources     Contact us    
Browse thread
Re : [Caml-list] ocamlbuild does not work with plugins on windows?
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Matthieu Wipliez <mwipliez@y...>
Subject: Re : [Caml-list] ocamlbuild does not work with plugins on windows?
Hi,

I actually had the exact same problem, so I think we can say it is a bug. Combined with the "tput not found" problem, the workaround I found (under Windows) is to give the following options to ocamlbuild:
    ocamlbuild -classic-display -no-log <other options>

I did not try very hard to find a more elegant solution though, but this works. Of course if you need the log, that's another problem :)

Cheers,
Matthieu


----- Message d'origine ----
De : "azarov@akado.ru" <azarov@akado.ru>
À : caml-list@yquem.inria.fr
Envoyé le : Mercredi, 30 Avril 2008, 21h53mn 10s
Objet : [Caml-list] ocamlbuild does not work with plugins on windows?

Hello,

I've come across the following problem with the ocamlbuild.
When it runs myocamlbuild plugin, this plugin seems to try
to remove log file, which in turn fails with "Permission
denied" exception (due to sharing violation). This behavior
seems quite strange; why should it remove log file for the
second time? 

It is really a bug, or I'm missing something?

I use Ocaml built from CVS (snapshot on April, 1) with
MSVC. But 3.10.2 seems to exhibit the same behavior (when
built with MSVC as well).

_______________________________________________
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


__________________________________________________
Do You Yahoo!?
En finir avec le spam? Yahoo! Mail vous offre la meilleure protection possible contre les messages non sollicités 
http://mail.yahoo.fr Yahoo! Mail