Ssreflect Users Discussion List

[Guillaume Melquiond <>]

Le mercredi 13 octobre 2010 à 17:28 +0200, Nils Jähnig a écrit :

> nils@mann:~/Coq_Versuch/ssreflect-1.2/src$ coqmktop -ide -opt
> ssreflect.cmx -o ../bin/ssrcoqide
> File "/tmp/coqmain2f2655.ml", line 2, characters 17-29:
> Error: Unbound value Coqide.start
> 
> what i am doing wrong or how can this be fixed?
> 
> i compiled compiled coq and ssreflect myself (from recent downloads),
> and am using Ubuntu 10.4

At a time, Coq was not properly installing its interface files. In
particular, the /usr/lib/coq/ide directory was more or less empty. It
should at least contain coqide.cmi, coqide.cmx, ide.a, ide.cma,
ide.cmxa. (Your error is caused by coqide.cmi missing.)

What I usually do on Ubuntu computers is to download the source package
(apt-get source coqide), compile it (fakeroot debian/rules binary), then
manually copy the missing files from the source directory to the install
directory.

Best regards,

Guillaume