The PETSc distribution is SO large. How can I reduce my disk space usage?
The directory ${PETSC_DIR}/docs contains a set of HTML manual pages in for use with a browser. You can delete these pages to save about .8 Mbyte of space. b) The PETSc users manual is provided in PDF in ${PETSC_DIR}/docs/manual.pdf. You can delete this. c) The PETSc test suite contains sample output for many of the examples. These are contained in the PETSc directories ${PETSC_DIR}/src/*/examples/tutorials/output and ${PETSC_DIR}/src/*/examples/tests/output. Once you have run the test examples, you may remove all of these directories to save about 300 Kbytes of disk space. d) The debugging versions of the libraries are larger than the optimized versions . In a pinch you can work with the optimized version although we do not recommend it generally because finding bugs is much easier with the debug version.