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

Bug#242761: marked as done (coq: FTBFS: waits for input)



Your message dated Fri, 09 Apr 2004 13:17:03 -0400
with message-id <E1BBzcl-000231-00@newraff.debian.org>
and subject line Bug#242761: fixed in coq 7.3.1-3
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; 8 Apr 2004 15:46:00 +0000
>From tbm@cyrius.com Thu Apr 08 08:46:00 2004
Return-path: <tbm@cyrius.com>
Received: from sorrow.cyrius.com [65.19.161.204] 
	by spohr.debian.org with esmtp (Exim 3.35 1 (Debian))
	id 1BBbj6-0000aO-00; Thu, 08 Apr 2004 08:46:00 -0700
Received: by sorrow.cyrius.com (Postfix, from userid 10)
	id D645F64D4F; Thu,  8 Apr 2004 15:45:56 +0000 (UTC)
Received: by deprecation.cyrius.com (Postfix, from userid 1000)
	id 210E81081B; Thu,  8 Apr 2004 16:45:16 +0100 (BST)
Date: Thu, 8 Apr 2004 16:45:16 +0100
From: Martin Michlmayr <tbm@cyrius.com>
To: submit@bugs.debian.org
Subject: coq: FTBFS: waits for input
Message-ID: <[🔎] 20040408154515.GA20302@deprecation.cyrius.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
User-Agent: Mutt/1.5.5.1+cvs20040105i
Delivered-To: submit@bugs.debian.org
X-Spam-Checker-Version: SpamAssassin 2.60-bugs.debian.org_2004_03_25 
	(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_25
X-Spam-Level: 
X-CrossAssassin-Scores: 1

Package: coq
Version: 7.3.1-2

I tried building coq from source and it only hangs, waiting for input.  I tried
this with sbuild on i386 and mipsel, and by hand on i386.  The package
obvioulsed used to build but it seems it no longer does.  Can you please check
what's going on there?

> mv -f patch-stampT patch-stamp
> dh_testdir
> ./configure -opt --prefix /usr --mandir /usr/share/man --emacslib /usr/share/emacs/site-lisp/coq || ./configure --prefix /usr --mandir /usr/share/man --emacslib /usr/share/emacs/site-lisp/coq
> ocamlc.opt is not present in your path !
> Give me manually the path to the ocamlc executable [/usr/local/bin by default]:

-- 
Martin Michlmayr
tbm@cyrius.com

---------------------------------------
Received: (at 242761-close) by bugs.debian.org; 9 Apr 2004 17:23:20 +0000
>From katie@ftp-master.debian.org Fri Apr 09 10:23:20 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 1BBziq-00015C-00; Fri, 09 Apr 2004 10:23:20 -0700
Received: from katie by newraff.debian.org with local (Exim 3.35 1 (Debian))
	id 1BBzcl-000231-00; Fri, 09 Apr 2004 13:17:03 -0400
From: Ralf Treinen <treinen@debian.org>
To: 242761-close@bugs.debian.org
X-Katie: $Revision: 1.47 $
Subject: Bug#242761: fixed in coq 7.3.1-3
Message-Id: <E1BBzcl-000231-00@newraff.debian.org>
Sender: Archive Administrator <katie@ftp-master.debian.org>
Date: Fri, 09 Apr 2004 13:17:03 -0400
Delivered-To: 242761-close@bugs.debian.org
X-Spam-Checker-Version: SpamAssassin 2.60-bugs.debian.org_2004_03_25 
	(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_25
X-Spam-Level: 
X-CrossAssassin-Scores: 1

Source: coq
Source-Version: 7.3.1-3

We believe that the bug you reported is fixed in the latest version of
coq, which is due to be installed in the Debian FTP archive:

coq_7.3.1-3.diff.gz
  to pool/main/c/coq/coq_7.3.1-3.diff.gz
coq_7.3.1-3.dsc
  to pool/main/c/coq/coq_7.3.1-3.dsc
coq_7.3.1-3_i386.deb
  to pool/main/c/coq/coq_7.3.1-3_i386.deb



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 242761@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Ralf Treinen <treinen@debian.org> (supplier of updated coq 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: Fri,  9 Apr 2004 18:03:41 +0200
Source: coq
Binary: coq
Architecture: source i386
Version: 7.3.1-3
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Ralf Treinen <treinen@debian.org>
Description: 
 coq        - Proof assistant for higher-order logic
Closes: 242761
Changes: 
 coq (7.3.1-3) unstable; urgency=low
 .
   * Added build-dependency on ocaml-best-compilers, check for opt compilers
     in the configure-stamp target of debian/rules. Thanks to Mike Furr for
     the patch (closes: #242761).
   * Converted changelog to UTF-8.
Files: 
 b39aa257a852f209b36345202e0e1319 799 devel optional coq_7.3.1-3.dsc
 7e3c6aa74a21797abd554b929beef68b 8521 devel optional coq_7.3.1-3.diff.gz
 f39734a2edfe2d7d35809122b688a818 7546024 devel optional coq_7.3.1-3_i386.deb

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.2.4 (GNU/Linux)

iD8DBQFAdtdOtzWmSeC6BMERAsgrAJ9A+vY4IdpIfukiF0vu8q1tJusmzQCfbI4j
UbxeXlamLzfXZ2V4f/plHik=
=ithR
-----END PGP SIGNATURE-----



Reply to: