
<html>


<head>


<meta http-equiv="Content-Type" content="text/html; charset=utf-8">


</head>


<body>


<div dir="ltr">Hello,


<div><br>


</div>


<div>I'm using a Petsc installation along with the external package superLU_dist. As per the instructions on the online documentation, I am letting Petsc take care of the download and installation at the configure stage.</div>


<div><br>


</div>


<div>SuperLU requires that I also download and install parMeTiS and PTScotch, which I can readily do the same way. However, those packages in turn require certain other packages to have been preinstalled, namely GNU bison and flex.</div>


<div><br>


</div>


<div>The issue is that I have to make sure bison and flex are pre-installed globally (with sudo rights) before I can properly configure Petsc. However, I would like to remove this dependency on sudo rights and be able to point Petsc to a local installation


 of bison and flex (or even better, have Petsc download and install them). Is this possible? I didn't see these packages listed on <a href="https://www.mcs.anl.gov/petsc/miscellaneous/external.html">https://www.mcs.anl.gov/petsc/miscellaneous/external.html</a>,


 so I'm not sure if Petsc can automatically download them.</div>


<div><br>


</div>


<div>Is there a way to point Petsc to a local installation of bison and flex?</div>


<div><br>


</div>


<div>Thanks!</div>


<div>


<div>


<div dir="ltr" class="gmail-m_4334064647172548180gmail_signature">


<div class="gmail-m_4334064647172548180gmail_signature"><br>


<br>


</div>


</div>


</div>


<div dir="ltr"><br>


</div>


</div>


</div>


</body>


</html>