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:[EMAIL PROTECTED]
_______________________________________________
Libtool mailing list
[EMAIL PROTECTED]
http://mail.gnu.org/mailman/listinfo/libtool
