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. -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]