The Coq mailing list

[Mike Hogan <MikeHogan62 AT gmail.com>]

I am having a similar problem building coq for the Playstation 3 (Cell BE
processor, ppc compatible, running Yellow Dog Linux 5.0.2)

OCAMLC4   parsing/g_constr.ml4
Testing parsing/grammar.cma
/bin/sh: ocamlopt: command not found
make: *** [parsing/grammar.cma] Error 127

- have ocaml-3.10.0
- set best_compiler=byte
- have not made the various camlp5 changes to the build files (hoping to get
away w/o this, although I do have caml5p available)

in my case, it seems like the basic problem is the attempt to invoke
ocamlopt (not available on my system), in apparent contradiction to the
hardwired "best_compiler=byte" option.


-- 
View this message in context: 
http://www.nabble.com/compilation-of-coq-svn-on-mac-tf4543448.html#a13828141
Sent from the Coq mailing list archive at Nabble.com.