Skip to content
  • Peter W. Draper's avatar
    Handle non-standard location for METIS build · 73d405c2
    Peter W. Draper authored
    Previously --with-metis=<location> only picked up the library, not the headers, we now require the installation root, not the directory with the library
    
    
    Former-commit-id: cad63fbc2562b553aba188801450de8d20d68fbd
    73d405c2