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
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
[...]
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
3 matches
Mail list logo