Fix get_petsc_dir (#622)

This previously relied on the old petsc Python package which we no longer use.
OP2 · Jul 21, 2021 · dd5d060 · dd5d060
1 parent 82279dc
commit dd5d060
Showing 1 changed file with 5 additions and 2 deletions.
diff --git a/pyop2/utils.py b/pyop2/utils.py
@@ -327,8 +327,11 @@ def get_petsc_dir():
         return (dir, dir + arch)
     except KeyError:
         try:
-            import petsc
-            return (petsc.get_petsc_dir(), )
+            import petsc4py
+            config = petsc4py.get_config()
+            petsc_dir = config["PETSC_DIR"]
+            petsc_arch = config["PETSC_ARCH"]
+            return petsc_dir, petsc_dir + petsc_arch
         except ImportError:
             sys.exit("""Error: Could not find PETSc library.