<head><!-- BaNnErBlUrFlE-HeAdEr-start -->
<style>
#pfptBannere7rs9ji { all: revert !important; display: block !important;
visibility: visible !important; opacity: 1 !important;
background-color: #D0D8DC !important;
max-width: none !important; max-height: none !important }
.pfptPrimaryButtone7rs9ji:hover, .pfptPrimaryButtone7rs9ji:focus {
background-color: #b4c1c7 !important; }
.pfptPrimaryButtone7rs9ji:active {
background-color: #90a4ae !important; }
</style>
<!-- BaNnErBlUrFlE-HeAdEr-end -->
</head><!-- BaNnErBlUrFlE-BoDy-start -->
<!-- Preheader Text : BEGIN -->
<div style="display:none !important;display:none;visibility:hidden;mso-hide:all;font-size:1px;color:#ffffff;line-height:1px;height:0px;max-height:0px;opacity:0;overflow:hidden;">
Dear PETSc team: Recently I installed firedrake on MacOS (arm64) with the latest Xcode, and there seems some error with mumps. I ran two times of the command `make check`. The first time it just output wrong results, and the second time it
</div>
<!-- Preheader Text : END -->
<!-- Email Banner : BEGIN -->
<div style="display:none !important;display:none;visibility:hidden;mso-hide:all;font-size:1px;color:#ffffff;line-height:1px;height:0px;max-height:0px;opacity:0;overflow:hidden;">ZjQcmQRYFpfptBannerStart</div>
<!--[if ((ie)|(mso))]>
<table border="0" cellspacing="0" cellpadding="0" width="100%" style="padding: 16px 0px 16px 0px; direction: ltr" ><tr><td>
<table border="0" cellspacing="0" cellpadding="0" style="padding: 0px 10px 5px 6px; width: 100%; border-radius:4px; border-top:4px solid #90a4ae;background-color:#D0D8DC;"><tr><td valign="top">
<table align="left" border="0" cellspacing="0" cellpadding="0" style="padding: 4px 8px 4px 8px">
<tr><td style="color:#000000; font-family: 'Arial', sans-serif; font-weight:bold; font-size:14px; direction: ltr">
This Message Is From an External Sender
</td></tr>
<tr><td style="color:#000000; font-weight:normal; font-family: 'Arial', sans-serif; font-size:12px; direction: ltr">
This message came from outside your organization.
</td></tr>
</table>
</td></tr></table>
</td></tr></table>
<![endif]-->
<![if !((ie)|(mso))]>
<div dir="ltr" id="pfptBannere7rs9ji" style="all: revert !important; display:block !important; text-align: left !important; margin:16px 0px 16px 0px !important; padding:8px 16px 8px 16px !important; border-radius: 4px !important; min-width: 200px !important; background-color: #D0D8DC !important; background-color: #D0D8DC; border-top: 4px solid #90a4ae !important; border-top: 4px solid #90a4ae;">
<div id="pfptBannere7rs9ji" style="all: unset !important; float:left !important; display:block !important; margin: 0px 0px 1px 0px !important; max-width: 600px !important;">
<div id="pfptBannere7rs9ji" style="all: unset !important; display:block !important; visibility: visible !important; background-color: #D0D8DC !important; color:#000000 !important; color:#000000; font-family: 'Arial', sans-serif !important; font-family: 'Arial', sans-serif; font-weight:bold !important; font-weight:bold; font-size:14px !important; line-height:18px !important; line-height:18px">
This Message Is From an External Sender
</div>
<div id="pfptBannere7rs9ji" style="all: unset !important; display:block !important; visibility: visible !important; background-color: #D0D8DC !important; color:#000000 !important; color:#000000; font-weight:normal; font-family: 'Arial', sans-serif !important; font-family: 'Arial', sans-serif; font-size:12px !important; line-height:18px !important; line-height:18px; margin-top:2px !important;">
This message came from outside your organization.
</div>
</div>
<div style="clear: both !important; display: block !important; visibility: hidden !important; line-height: 0 !important; font-size: 0.01px !important; height: 0px"> </div>
</div>
<![endif]>
<div style="display:none !important;display:none;visibility:hidden;mso-hide:all;font-size:1px;color:#ffffff;line-height:1px;height:0px;max-height:0px;opacity:0;overflow:hidden;">ZjQcmQRYFpfptBannerEnd</div>
<!-- Email Banner : END -->
<!-- BaNnErBlUrFlE-BoDy-end -->
<div dir="ltr"><div style="color:rgb(49,53,59);font-family:Helvetica,Helvetica,微软雅黑,宋体;font-size:14px">Dear PETSc team:</div><div style="color:rgb(49,53,59);font-family:Helvetica,Helvetica,微软雅黑,宋体;font-size:14px"><br></div><div style="color:rgb(49,53,59);font-family:Helvetica,Helvetica,微软雅黑,宋体;font-size:14px"> Recently I installed firedrake on MacOS (arm64) with the latest Xcode, and there seems some error with mumps. I ran two times of the command `make check`. The first time it just output wrong results, and the second time it raised an error with Segmentation Violation. Please see the files “make check.txt” and “configure.log” in the attachment.</div><div style="color:rgb(49,53,59);font-family:Helvetica,Helvetica,微软雅黑,宋体;font-size:14px"><br></div><div style="color:rgb(49,53,59);font-family:Helvetica,Helvetica,微软雅黑,宋体;font-size:14px"> I will certainly be happy and grateful if you can take some time to deal with this problem. Thanks for your patience.</div><div style="color:rgb(49,53,59);font-family:Helvetica,Helvetica,微软雅黑,宋体;font-size:14px"><br></div><div style="color:rgb(49,53,59);font-family:Helvetica,Helvetica,微软雅黑,宋体;font-size:14px">Best wishes,</div><div style="color:rgb(49,53,59);font-family:Helvetica,Helvetica,微软雅黑,宋体;font-size:14px">Zeyu Xia</div></div>