[Dune] CMake: how to set different builddir
    Agnese, Marco 
    m.agnese13 at imperial.ac.uk
       
    Thu Oct  8 20:24:17 CEST 2015
    
    
  
Hi,
the error was caused to some specific configuration on my system and not to the build system/DUNE itself. 
Sorry for the noise.
Cheers,
Marco.
    
    
More information about the Dune
mailing list