Bug#415867: coq_8.1+dfsg-1(experimental/ia64/alkman): FTBFS: Expects files that get lost while building
Ralf Treinen wrote: > These files are not lost, they are never built on architectures that do not > support compilation of ocaml to native code. This seems to be a bug in the > upstream Makefile: Yes, it is the usual I-didn't-think-of-non-native-archs bug in the Makefile. This will get corrected by the time I make an upload to unstable. Cheers, Samuel. -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
Bug#415867: coq_8.1+dfsg-1(experimental/ia64/alkman): FTBFS: Expects files that get lost while building
These files are not lost, they are never built on architectures that do not support compilation of ocaml to native code. This seems to be a bug in the upstream Makefile: OBJECTCMXA=$(OBJECTCMA:.cma=.cmxa) install-library: [...] cp $(OBJECTCMA) $(OBJECTCMXA) $(FULLCOQLIB) This should accomodate for the fact that there may be no .cmxa files. -Ralf. -- -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
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. -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]