Hi there,
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..0libppl_c.libppl_c.a
libppl..0.2.0
It looks like "so" was omitted from "libppl.so" and similarly
for the other
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..0libppl_c.libppl_c.a
> libppl..0.2.0
>
> It lo
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..0libppl_c.libppl_c.a
libppl..0.2.0
I
