pushed a fix [to 32 and dev]. Please pull and retry. Satish
On Thu, 8 Sep 2011, Garth N. Wells wrote: > I've just tried to configure petsc-dev with PaStiX, but I'm getting the error > > Unable to download PaStiX > > PETSc does download PaStiX, but seems to have trouble configuring it. > > I'm testing with petsc-dev r20294 and BuildSystem r2718. configure.log > is attached. > > Garth >