scotch has the very unfortunate bad habit of containing a header file
/usr/include/scotch/metis.h
If above directory is in our list of include directories, we will
accidentally pick up this header instead of /usr/include/metis.h
I assume it is safe to drop /usr/include/scotch/, this should be only
internally used in PETSc...
## ---------------------------------------------------------------------
##
-## Copyright (C) 2012 - 2014 by the deal.II authors
+## Copyright (C) 2012 - 2015 by the deal.II authors
##
## This file is part of the deal.II library.
##
SET(_petsc_includes)
FOREACH(_token ${_external_includes})
- IF(_token MATCHES "^-I")
+ #
+ # workaround: Do not pull in scotch include directory. It clashes with
+ # our use of the metis headers...
+ #
+ IF(_token MATCHES "^-I" AND NOT _token MATCHES "scotch$")
STRING(REGEX REPLACE "^-I" "" _token "${_token}")
LIST(APPEND _petsc_includes ${_token})
ENDIF()
In the beginning the Universe was created. This has made a lot of
people very angry and has been widely regarded as a bad move.
Douglas Adams