Re: More problems with the current CVS version

Albert Chin wrote:
> On Wed, Feb 05, 2003 at 06:04:06PM +0100, Roberto Bagnara wrote:
>
> > when I do make install, the files installed have the wrong name.
> > Here is what I see
> >
> > $ ls
> > libppl.          libppl.a         libppl_c..0.1.0  libppl.la
> > libppl..0        libppl_c.        libppl_c.a
> > libppl..0.2.0
> >
> > It looks like "so" was omitted from "libppl.so" and similarly
> > for the other files.  This happens on an x86 GNU/Linux system
> > (Red Hat 8.0), latest releases of both autoconf and automake.
> > Cheers
>
>
> What version of libtool? Are you using the libtool that shipped with
> RH8.0?

No: I am using the CVS version that was current at the time of
my message.

--
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara@xxxxxxxxxxx