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