Bug#724163: matita: FTBFS: make[2]: *** No rule to make target `Makefile.defs'. Stop.
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.
Reply to: