The Coq mailing list

[Pierre Letouzey <pierre.letouzey AT inria.fr>]

----- Mail original -----
> After commenting out the -mno-cygwin flag, I get
> 
> OCAMLC    kernel/byterun/coq_interp.c
> cd kernel/byterun/ && \
> "ocamlmklib" -oc coqrun coq_fix_code.o coq_memory.o coq_values.o
> coq_interp.o
> "ranlib" kernel/byterun/libcoqrun.a
> COQMKTOP -o bin/coqtop.byte.exe
> The system cannot find the path specified.

Which version of Coq are you using ? A few of my recent commits (e.g. 15687)
might help concerning this kind of path-related issues. Could you please
try with today's svn version (either trunk or v8.4 branch) ? 

> Tangentially, I'm still trying to get native code compilation working with
> ocaml.  Do you know the right invocation of make && make install for camlp5
> to get it to install the .cmxa files (which seem to be what Coq's configure
> looks for)?
> 

Normally, it's make world.opt && make install. But I haven't tried it myself
on windows. Alternatively, you can now use camlp4 (the one coming along with
ocaml) instead of camlp5, it should work as well. Simply add the -usecamlp4
option to coq's configure, or remove your partial camlp5 installation and
let coq's configure pick the available camlpX (only in recent svn version).

Best regards
Pierre