The Coq mailing list

[anoun AT labri.fr]

Hi,
I installed both coq rpm and coqide, but I'm now unable to declare ML modules
inside Coq files...
I used to put all the files identifiers (ml and coq) in a Make file beginning 
by
the option OPT= -byte to generate a makefile for the whole files
After compiling, I had a message of the form 'file.cmo' is not a bytecode 
object
file??
Can anyone explain me what to do to solve this error? I tried to install the
sources of coqide so that I can use the version of coq I compiled myself but I
couldn't do that :-(
Please help me
Houda

----------------------------------------------------------------
This message was sent using IMP, the Internet Messaging Program.