Ssreflect Users Discussion List

[Guillaume Melquiond <>]

 a écrit :
> > You have to manually install the ide/*.cmi and ide/ide.*a files into your
> > Coq library directory. Or you could use the source Coq instead of the
> > installed Coq to create the toplevel.
>
> Should I install them to lib/coq/lib ?
> I tried by install them to both lib/coq/lib and lib/coq/lib/ide, but I seem to
> have the same error.

To lib/coq/lib/ide (it should already contain coq.png for instance).

Did you install all the three files ide.a, ide.cma, ide.cmxa?
(Only the first two for bytecode, I guess.)

Best regards,

Guillaume