Bug#400535: coq_8.1~gamma-2(hppa/experimental): FTBFS: ocamlopt: command not found
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-2&pkg=coq&arch=hppa
Gruesse,
--
Frank Lichtenheld <frank@lichtenheld.de>
www: http://www.djpig.de/
Reply to: