<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 TRANSITIONAL//EN">
<HTML>
<HEAD>
  <META HTTP-EQUIV="Content-Type" CONTENT="text/html; CHARSET=UTF-8">
  <META NAME="GENERATOR" CONTENT="GtkHTML/4.6.6">
</HEAD>
<BODY>
Hi,<BR>
<BR>
I am trying to install METIS via the development version of petsc, but I encountered the following error:<BR>
<BR>
         UNABLE to CONFIGURE with GIVEN OPTIONS    (see configure.log for details):<BR>
-------------------------------------------------------------------------------<BR>
Downloaded metis could not be used. Please check install in /opt/petsc/petscfork/gnu-opt-32idx<BR>
<BR>
<BR>
I attached the install script and the configure.log file.<BR>
Any idea?<BR>
<BR>
Thanks,<BR>
Michele<BR>
<BR>
<BR>
<BR>
</BODY>
</HTML>