It can be moved over. Barry On Oct 28, 2009, at 12:32 PM, Jed Brown wrote: > I don't think external projects should have to include <../src/ > whatever> > because this doesn't work if PETSc is "installed" and it's a screwy > API > (even if most users don't see it). > > Any objections to this? > > > Jed >