Actually install ngsPETSc using pip (#3873)

Signed-off-by: Umberto Zerbinati <[email protected]> Co-authored-by: Umberto Zerbinati <[email protected]>
firedrakeproject · Nov 20, 2024 · 51bc8d6 · 51bc8d6
1 parent 3053928
commit 51bc8d6
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/scripts/firedrake-install b/scripts/firedrake-install
@@ -2073,6 +2073,7 @@ with environment(**compiler_env):
 
     if options["netgen"]:
         packages += ["ngsPETSc"]
+        run_pip(["install", "-U", "ngsPETSc"])
 
 with pipargs("--no-deps"):
     if options["opencascade"]: