From 51bc8d6c12a7021da0dee709b4b20572fa1ecbdd Mon Sep 17 00:00:00 2001 From: Umberto Zerbinati Date: Wed, 20 Nov 2024 17:02:27 +0000 Subject: [PATCH] Actually install ngsPETSc using pip (#3873) Signed-off-by: Umberto Zerbinati Co-authored-by: Umberto Zerbinati --- scripts/firedrake-install | 1 + 1 file changed, 1 insertion(+) diff --git a/scripts/firedrake-install b/scripts/firedrake-install index efda581df8..b0bc4fb3a8 100755 --- 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"]: