qbisi
2025-07-18 12:50:21 +08:00
parent 85e56fb4e2
commit 5535684eb8
@@ -57,21 +57,21 @@ let
in
buildPythonPackage rec {
pname = "firedrake";
version = "2025.4.1";
version = "2025.4.2";
pyproject = true;
src = fetchFromGitHub {
owner = "firedrakeproject";
repo = "firedrake";
tag = version;
hash = "sha256-p/yquIKWynGY7UESDNBCf1cM8zpy8beuuRxSrSMvj7c=";
hash = "sha256-bAGmXoHPAdMYJMMQYVq98LYro1Vd+o9pfvXC3BsQUf0=";
};
postPatch =
# relax build-dependency petsc4py
''
substituteInPlace pyproject.toml --replace-fail \
"petsc4py==3.23.3" "petsc4py"
"petsc4py==3.23.4" "petsc4py"
''
+ lib.optionalString stdenv.hostPlatform.isLinux ''
substituteInPlace firedrake/petsc.py --replace-fail \