On Sun, Oct 03, 2010 at 11:40:41AM +0200, Thomas Weber wrote: > Hi, > So, are there better solutions than adding /usr/include/mpi/ to > mkoctfile's include flags? Ping. Thomas