
8 Sep
2009
8 Sep
'09
9:29 a.m.
陈功 wrote:
Hi
It always said"checking for the GMP library version 4.1.3 or above... no configure: error: Cannot find GMP version 4.1.3 or higher."
and I am sure I have already installed GMP 4.2.4
the attachement is the full log
can you help me?
thanks
Hi there,
apparently the attachment did not go through. Can you please send it again in compressed form? All the best,
Roberto
--
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara@cs.unipr.it