[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#400535: coq_8.1~gamma-2(hppa/experimental): FTBFS: ocamlopt: command not found



Hi,

Frank Lichtenheld wrote:
> 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.

Thanks! In fact, this looks like an upstream bug and I'm waiting them to
reply to a mail I sent them about this. If you look at the configure:

$ ./configure --prefix /usr --mandir /usr/share/man --emacslib
/usr/share/emacs/site-lisp/coq --reals all --fsets all; \

You have Objective-Caml 3.09.2. Good!
./configure: line 341: ocamlopt: command not found
native and bytecode compilers do not have the same version!
You have native-code compilation. Good!

Whereas ocamlopt not found means precisely that no native-code
compilation is available...

Cheers,

Samuel.



Reply to: