Bug#415867: coq_8.1+dfsg-1(experimental/ia64/alkman): FTBFS: Expects files that get lost while building
Package: coq
Version: 8.1+dfsg-1
Severity: serious
Tags: experimental
| Automatic build of coq_8.1+dfsg-1 on alkman by sbuild/ia64 98-farm
| Build started at 20070316-1946
| ******************************************************************************
[...]
| OCAMLOPT -a -o lib/lib.cmxa
[...]
| cp lib/lib.cma kernel/kernel.cma library/library.cma pretyping/pretyping.cma interp/interp.cma proofs/proofs.cma parsing/parsing.cma tactics/tactics.cma toplevel/toplevel.cma parsing/highparsing.cma tactics/hightactics.cma contrib/contrib.cma lib/lib.cmxa kernel/kernel.cmxa library/library.cmxa pretyping/pretyping.cmxa interp/interp.cmxa proofs/proofs.cmxa parsing/parsing.cmxa tactics/tactics.cmxa toplevel/toplevel.cmxa parsing/highparsing.cmxa tactics/hightactics.cmxa contrib/contrib.cmxa /build/buildd/coq-8.1+dfsg/debian/tmp"/usr/lib/coq"
| cp: cannot stat `lib/lib.cmxa': No such file or directory
| cp: cannot stat `kernel/kernel.cmxa': No such file or directory
| cp: cannot stat `library/library.cmxa': No such file or directory
| cp: cannot stat `pretyping/pretyping.cmxa': No such file or directory
| cp: cannot stat `interp/interp.cmxa': No such file or directory
| cp: cannot stat `proofs/proofs.cmxa': No such file or directory
| cp: cannot stat `parsing/parsing.cmxa': No such file or directory
| cp: cannot stat `tactics/tactics.cmxa': No such file or directory
| cp: cannot stat `toplevel/toplevel.cmxa': No such file or directory
| cp: cannot stat `parsing/highparsing.cmxa': No such file or directory
| cp: cannot stat `tactics/hightactics.cmxa': No such file or directory
| cp: cannot stat `contrib/contrib.cmxa': No such file or directory
| make[1]: *** [install-library] Error 1
| make[1]: Leaving directory `/build/buildd/coq-8.1+dfsg'
| make: *** [install] Error 2
| ******************************************************************************
| Build finished at 20070316-2201
| FAILED [dpkg-buildpackage died]
| Build needed 02:12:00, 146980k disk space
A complete build log can be found at
http://experimental.debian.net/build.php?arch=ia64&pkg=coq&ver=8.1+dfsg-1
Somehow these files get lost during the build, or ocamlopt outputs them
to the wrong place.
Marc
--
BOFH #357:
I'd love to help you -- it's just that the Boss won't let me near
the computer.
Reply to: