[tools] disable mpfr tests compilation, slightly speeds up the build process
This page took 0.070669 seconds and 3 git commands to generate.