The Coq mailing list

[Mike Hogan <MikeHogan62 AT gmail.com>]

copying \usr\local\bin\ocamlc.opt to ocamlopt seems to get around the problem
... might even let me build using "best_compiler=opt" ...


Mike Hogan wrote:
> 
> 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#a13828600
Sent from the Coq mailing list archive at Nabble.com.