Bug#724163: marked as done (matita: FTBFS: make[2]: *** No rule to make target `Makefile.defs'. Stop.)
Your message dated Wed, 02 Oct 2013 12:18:55 +0000
with message-id <E1VRLOJ-0006wf-SL@franck.debian.org>
and subject line Bug#724163: fixed in matita 0.99.1-2
has caused the Debian Bug report #724163,
regarding matita: FTBFS: make[2]: *** No rule to make target `Makefile.defs'. Stop.
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.)
--
724163: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=724163
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message ---
- To: submit@bugs.debian.org
- Subject: matita: FTBFS: make[2]: *** No rule to make target `Makefile.defs'. Stop.
- From: David Suárez <david.sephirot@gmail.com>
- Date: Sun, 22 Sep 2013 20:52:15 +0200
- Message-id: <20130922185215.GA27681@Aeris.MIDGAR>
Source: matita
Version: 0.99.1-1
Severity: serious
Tags: jessie sid
User: debian-qa@lists.debian.org
Usertags: qa-ftbfs-20130922 qa-ftbfs
Justification: FTBFS on amd64
Hi,
During a rebuild of all packages in sid, your package failed to build on
amd64.
Relevant part (hopefully):
> fakeroot debian/rules clean
> dh clean
> dh_testdir
> debian/rules override_dh_auto_clean
> make[1]: Entering directory `/«PKGBUILDDIR»'
> dh_auto_clean
> make[2]: Entering directory `/«PKGBUILDDIR»'
> Makefile:3: Makefile.defs: No such file or directory
> make[2]: *** No rule to make target `Makefile.defs'. Stop.
> make[2]: Leaving directory `/«PKGBUILDDIR»'
> dh_auto_clean: make -j1 distclean returned exit code 2
> make[1]: *** [override_dh_auto_clean] Error 2
The full build log is available from:
http://aws-logs.debian.net/ftbfs-logs/2013/09/22/matita_0.99.1-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 EC2 VM instances from
Amazon Web Services, using a clean, minimal and up-to-date chroot. Every
failed build was retried once to eliminate random failures.
--- End Message ---
--- Begin Message ---
Source: matita
Source-Version: 0.99.1-2
We believe that the bug you reported is fixed in the latest version of
matita, which is due to be installed in the Debian FTP archive.
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 724163@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Enrico Tassi <gareuselesinge@debian.org> (supplier of updated matita 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@ftp-master.debian.org)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Wed, 02 Oct 2013 11:16:08 +0200
Source: matita
Binary: matita
Architecture: source amd64
Version: 0.99.1-2
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Enrico Tassi <gareuselesinge@debian.org>
Description:
matita - interactive theorem prover
Closes: 724163
Changes:
matita (0.99.1-2) unstable; urgency=low
.
* Fix clean target (Closes: 724163)
Checksums-Sha1:
6220ad89c5bba75ab5c2a4aec9c6e5adc834bca7 1542 matita_0.99.1-2.dsc
81316a052c476628bdc6df1bee1118ee6ffd5a9a 4329 matita_0.99.1-2.debian.tar.gz
5db43cfae324b1324166b775c6bda7e05a95fd25 2373784 matita_0.99.1-2_amd64.deb
Checksums-Sha256:
073dc328ba3a45ed71d194caa5c373fbe769e0b29a19cc1a62e97a6c2aafdae3 1542 matita_0.99.1-2.dsc
6c36f26eb9694d812aafd652d08a0c92543f1d60a5a68b0e421ad0f29f03e965 4329 matita_0.99.1-2.debian.tar.gz
c91ff2a28dc1d64818a019a564765f8fd3bd543c017ac053492409fb622ec899 2373784 matita_0.99.1-2_amd64.deb
Files:
d6148f6c594fb33b1ca4b045e66dd943 1542 math optional matita_0.99.1-2.dsc
fd2a410426f5f214bc57eb854dcc0283 4329 math optional matita_0.99.1-2.debian.tar.gz
eff3a7f8f7d4dd122066e1a04c086037 2373784 math optional matita_0.99.1-2_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.14 (GNU/Linux)
iEYEARECAAYFAlJMDAIACgkQ7kkcPgEj8vI1pACeKtftxoGG/gZSoKfaaaVw2c05
LmsAnidbw3g4GEh5WnlUPYwmbeG6lWG8
=9TMI
-----END PGP SIGNATURE-----
--- End Message ---
Reply to: