Bug#238257: marked as done (race condition on timestamps for cmi/mli files)
Your message dated Thu, 18 Mar 2004 14:32:05 -0500
with message-id <E1B43FN-00049y-00@newraff.debian.org>
and subject line Bug#238257: fixed in ocaml-tools 2004.03.18-1
has caused the attached Bug report to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what I am
talking about this indicates a serious mail system misconfiguration
somewhere. Please contact me immediately.)
Debian bug tracking system administrator
(administrator, Debian Bugs database)
--------------------------------------
Received: (at submit) by bugs.debian.org; 16 Mar 2004 05:50:17 +0000
>From furrm@pcp227187pcs.catonv01.md.comcast.net Mon Mar 15 21:50:17 2004
Return-path: <furrm@pcp227187pcs.catonv01.md.comcast.net>
Received: from sccrmhc11.comcast.net [204.127.202.55]
by spohr.debian.org with esmtp (Exim 3.35 1 (Debian))
id 1B37Sz-0004bY-00; Mon, 15 Mar 2004 21:50:17 -0800
Received: from orthrus (pcp01781388pcs.howard01.md.comcast.net[68.32.48.24])
by comcast.net (sccrmhc11) with ESMTP
id <2004031605494601100lcvtbe>; Tue, 16 Mar 2004 05:49:46 +0000
Received: from furrm by orthrus with local (Exim 3.36 #1 (Debian))
id 1B37ST-0008H9-00; Tue, 16 Mar 2004 00:49:45 -0500
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
From: Mike Furr <mfurr@debian.org>
To: Debian Bug Tracking System <submit@bugs.debian.org>
Subject: race condition on timestamps for cmi/mli files
X-Mailer: reportbug 2.52
Date: Tue, 16 Mar 2004 00:49:45 -0500
Message-Id: <[🔎] E1B37ST-0008H9-00@orthrus>
Delivered-To: submit@bugs.debian.org
X-Spam-Checker-Version: SpamAssassin 2.60-bugs.debian.org_2004_03_12
(1.212-2003-09-23-exp) on spohr.debian.org
X-Spam-Status: No, hits=-7.0 required=4.0 tests=BAYES_00,HAS_PACKAGE
autolearn=no version=2.60-bugs.debian.org_2004_03_12
X-Spam-Level:
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
---------------------------------------
Received: (at 238257-close) by bugs.debian.org; 18 Mar 2004 19:38:07 +0000
>From katie@ftp-master.debian.org Thu Mar 18 11:38:07 2004
Return-path: <katie@ftp-master.debian.org>
Received: from newraff.debian.org [208.185.25.31] (mail)
by spohr.debian.org with esmtp (Exim 3.35 1 (Debian))
id 1B43LD-0003V1-00; Thu, 18 Mar 2004 11:38:07 -0800
Received: from katie by newraff.debian.org with local (Exim 3.35 1 (Debian))
id 1B43FN-00049y-00; Thu, 18 Mar 2004 14:32:05 -0500
From: Remi Vanicat <vanicat@debian.org>
To: 238257-close@bugs.debian.org
X-Katie: $Revision: 1.45 $
Subject: Bug#238257: fixed in ocaml-tools 2004.03.18-1
Message-Id: <E1B43FN-00049y-00@newraff.debian.org>
Sender: Archive Administrator <katie@ftp-master.debian.org>
Date: Thu, 18 Mar 2004 14:32:05 -0500
Delivered-To: 238257-close@bugs.debian.org
X-Spam-Checker-Version: SpamAssassin 2.60-bugs.debian.org_2004_03_12
(1.212-2003-09-23-exp) on spohr.debian.org
X-Spam-Status: No, hits=-5.0 required=4.0 tests=BAYES_00,HAS_BUG_NUMBER
autolearn=no version=2.60-bugs.debian.org_2004_03_12
X-Spam-Level:
Source: ocaml-tools
Source-Version: 2004.03.18-1
We believe that the bug you reported is fixed in the latest version of
ocaml-tools, which is due to be installed in the Debian FTP archive:
ocaml-tools_2004.03.18-1.diff.gz
to pool/main/o/ocaml-tools/ocaml-tools_2004.03.18-1.diff.gz
ocaml-tools_2004.03.18-1.dsc
to pool/main/o/ocaml-tools/ocaml-tools_2004.03.18-1.dsc
ocaml-tools_2004.03.18-1_all.deb
to pool/main/o/ocaml-tools/ocaml-tools_2004.03.18-1_all.deb
ocaml-tools_2004.03.18.orig.tar.gz
to pool/main/o/ocaml-tools/ocaml-tools_2004.03.18.orig.tar.gz
A summary of the changes between this version and the previous one is
attached.
Thank you for reporting the bug, which will now be closed. If you
have further comments please address them to 238257@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Remi Vanicat <vanicat@debian.org> (supplier of updated ocaml-tools package)
(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmaster@debian.org)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.7
Date: Thu, 18 Mar 2004 17:34:32 +0100
Source: ocaml-tools
Binary: ocaml-tools
Architecture: source all
Version: 2004.03.18-1
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Remi Vanicat <vanicat@debian.org>
Description:
ocaml-tools - Various tools for ocaml programmers
Closes: 235720 238257
Changes:
ocaml-tools (2004.03.18-1) unstable; urgency=low
.
* OCamlMakefile: new upstream: do not look anymore for
dependency into the system library (Closes: #238257).
* Change URL in copyright file, (Closes: #235720).
Files:
2352e9f490007bd0db61aa7582176cdd 830 devel optional ocaml-tools_2004.03.18-1.dsc
af227a64d317d8c4fb687708846d6dfd 41165 devel optional ocaml-tools_2004.03.18.orig.tar.gz
370ed9d67ba20fa9260f7c0f20788131 4176 devel optional ocaml-tools_2004.03.18-1.diff.gz
5f3eb9f49295a1a2be4c9a74be47b827 53804 devel optional ocaml-tools_2004.03.18-1_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.2.4 (GNU/Linux)
iD8DBQFAWfQksOGY15BXtdMRAuUWAJ96gGFrZbE8E/VxRFjlidybvgfKbQCfWz3G
Uyxk0/XZv1W7qjuE3BBRLhk=
=OPwd
-----END PGP SIGNATURE-----
Reply to: