dealii/dealii — pull request #208 by bangerth (2014-10-22 18:58:52+00:00)
Title: Also ensure that we have ML as part of Trilinos.

I verified that it finds the ML package on my system. I guess people just follow our installation instructions and made sure that they do have ML, or someone would have reported compiler errors when compiling against a version of Trilinos that doesn't have ML installed.