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