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

[Remi Vanicat <vanicat@debian.org>]

Remi Vanicat <vanicat@debian.org> writes:

> Mike Furr <mfurr@debian.org> writes:
>
>> Therefore, when I try and compile the examples(with OCamlMakefile), it
>> tries to recompile gl.mli -> gl.cmi.  While this is technically the
>> correct behavior for OCamlMakefile, it makes it unusable unless I go
>> in as root and touch the files in the right order.  However, as this
>> race condition could occur in any ocaml package, I thought I would
>> just report it here as a central point.  I guess the only way to truly
>> correct this is to require all ocaml packages to ensure the timestamps
>> are correct upon installation, but perhaps a work around could be
>> implemented inside of OCamlMakefile itself instead.
>
>
> What is strange here is that OCamlMakefile use explicit depend over
> some system library. It should not even bother. He may even not know
> that there exist a gl.cmi (and gl.mli) file. How do you use the
> OCamlMakefile ?

precisely this Makefile do Work :

OCAMLMAKEFILE=/usr/share/ocaml-tools/OCamlMakefile
INCDIRS = +labltk +lablgl
LIBS = labltk togl lablgl

RESULT=gears
SOURCES=gears.ml

-include $(OCAMLMAKEFILE)



then
make 
produce the executable "gears" from gears.ml using the OCAMLMAKEFILE
and lablgl.





-- 
Rémi Vanicat