No, currently there is no auto detection of PETSc if Trilinos is missing in deal.II. We might do that in the future, but for now you have to specify ASPECT_USE_PETSC=ON to enable it. So if this flag is OFF and there is no Trilinos, the above error is shown.