
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