Bug#415867: coq_8.1+dfsg-1(experimental/ia64/alkman): FTBFS: Expects files that get lost while building

2007-03-23 Thread Samuel Mimram
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

Bug#415867: coq_8.1+dfsg-1(experimental/ia64/alkman): FTBFS: Expects files that get lost while building

2007-03-22 Thread Marc 'HE' Brockschmidt
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 [...]

Bug#415867: coq_8.1+dfsg-1(experimental/ia64/alkman): FTBFS: Expects files that get lost while building

2007-03-22 Thread Ralf Treinen
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