Bug#577311: matita: FTBFS: /bin/sh: query: not found
Source: matita
Version: 0.5.8-2
Severity: serious
Tags: squeeze sid
User: debian-qa@lists.debian.org
Usertags: qa-ftbfs-20100410 qa-ftbfs
Justification: FTBFS on amd64
Hi,
During a rebuild of all packages in sid, your package failed to build on
amd64.
Relevant part:
> /usr/bin/fakeroot debian/rules clean
> test -x debian/rules
> dh_testroot
> rm -f debian/stamp-makefile-build debian/stamp-makefile-install
> /usr/bin/make -C . -k distclean
> Makefile:3: Makefile.defs: No such file or directorymake[1]: Entering directory `/build/user-matita_0.5.8-2-amd64-jBGl1S/matita-0.5.8'
>
> make[1]: *** No rule to make target `Makefile.defs'.
> make[1]: Failed to remake makefile `Makefile.defs'.
> Makefile:3: Makefile.defs: No such file or directorymake[2]: Entering directory `/build/user-matita_0.5.8-2-amd64-jBGl1S/matita-0.5.8'
>
> make[2]: *** No rule to make target `Makefile.defs'.
> make[2]: Failed to remake makefile `Makefile.defs'.
> make -C components distclean DESTDIR=/build/user-matita_0.5.8-2-amd64-jBGl1S/matita-0.5.8/
> Makefile:4: ../Makefile.defs: No such file or directorymake[3]: Entering directory `/build/user-matita_0.5.8-2-amd64-jBGl1S/matita-0.5.8/components'
>
> make[3]: *** No rule to make target `../Makefile.defs'.
> make[3]: Failed to remake makefile `../Makefile.defs'.
> Makefile:21: ../../Makefile.defs: No such file or directorymake[4]: Entering directory `/build/user-matita_0.5.8-2-amd64-jBGl1S/matita-0.5.8/components/extlib'
>
> make[4]: -query: Command not found
> /bin/sh: query: not found
> /bin/sh: query: not found
> /bin/sh: query: not found
> make[4]: *** No rule to make target `../../Makefile.defs'.
> make[4]: Failed to remake makefile `../../Makefile.defs'.
> rm -f *.cm[ioax] *.cmxa *.o *.a *.annot
> if [ -f test ]; then rm -f test; else true; fi
> if [ -f test.opt ]; then rm -f test.opt; else true; fi
> make[4]: Leaving directory `/build/user-matita_0.5.8-2-amd64-jBGl1S/matita-0.5.8/components/extlib'
> make[3]: *** [rec@clean@extlib] Error 2
The full build log is available from:
http://people.debian.org/~lucas/logs/2010/04/10/matita_0.5.8-2_lsid64.buildlog
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.
--
| Lucas Nussbaum
| lucas@lucas-nussbaum.net http://www.lucas-nussbaum.net/ |
| jabber: lucas@nussbaum.fr GPG: 1024D/023B3F4F |
Reply to: