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. -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]