Package: coq
Version: 8.1~gamma-2
Severity: serious
Hi,
your package failed to build from source because it couldn't
find the ocamlopt command. I'm honestly not sure whether this
is a bug in your build-depends or in ocaml-nox, which seems to
have provided this command in the past, but doesn't do so anymore.
| Automatic build of coq_8.1~gamma-2 on meitner by sbuild/hppa 79
| Build started at 20061126-1620
| **
| coq_8.1~gamma-2.dsc exists in cwd
| ** Using build dependencies supplied by package:
| Build-Depends: debhelper (= 4.0.0), dpkg-dev (= 1.13.19), dpatch, ocaml-nox
(= 3.09.0), ocaml-best-compilers, liblablgtk2-ocaml-dev (= 2.4.0),
tetex-extra, hevea
| ** Filtered missing central deps that are dependencies of or provide
build-deps:
| libncurses5-dev (= 5.3.20030510-1)
[...]
| make[1]: Leaving directory `/build/buildd/coq-8.1~gamma'
| NATIVE CODE COMPILATION FAILED
| Coq was built in bytecode instead
| /usr/bin/make glob.dump
| make[1]: Entering directory `/build/buildd/coq-8.1~gamma'
| rm -f glob.dump
| rm -f theories/*/*.vo
| /usr/bin/make GLOB=-dump-glob glob.dump world
| make[2]: Entering directory `/build/buildd/coq-8.1~gamma'
| OCAMLOPT config/coq_config.ml
| /bin/sh: ocamlopt: command not found
| make[2]: *** [config/coq_config.cmx] Error 127
| make[2]: Leaving directory `/build/buildd/coq-8.1~gamma'
| make[1]: *** [glob.dump] Error 2
| make[1]: Leaving directory `/build/buildd/coq-8.1~gamma'
| make: *** [build-stamp] Error 2
| **
| Build finished at 20061126-1809
| FAILED [dpkg-buildpackage died]
Full build log(s):
http://experimental.ftbfs.de/build.php?ver=8.1~gamma-2pkg=coqarch=hppa
Gruesse,
--
Frank Lichtenheld [EMAIL PROTECTED]
www: http://www.djpig.de/
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of unsubscribe. Trouble? Contact [EMAIL PROTECTED]
