[plt-dev] update on experiment in re-implementing MrEd

At Sat, 7 Feb 2009 08:56:52 -0500, Sam TH wrote:
> On Fri, Feb 6, 2009 at 9:22 PM, Matthew Flatt <mflatt at cs.utah.edu> wrote:
> > At Fri, 6 Feb 2009 20:12:06 -0500, Henk Boom wrote:
> >> Another library naming issue, on my Gentoo system the libraries are
> >>
> >> libgdk-x11-2.0.so
> >> libgtk-x11-2.0.so
> >>
> >> with a .0 after the 2. With that fix it seems to work =).
> >
> > Does anyone know a Right Way to find libraries, or should `ffi-lib'
> > have a big set of search heuristics that hopefully stumble across the
> > actual name?
> 
> So, I have the same issue as Henk.  I think that the gtk/gdk libraries
> actually have the "2.0" in their names, so this shouldn't really be an
> issue of search heuristics.  Unless you have some different set of
> libraries.  Does this produce something different on the system you're
> using?

Ah, as simple as that. Yes, I have "libgtk-x11-2.0.0.dylib" on my
machine, which is consistent with "libgtk-x11-2.0.so.0". Maybe I
understand the conventions after all...

Thanks!
Matthew