<!-- 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;">
It is not always safe to remove duplicate libraries listed in different places in the list. Hence we cannot simply always remove them. Barry On May 13, 2024, at 10: 00 PM, Runjian Wu <wurunjian@ gmail. com> wrote: Thanks for your reply!
</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="pfptBannerjjhw9oo" 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="pfptBannerjjhw9oo" style="all: unset !important; float:left !important; display:block !important; margin: 0px 0px 1px 0px !important; max-width: 600px !important;">
<div id="pfptBannerjjhw9oo" 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="pfptBannerjjhw9oo" 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 -->
<html><head><!-- BaNnErBlUrFlE-HeAdEr-start -->
<style>
#pfptBannerjjhw9oo { all: revert !important; display: block !important;
visibility: visible !important; opacity: 1 !important;
background-color: #D0D8DC !important;
max-width: none !important; max-height: none !important }
.pfptPrimaryButtonjjhw9oo:hover, .pfptPrimaryButtonjjhw9oo:focus {
background-color: #b4c1c7 !important; }
.pfptPrimaryButtonjjhw9oo:active {
background-color: #90a4ae !important; }
</style>
<!-- BaNnErBlUrFlE-HeAdEr-end -->
<meta http-equiv="content-type" content="text/html; charset=utf-8"></head><body style="overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div><br></div> It is not always safe to remove duplicate libraries listed in different places in the list. Hence we cannot simply always remove them.<div><br></div><div> Barry<br id="lineBreakAtBeginningOfMessage"><div><br><blockquote type="cite"><div>On May 13, 2024, at 10:00 PM, Runjian Wu <wurunjian@gmail.com> wrote:</div><br class="Apple-interchange-newline"><div><div dir="ltr"><u></u>
<div><p>Thanks for your reply! Since I can manually remove duplicates, how
about adding a function to automatically remove duplicates at the end of
"configure" in the next PETSc version?<br>
</p><div>
<br class="webkit-block-placeholder"></div><p>Runjian</p><p><br>
</p>
<div>On 5/13/2024 9:31 PM, Barry Smith
wrote:<br>
</div>
<blockquote type="cite">
<div><br>
</div>
Because the order of the libraries can be important, it is
difficult for ./configure to remove unneeded duplicates
automatically.
<div><br>
</div>
<div> You can manually remove duplicates by editing
$PETSC_ARCH/lib/petsc/conf/petscvariables after running
./configure</div>
<div><br>
</div>
<div> Barry</div>
<div><br>
</div>
<div><br id="m_-8871480957337302699lineBreakAtBeginningOfMessage">
<div><br>
<blockquote type="cite">
<div>On May 13, 2024, at 7:47 AM, Runjian Wu
<a href="mailto:wurunjian@gmail.com" target="_blank"><wurunjian@gmail.com></a> wrote:</div>
<br>
<div>
<div dir="ltr" id="m_-8871480957337302699pfptBanner6g0pnyx" style="writing-mode:revert!important;color:revert!important;font-family:revert!important;font-feature-settings:revert!important;font-kerning:revert!important;font-size:revert!important;font-size-adjust:revert!important;font-stretch:revert!important;font-variant-alternates:revert!important;font-variant-caps:revert!important;font-variant-east-asian:revert!important;font-variant-ligatures:revert!important;font-variant-numeric:revert!important;font-weight:revert!important;text-orientation:revert!important;zoom:revert!important;letter-spacing:revert!important;text-autospace:revert!important;background-blend-mode:revert!important;background-image:revert!important;background-position:revert!important;background-repeat:revert!important;background-size:revert!important;border-collapse:revert!important;box-sizing:revert!important;break-after:revert!important;break-before:revert!important;break-inside:revert!important;caption-side:revert!important;clear:revert!important;column-count:revert!important;column-fill:revert!important;column-gap:revert!important;column-rule-color:revert!important;column-rule-style:revert!important;column-rule-width:revert!important;column-span:revert!important;column-width:revert!important;empty-cells:revert!important;float:revert!important;image-orientation:revert!important;isolation:revert!important;line-break:revert!important;line-height:revert!important;list-style:revert!important;mix-blend-mode:revert!important;object-fit:revert!important;object-position:revert!important;outline:revert!important;overflow:revert!important;quotes:revert!important;table-layout:revert!important;text-align:left!important;text-align-last:revert!important;text-decoration-color:revert!important;text-decoration:revert!important;text-decoration-style:revert!important;text-emphasis-color:revert!important;text-emphasis-style:revert!important;text-indent:revert!important;text-justify:revert!important;text-overflow:revert!important;text-transform:revert!important;text-underline-position:revert!important;vertical-align:revert!important;white-space:revert!important;word-break:revert!important;border-spacing:revert!important;word-spacing:revert!important;background-clip:revert!important;background-origin:revert!important;text-combine-upright:revert!important;display:block!important;opacity:revert!important;background-color:rgb(208,216,220)!important;border-bottom-color:revert!important;border-bottom-style:revert!important;border-bottom-width:revert!important;border-left-color:revert!important;border-left-style:revert!important;border-left-width:revert!important;border-right-color:revert!important;border-right-style:revert!important;border-right-width:revert!important;height:revert!important;max-height:revert!important;max-width:revert!important;min-height:revert!important;width:revert!important;margin:16px 0px!important;padding:8px 16px!important;border-radius:4px!important;min-width:200px!important;border-top-width:4px!important;border-top-style:solid!important;border-top-color:rgb(144,164,174)!important">
<div id="m_-8871480957337302699pfptBanner6g0pnyx" style="writing-mode:unset!important;color:unset!important;font-family:unset!important;font-feature-settings:unset!important;font-kerning:unset!important;font-size:unset!important;font-size-adjust:unset!important;font-stretch:unset!important;font-variant-alternates:unset!important;font-variant-caps:unset!important;font-variant-east-asian:unset!important;font-variant-ligatures:unset!important;font-variant-numeric:unset!important;font-weight:unset!important;text-orientation:unset!important;zoom:unset!important;letter-spacing:unset!important;text-autospace:unset!important;background:unset!important;background-blend-mode:unset!important;border-collapse:unset!important;border:unset!important;box-sizing:unset!important;break-after:unset!important;break-before:unset!important;break-inside:unset!important;caption-side:unset!important;clear:unset!important;column-count:unset!important;column-fill:unset!important;column-gap:unset!important;column-rule-color:unset!important;column-rule-style:unset!important;column-rule-width:unset!important;column-span:unset!important;column-width:unset!important;empty-cells:unset!important;float:left!important;image-orientation:unset!important;isolation:unset!important;line-break:unset!important;line-height:unset!important;list-style:unset!important;mix-blend-mode:unset!important;object-fit:unset!important;object-position:unset!important;outline:unset!important;overflow:unset!important;quotes:unset!important;table-layout:unset!important;text-align:unset!important;text-align-last:unset!important;text-decoration-color:unset!important;text-decoration:unset!important;text-decoration-style:unset!important;text-emphasis-color:unset!important;text-emphasis-style:unset!important;text-indent:unset!important;text-justify:unset!important;text-overflow:unset!important;text-transform:unset!important;text-underline-position:unset!important;vertical-align:unset!important;white-space:unset!important;word-break:unset!important;border-spacing:unset!important;word-spacing:unset!important;text-combine-upright:unset!important;display:block!important;opacity:unset!important;border-radius:unset!important;height:unset!important;max-height:unset!important;min-height:unset!important;min-width:unset!important;padding:unset!important;width:unset!important;margin:0px 0px 1px!important;max-width:600px!important">
<div id="m_-8871480957337302699pfptBanner6g0pnyx" style="writing-mode:unset!important;font-family:Arial,sans-serif!important;font-feature-settings:unset!important;font-kerning:unset!important;font-size:14px!important;font-size-adjust:unset!important;font-stretch:unset!important;font-variant-alternates:unset!important;font-variant-caps:unset!important;font-variant-east-asian:unset!important;font-variant-ligatures:unset!important;font-variant-numeric:unset!important;font-weight:bold!important;text-orientation:unset!important;zoom:unset!important;letter-spacing:unset!important;background-blend-mode:unset!important;background-image:unset!important;background-position:unset!important;background-repeat:unset!important;background-size:unset!important;border-collapse:unset!important;border:unset!important;box-sizing:unset!important;break-after:unset!important;break-before:unset!important;break-inside:unset!important;caption-side:unset!important;clear:unset!important;column-count:unset!important;column-fill:unset!important;column-gap:unset!important;column-rule-color:unset!important;column-rule-style:unset!important;column-rule-width:unset!important;column-span:unset!important;column-width:unset!important;empty-cells:unset!important;float:unset!important;image-orientation:unset!important;isolation:unset!important;line-break:unset!important;line-height:18px!important;list-style:unset!important;mix-blend-mode:unset!important;object-fit:unset!important;object-position:unset!important;outline:unset!important;overflow:unset!important;quotes:unset!important;table-layout:unset!important;text-align:unset!important;text-align-last:unset!important;text-decoration-color:unset!important;text-decoration:unset!important;text-decoration-style:unset!important;text-emphasis-color:unset!important;text-emphasis-style:unset!important;text-indent:unset!important;text-overflow:unset!important;text-transform:unset!important;text-underline-position:unset!important;vertical-align:unset!important;white-space:unset!important;word-break:unset!important;border-spacing:unset!important;word-spacing:unset!important;background-clip:unset!important;background-origin:unset!important;text-combine-upright:unset!important;display:block!important;opacity:unset!important;background-color:rgb(208,216,220)!important;border-radius:unset!important;height:unset!important;margin:unset!important;max-height:unset!important;max-width:unset!important;min-height:unset!important;min-width:unset!important;padding:unset!important;width:unset!important">This
Message Is From an External Sender</div>
<div id="m_-8871480957337302699pfptBanner6g0pnyx" style="writing-mode:unset!important;font-family:Arial,sans-serif!important;font-feature-settings:unset!important;font-kerning:unset!important;font-size:12px!important;font-size-adjust:unset!important;font-stretch:unset!important;font-variant-alternates:unset!important;font-variant-caps:unset!important;font-variant-east-asian:unset!important;font-variant-ligatures:unset!important;font-variant-numeric:unset!important;font-weight:unset!important;text-orientation:unset!important;zoom:unset!important;letter-spacing:unset!important;background-blend-mode:unset!important;background-image:unset!important;background-position:unset!important;background-repeat:unset!important;background-size:unset!important;border-collapse:unset!important;border:unset!important;box-sizing:unset!important;break-after:unset!important;break-before:unset!important;break-inside:unset!important;caption-side:unset!important;clear:unset!important;column-count:unset!important;column-fill:unset!important;column-gap:unset!important;column-rule-color:unset!important;column-rule-style:unset!important;column-rule-width:unset!important;column-span:unset!important;column-width:unset!important;empty-cells:unset!important;float:unset!important;image-orientation:unset!important;isolation:unset!important;line-break:unset!important;line-height:18px!important;list-style:unset!important;mix-blend-mode:unset!important;object-fit:unset!important;object-position:unset!important;outline:unset!important;overflow:unset!important;quotes:unset!important;table-layout:unset!important;text-align:unset!important;text-align-last:unset!important;text-decoration-color:unset!important;text-decoration:unset!important;text-decoration-style:unset!important;text-emphasis-color:unset!important;text-emphasis-style:unset!important;text-indent:unset!important;text-overflow:unset!important;text-transform:unset!important;text-underline-position:unset!important;vertical-align:unset!important;white-space:unset!important;word-break:unset!important;border-spacing:unset!important;word-spacing:unset!important;background-clip:unset!important;background-origin:unset!important;text-combine-upright:unset!important;display:block!important;opacity:unset!important;background-color:rgb(208,216,220)!important;border-radius:unset!important;height:unset!important;margin-bottom:unset!important;margin-left:unset!important;margin-right:unset!important;max-height:unset!important;max-width:unset!important;min-height:unset!important;min-width:unset!important;padding:unset!important;width:unset!important;margin-top:2px!important">This
message came from outside your organization.</div>
</div>
</div>
<div dir="ltr" style="font-family:Helvetica;font-size:18px;font-style:normal;font-variant-caps:normal;font-weight:400;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;text-decoration:none">Hi
all,<br>
<br>
After I compiled PETSc, I found some duplicated libs in
the variable PETSC_EXTERNAL_LIB_BASIC, e.g., -lm,
-lgfortran -lstdc++. I am curious how it happened and
how to remove the duplicates?<br>
<br>
Thanks,<br>
<br>
Runjian Wu</div>
</div>
</blockquote>
</div>
<br>
</div>
</blockquote>
</div>
</div>
</div></blockquote></div><br></div></body></html>