Bug#495165: coq_8.2~beta4+dfsg-1(hppa/experimental): FTBFS: ocamlopt: command not found
Package: coq
Version: 8.2~beta4+dfsg-1
Severity: serious
Hi,
your package failed to build from source.
| Automatic build of coq_8.2~beta4+dfsg-1 on lofn by sbuild/hppa 98-farm
| Build started at 20080815-0318
| ******************************************************************************
| Checking available source versions...
| Fetching source files...
| Reading package lists...
| Building dependency tree...
| Need to get 3157kB of source archives.
| Get:1 http://sinclair.farm.ftbfs.de experimental/main coq 8.2~beta4+dfsg-1 (dsc) [1555B]
| Get:2 http://sinclair.farm.ftbfs.de experimental/main coq 8.2~beta4+dfsg-1 (tar) [3142kB]
| Get:3 http://sinclair.farm.ftbfs.de experimental/main coq 8.2~beta4+dfsg-1 (diff) [13.8kB]
| Fetched 3157kB in 3s (1041kB/s)
| Download complete and in download only mode
| ** Using build dependencies supplied by package:
| Build-Depends: debhelper (>= 4.0.0), dpkg-dev (>= 1.13.19), dpatch, ocaml-nox (>= 3.10), ocaml-best-compilers, camlp5, liblablgtk2-ocaml-dev (>= 2.4.0), texlive-latex-extra, hevea
| Checking for already installed source dependencies...
[...]
| OCAMLC4 parsing/g_constr.ml4
| Testing parsing/grammar.cma
| /bin/sh: ocamlopt: command not found
| make[2]: *** [parsing/grammar.cma] Error 127
| make[2]: Leaving directory `/build/buildd/coq-8.2~beta4+dfsg'
| make[1]: *** [stage1] Error 2
| make[1]: Leaving directory `/build/buildd/coq-8.2~beta4+dfsg'
| make: *** [build-stamp] Error 2
| dpkg-buildpackage: failure: debian/rules build gave error exit status 2
| ******************************************************************************
| Build finished at 20080815-0331
| FAILED [dpkg-buildpackage died]
Full build log(s): http://experimental.ftbfs.de/build.php?&ver=8.2~beta4+dfsg-1&pkg=coq&arch=hppa
Gruesse,
--
Frank Lichtenheld <djpig@debian.org>
www: http://www.djpig.de/
Reply to: