<div dir="ltr"><div style>Surely it would be sufficient to check and set these only once?</div><div><br></div><div>$ grep GETPAGESIZE mpich/conf/configure.log                                                                                    </div>
<div>          Defined "HAVE_GETPAGESIZE" to "1"</div><div>          Defined "HAVE_GETPAGESIZE" to "1"</div><div>          Defined "HAVE_GETPAGESIZE" to "1"</div>
<div>          Defined "HAVE_GETPAGESIZE" to "1"</div><div>#ifndef PETSC_HAVE_GETPAGESIZE</div><div>#define PETSC_HAVE_GETPAGESIZE 1</div><div><br></div><div><div>$ grep USLEEP mpich/conf/configure.log                                                                                         </div>
<div>          Defined "HAVE_USLEEP" to "1"</div><div>          Defined "HAVE_USLEEP" to "1"</div><div>#ifndef PETSC_HAVE_USLEEP</div><div>#define PETSC_HAVE_USLEEP 1</div></div><div>
<br></div><div><div>$ grep STRCASECMP mpich/conf/configure.log                                                                                     </div><div>          Defined "HAVE_STRCASECMP" to "1"</div>
<div>          Defined "HAVE_STRCASECMP" to "1"</div><div>#ifndef PETSC_HAVE_STRCASECMP</div><div>#define PETSC_HAVE_STRCASECMP 1</div></div><div><br></div></div>