Closed Ig-dolci closed 4 weeks ago
Is this PR a duplicate of this branch: https://github.com/firedrakeproject/firedrake/tree/JDBetteridge/petsc_update
Is this PR a duplicate of this branch: https://github.com/firedrakeproject/firedrake/tree/JDBetteridge/petsc_update
Yes, I have verified that this PR is duplicated with your branch https://github.com/firedrakeproject/firedrake/tree/JDBetteridge/petsc_update. I just verified that line 2556 of this PR also agrees. So, I will be sure to close this PR.
Description
I encountered type-related errors in Cython in the firedrake installation with the
JDBettedridge/python312
branch locally on Arch Linux. With the current fixings, the Firedrake installation worked.