[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
More problems with the current CVS version
From: |
Roberto Bagnara |
Subject: |
More problems with the current CVS version |
Date: |
Wed, 05 Feb 2003 18:04:06 +0100 |
User-agent: |
Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.2) Gecko/20021202 |
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..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
Roberto
--
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:address@hidden
- More problems with the current CVS version,
Roberto Bagnara <=