[PPL-devel] Re: PPL compile/run time errors
bagnara at cs.unipr.it
Fri Oct 4 08:24:13 CEST 2002
V Panumong wrote:
> I'm very sorry for the late reply. After the meeting with Dr.Pat, I tried
> to install the PPL with different configuration - so I uninstalled the
> installed one out just in case it might trigger some conflicts, just to
> find out that the configure doesn't pass anymore.
> It's the same problem that happened to me before, the compiler can't find
> GMP in the machine. I checked the file and knew that it was trying to link
> to gmpxx.h. The gmpxx.h is presented on my machine in the default
> installation directory, /usr/local/lib. I already put in line
> "LD_LIBRARY_PATH=/usr/local/lib" in my .bashrc and ran /sbin/ldconfig - n
> /usr/local/lib, but to no avail. I already tried ./configure
> --with-gmp-dir=/usr/local/lib. I was trying to fix that.
> About your questions, I'm pretty sure that I already tried the command you
> suggested after the one without doesn't work. It compiled successful, but
> gave the same error on run-time.
> The result from rpm -qa|fgrep gmp is;
> Does it suggest anything? It might be from when I installed RedHat or GMP,
> I can't be sure. Should I just erase them out? because I don't really want
> to find out later that the GMP doesn't work on my system anymore.
the quick thing to try is erasing the gmp-devel package:
rpm -e gmp-devel
Don't worry: GMP will remain operational on your system.
If you still have problems, please mail me the file
config.log created by the configure command.
All the best
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
mailto:bagnara at cs.unipr.it
More information about the PPL-devel