EXCLUDE_PATTERNS      += */source/* */mcrl2parser.cpp */mcrl2lexer.cpp
