diff --git a/scripts/firedrake-install b/scripts/firedrake-install index 7ca37f44c8..b93d7ebd1e 100755 --- a/scripts/firedrake-install +++ b/scripts/firedrake-install @@ -1650,7 +1650,7 @@ else: name = split_requirements_url(p)[0] deps.update(list_cloned_dependencies(name)) deps[name] = p - packages = list(deps.keys()) + packages = ["petsc4py"] + list(deps.keys()) packages += ["firedrake"] # update packages.