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?