MINGW-packages/mingw-w64-petsc/0004-set_output_format.patch
2024-10-20 22:27:52 +01:00

12 lines
674 B
Diff

diff -urN petsc-3.22.0.orig/config/PETSc/Configure.py petsc-3.22.0/config/PETSc/Configure.py
--- petsc-3.22.0.orig/config/PETSc/Configure.py 2024-09-29 09:06:09.000000000 +0500
+++ petsc-3.22.0/config/PETSc/Configure.py 2024-10-20 11:49:48.162439300 +0500
@@ -150,6 +150,7 @@
'strcasecmp','bzero','dlopen','dlsym','dlclose','dlerror',
'_set_output_format','_mkdir','socket','gethostbyname','fpresetsticky',
'fpsetsticky','__gcov_dump']
+ functions.remove('_set_output_format')
libraries = [(['fpe'],'handle_sigfpes')]
librariessock = [(['socket','nsl'],'socket')]
self.headers.headers.extend(headersC)