[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: Bug#238257: race condition on timestamps for cmi/mli files



On Tue, Mar 16, 2004 at 09:42:38AM +0100, Sven Luther wrote:
> > While playing around with the OpenGL bindings, I came across this
> > annoying behavior with OCamlMakefile.  It seems that during the
> > installation of lablgl, the following timestamps occured:
> Just don't use OcamlMakefile, i really don't like the concept myself,

I don't think this is a satisfying answer for the bug reporter, don't
you think the same? Why not suggesting not using ocaml at all? <g>

Unfortunately I'm unable to help here since I'm not an OCamlMakefile
user, but it seems to me that this is an upstream bug. Mike, could you
please check if the bug applies also to the latest OCamlMakefile version
available here: http://www.ai.univie.ac.at/~markus/home/ocaml_sources.html

The debian package is slightly out of date and is possible that upstream
the bug has already been fixed. It this is not the case we will forward
it upstream.

Thanks for the report.
Cheers.

-- 
Stefano Zacchiroli -*- Computer Science PhD student @ Uny Bologna, Italy
zack@{cs.unibo.it,debian.org,bononia.it} -%- http://www.bononia.it/zack/
If there's any real truth it's that the entire multidimensional infinity
of the Universe is almost certainly being run by a bunch of maniacs. -!-

Attachment: signature.asc
Description: Digital signature


Reply to: