[PPL-devel] PPL compile/run time errors

[V Panumong]

Dear Mr.Roberto

Thank you very much for your e-mail. Tomorrow I'll be meeting Dr.Pat Hill
and maybe we can come up with some idea to fix this problem. She might
have talked something about this with you already.

The problem is I installed the library by using make & make install, not
by RedHat Package Manager. The installation went pass alright, no errors.
Also the GCC and GMP were installed by that method. I'm using Redhat 7.2
with nearly all the patches installed in the system already - apart from
patches for kernel.

Thank you again and I hope the above information is what you want to know.

Cheers,
Vaji


On Tue, 1 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 am trying to see what may be the cause of your problems.
> Which system are you using?  Is it perhaps a Linux system
> using RPM as the package manager?
> If so, could you mail the output of
>
>      rpm -qa | fgrep gmp
>
> I will be back to you soon.
> All the best,
>
>      Roberto
>
>

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