
8 Sep
2009
8 Sep
'09
9:43 a.m.
Hi Roberto
And here is it.It was compressed in ZIP form.
Thanks 2009/9/8 Roberto Bagnara bagnara@cs.unipr.it
陈功 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