diff --git a/petsc-3.17-bug1147.patch b/petsc-3.17-bug1147.patch deleted file mode 100644 index 0d0b706..0000000 --- a/petsc-3.17-bug1147.patch +++ /dev/null @@ -1,25 +0,0 @@ -From 06774d3d302eeeee8eae1bfbcd0fa812d7f0f160 Mon Sep 17 00:00:00 2001 -From: Pierre Jolivet -Date: Sat, 2 Apr 2022 18:06:13 +0200 -Subject: [PATCH] configure: fix #1147 - ---- - config/BuildSystem/config/packages/MPI.py | 2 +- - 1 file changed, 1 insertion(+), 1 deletion(-) - -diff --git a/config/BuildSystem/config/packages/MPI.py b/config/BuildSystem/config/packages/MPI.py -index 7431bb3ae48..4e6a4d8ea1f 100644 ---- a/config/BuildSystem/config/packages/MPI.py -+++ b/config/BuildSystem/config/packages/MPI.py -@@ -394,7 +394,7 @@ Unable to run hostname to check the network') - if (MPI_Finalized(&flag)) return 0; - if (MPI_Type_dup(MPI_INT,&newtype)) return 0; - if (MPI_Exscan(sendbuf,recvbuf,1,MPI_INT,MPI_SUM,MPI_COMM_WORLD)) return 0; -- if (MPI_Reduce_scatter(sendbuf,recvbuf,1,MPI_INT,MPI_SUM,MPI_COMM_WORLD)) return 0; -+ if (MPI_Reduce_scatter(sendbuf,recvbuf,sendbuf,MPI_INT,MPI_SUM,MPI_COMM_WORLD)) return 0; - if (MPI_Type_get_envelope(MPI_INT,&a,&b,&c,&d)) return 0; - '''): - raise RuntimeError('PETSc requires some of the MPI-2.0 (1997), MPI-2.1 (2008) functions - they are not available with the specified MPI library') --- -GitLab -