GMPBench change from GMP 4.3.2 to 5.0.1

[Torbjorn Granlund]

Pedro Polonia <polonia2 at gmail.com> writes:

     I'm newbie to GMP and i don't find in the manual a way of changing the
  configuration of GMPBench. I download and install GMP 5.0.1 and 4.3.2 from
  source in ubuntu 10. How can i change GMPBench 0.2 from using GMP 4.3.2 to
  GMP 5.0.1?
  
I think you need to read the terse output from the runbench script, "You
may want to override ...".

-- 
Torbjörn