Ssreflect Users Discussion List

[Nils Jähnig <>]

Hi,

thanks for your solution, but it didn't work for me.
i got the sources with apt-get (they are called coq-8.2.pl1+dfsg).
i called "./configure -prefix ~/coq1" to not confuse with my "real"
installation (which is coq-8.2pl2) and then tried to compile, but got
this error (after make world)

make[1]: *** Keine Regel vorhanden, um das Target
»doc/common/styles/html/simple/styles.hva«,
  benötigt von »doc/refman/styles.hva«, zu erstellen.  Schluss.

it's in german, but you can see what it means: no rule to create the
target ... it is needed from ...


when i tried to install in spite of the error (in hope, that the ide
directory is filled in an early stage), i get the anticipated missing
file error

install: Aufruf von stat für „doc/refman/html/*“ nicht möglich: No
such file or directory


Do you have any ideas?

I'm not sure what fakeroot debian/rules binary is about. i found that
it works similar to make, but get this error:

nils@mann:~/coq-8.2.pl1+dfsg$ fakeroot debian/rules binary
debian/rules:17: /usr/share/ocaml/ocamlvars.mk: No such file or directory
make: *** Keine Regel, um »/usr/share/ocaml/ocamlvars.mk« zu
erstellen.  Schluss.

(no rule to create ...)

And, by the way, my normal CoqIde works.

Best Regards
Nils



2010/10/13 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
>
>