GMPBench change from GMP 4.3.2 to 5.0.1

Torbjorn Granlund tg at
Mon Apr 4 20:42:26 CEST 2011

Pedro Polonia <polonia2 at> 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 ...".


More information about the gmp-discuss mailing list