cms-sw/cmsdist — pull request #1173 by davidlt (2014-11-10 08:01:38+00:00)
Title: cmssw-tool-conf: remove mpfr and gmp from skipreqtools

We need MPFR and GMP available for normal builds, otherwise CLANG and
ICC builds file. CGAL headers include headers from those two packages.

Signed-off-by: David Abdurachmanov