[PPL-devel] Re: PPL compile/run time errors

[V Panumong]

Dear Dr.Roberto

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;

gmp-devel-3.1.1-4
gmp-3.1.1-4

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.

Thank you very much.

Vaji,

On Wed, 2 Oct 2002, Roberto Bagnara wrote:

> V Panumong wrote:
> > While trying to compile my program using the command:
> >
> > %g++ -lppl -lgmp -lgmpxx -o test PPL-test.cpp
> >
> > I encountered an error message stating that libgmpxx can't be found
> > anywhere. So I ran
> > [...]
>
> Dear Vaji,
>
> I notice now that, depending on how you configured and installed gcc,
> your compilation command above misses a -L/usr/local/lib.
> Can you please try
>
>    g++ -lppl -lgmp -lgmpxx -L/usr/local/lib -o test PPL-test.cpp
>
> and let me know what happens?


> The output of
>
>    rpm -qa | fgrep gmp
>
> would also be useful in case things still go wrong.
> All the best
>
>      Roberto
>
>

-- 
Vajirapan Panumong
Knowledge Representation and Reasoning Group
School of Computing
University of Leeds,
Leeds, UK.
LS2 9JT