Bug#569391: matita: FTBFS: /bin/sh: query: not found
Source: matita
Version: 0.5.8-2
Severity: serious
User: debian-qa@lists.debian.org
Usertags: qa-ftbfs-20100211 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[4]: Entering directory `/build/user-matita_0.5.8-2-amd64-vFe0Ps/matita-0.5.8/components/extlib'
> Makefile:21: ../../Makefile.defs: No such file or directory
> 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-vFe0Ps/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/02/11/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: