The Coq mailing list

[Stéphane Glondu <steph AT glondu.net>]

AUGER Cédric wrote:
> I just wanted to compile trunk version of coq, but i failed in compiling it:
> I don't have dlllablgtk2.so in /usr/lib64/ocaml/stublibs/, looking closer
> in the lablgtk2 package from openSUSE 11.0 (x86_64) with Linux
> 2.6.25.16-0.1-default x86_64
> 
> i found that this file wasn't provided, any body knows if the package is
> incomplete or that such a file won't be required anymore in the future?

It's incomplete. I would even say the contrary: it will be required in
the best (for some definition of best) situation.

> Is there a way to install the last version of coqide in an other way?

Try this:

  1. make distclean
  2. ./configure -coqrunbyteflags -custom <whatever-options-you-want>
  3. make

If it works, this would be a workaround to missing dlllablgtk2.so. But
try to get the lablgtk2 package fixed in openSUSE.


Cheers,

-- 
Stéphane Glondu