dealii/dealii — pull request #385 by tamiko (2014-12-29 11:57:50+00:00)
Title: Replace HAVE_* by DEAL_II_HAVE_*

This replaces all of deal.II's internal configuration options and
definitions starting with HAVE_ by prefixed versions DEAL_II_HAVE_.

This won't go into the release (to little time to test thoroughfully).