Remi Vanicat <[EMAIL PROTECTED]> writes: > Mike Furr <[EMAIL PROTECTED]> 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 -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
