Ssreflect Users Discussion List

On Wed, 13 Oct 2010, Guillaume Melquiond wrote:

> 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.

I do the same. I modified the nix-install scripts with the following

  postInstall = ''
   cp ide/*.cmi ide/ide.*a $out/lib/coq/ide/
  '';


--
Russell O'Connor                                      <http://r6.ca/>
``All talk about `theft,''' the general counsel of the American Graphophone
Company wrote, ``is the merest claptrap, for there exists no property in
ideas musical, literary or artistic, except as defined by statute.''