xref: /petsc/config/PETSc/options/externalpackagesdir.py (revision 468ae2e8ea931ad74b902f335169968aa231c8d6)