Bug#669539: marked as done (alt-ergo: FTBFS: make[2]: autoconf: Command not found)
Your message dated Mon, 14 May 2012 12:32:12 +0000
with message-id <E1STuRg-0002TA-Vz@franck.debian.org>
and subject line Bug#669539: fixed in alt-ergo 0.94-2
has caused the Debian Bug report #669539,
regarding alt-ergo: FTBFS: make[2]: autoconf: Command not found
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 this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact owner@bugs.debian.org
immediately.)
--
669539: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=669539
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message ---
Source: alt-ergo
Version: 0.94-1
Severity: serious
Tags: wheezy sid
User: debian-qa@lists.debian.org
Usertags: qa-ftbfs-20120419 qa-ftbfs
Justification: FTBFS on amd64
Hi,
During a rebuild of all packages in sid, your package failed to build on
amd64.
Relevant part:
> make[1]: Entering directory `/«PKGBUILDDIR»'
> for i in .depend; do \
> cp -ax $i $i.debian; \
> done
> /usr/bin/make all altgr-ergo.opt
> make[2]: Entering directory `/«PKGBUILDDIR»'
> autoconf
> make[2]: autoconf: Command not found
> make[2]: *** [configure] Error 127
The full build log is available from:
http://people.debian.org/~lucas/logs/2012/04/19/alt-ergo_0.94-1_unstable.log
A list of current common problems and possible solutions is available at
http://wiki.debian.org/qa.debian.org/FTBFS . You're welcome to contribute!
About the archive rebuild: The rebuild was done on about 50 AMD64 nodes
of the Grid'5000 platform, using a clean chroot. Internet was not
accessible from the build systems.
--- End Message ---
--- Begin Message ---
Source: alt-ergo
Source-Version: 0.94-2
We believe that the bug you reported is fixed in the latest version of
alt-ergo, which is due to be installed in the Debian FTP archive:
alt-ergo_0.94-2.diff.gz
to main/a/alt-ergo/alt-ergo_0.94-2.diff.gz
alt-ergo_0.94-2.dsc
to main/a/alt-ergo/alt-ergo_0.94-2.dsc
alt-ergo_0.94-2_amd64.deb
to main/a/alt-ergo/alt-ergo_0.94-2_amd64.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 669539@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Mehdi Dogguy <mehdi@debian.org> (supplier of updated alt-ergo 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.8
Date: Mon, 14 May 2012 14:11:48 +0200
Source: alt-ergo
Binary: alt-ergo
Architecture: source amd64
Version: 0.94-2
Distribution: unstable
Urgency: high
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Mehdi Dogguy <mehdi@debian.org>
Description:
alt-ergo - Automatic theorem prover dedicated to program verification
Closes: 669539
Changes:
alt-ergo (0.94-2) unstable; urgency=high
.
* Add autoconf to Build-Depends to resolve an FTBFS (Closes: #669539).
* Setting urgency to "high" to fix the RC bug.
Checksums-Sha1:
179168af7c373c00c25d60bf67503690d22240dd 1770 alt-ergo_0.94-2.dsc
00f14018208f4f83d2d6f674b2dddf0ac050cd24 13077 alt-ergo_0.94-2.diff.gz
27ea4077f95ec22dd71412d52460fcbbf42f3127 2444692 alt-ergo_0.94-2_amd64.deb
Checksums-Sha256:
9e713b360cd1fcea0080c17edb7a0f5fedf9e4cf9d34284cdfa997cf5852e88a 1770 alt-ergo_0.94-2.dsc
03605d327d77a760740538933188899f8373db6c454a053cf04a27996a69a2f2 13077 alt-ergo_0.94-2.diff.gz
c76a004dbe6f7a33ca14b8823b7c2ed622b8e4783afdaa050f2eac7bcbec63c8 2444692 alt-ergo_0.94-2_amd64.deb
Files:
bd336e7906352c33c183b2381b34e98e 1770 math optional alt-ergo_0.94-2.dsc
1f9f240a6aa97e4e47e7313aada922a9 13077 math optional alt-ergo_0.94-2.diff.gz
fa91dae6b02d1449ad70e61c1fb19fdb 2444692 math optional alt-ergo_0.94-2_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)
iQEcBAEBAgAGBQJPsPmUAAoJEDe1GR0FRlJoG48H/2mxNsxeUwcZ1t2rfemQMSSy
+hU1Dfn3ZkZdVfN8/JytfOhrul3UodPYjcb49i4VI9abXNjNRktAxyvSjo5al/6A
kLOgS7vHc8HUfTBppDXLQg0stYiqjZnhYi+SA9H6trlVbVkzLUu3AXd/GsCYS1wq
q1wxCVmLlJM5QkEwENOJcUeOsQKuobng9Rz2ONzT+DaeT+S/5q/C9zvM8ZR1iBDu
k1sTRPxkEM5upSGBCenrJC/a1JnWdG71vnasOFSwlm00Q3Nu6f7WW60SS9Ccpytr
6m/v7AlzscVM6WVulYIJzTdr5/OkgEQZ/3FB4mEhN6gR2In0n+UhJ2sN6y6FuEI=
=1jdo
-----END PGP SIGNATURE-----
--- End Message ---
Reply to: