xref: /petsc/config/PETSc/options/externalpackagesdir.py (revision 56856777768c141fd1eea54169b1ab5fc1fda02b)