Package: ocaml-tools Version: 2003.10.03-1 Severity: normal Hello ocaml-maint team,
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: 2004-01-16 02:18:32 -0500 gl.cmi 2004-01-16 02:18:33 -0500 gl.cmx 2004-01-16 02:18:33 -0500 gl.mli 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. -- System Information: Debian Release: testing/unstable APT prefers unstable APT policy: (500, 'unstable') Architecture: i386 (i686) Kernel: Linux 2.6.3 Locale: LANG=C, LC_CTYPE=C Versions of packages ocaml-tools depends on: ii ocaml-base [ocaml-base-3.07] 3.07.2a-2 Runtime system for ocaml bytecode -- no debconf information -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
