<!-- 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;">
 Hello! Is there a reason why the PETSc build system looks for libOpenCL. a, but not for libOpenCL. so on linux platforms? I have a machine with debian 12. 5 and nvidia card. It has these packages installed: cuda-opencl-12-5/unknown,now 12. 5. 39-1
</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="pfptBannerr5oxr74" 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="pfptBannerr5oxr74" style="all: unset !important; float:left !important; display:block !important; margin: 0px 0px 1px 0px !important; max-width: 600px !important;">
      <div id="pfptBannerr5oxr74" 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="pfptBannerr5oxr74" 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>
  #pfptBannerr5oxr74 { all: revert !important; display: block !important; 
    visibility: visible !important; opacity: 1 !important; 
    background-color: #D0D8DC !important; 
    max-width: none !important; max-height: none !important }
  .pfptPrimaryButtonr5oxr74:hover, .pfptPrimaryButtonr5oxr74:focus {
    background-color: #b4c1c7 !important; }
  .pfptPrimaryButtonr5oxr74:active {
    background-color: #90a4ae !important; }
</style>

<!-- BaNnErBlUrFlE-HeAdEr-end -->
<meta http-equiv="content-type" content="text/html; charset=us-ascii"></head><body style="overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;">Hello!<div><br></div><div>Is there a reason why the PETSc build system looks for libOpenCL.a, but not for <a href="https://urldefense.us/v3/__http://libOpenCL.so__;!!G_uCfscf7eWS!aUphnoqlYDmqiqau_zLjz7XYVRCrIS7jxMEPFgTLd1sLr9q23CNw_4oCjg_wtfFJ9P9SzlfKpcPjVmRbGNc$">libOpenCL.so</a> on linux platforms? I have a machine with debian 12.5 and nvidia card. It has these packages installed:</div><div><br></div><div><div>cuda-opencl-12-5/unknown,now 12.5.39-1 amd64 [installed,automatic]</div><div>cuda-opencl-dev-12-5/unknown,now 12.5.39-1 amd64 [installed,automatic]</div><div>nvidia-libopencl1/unknown,now 555.42.02-1 amd64 [installed,automatic]</div><div>nvidia-opencl-common/unknown,now 555.42.02-1 amd64 [installed,automatic]</div><div>nvidia-opencl-icd/unknown,now 555.42.02-1 amd64 [installed,automatic]</div><div>opencl-c-headers/stable,now 3.0~2023.02.06-1 all [installed,automatic]</div><div>opencl-clhpp-headers/stable,now 3.0~2023.02.06-1 all [installed,automatic]</div><div>opencl-headers/stable,now 3.0~2023.02.06-1 all [installed]</div></div><div><br></div><div>It only has .so, but no .a</div><div><br></div><div><div>$ find /usr -iname 'libopencl*'</div><div>/usr/local/cuda-12.5/targets/x86_64-linux/lib/libOpenCL.so.1.0.0</div><div>/usr/local/cuda-12.5/targets/x86_64-linux/lib/libOpenCL.so.1</div><div>/usr/local/cuda-12.5/targets/x86_64-linux/lib/libOpenCL.so</div><div>/usr/local/cuda-12.5/targets/x86_64-linux/lib/libOpenCL.so.1.0</div><div>/usr/lib/x86_64-linux-gnu/libOpenCL.so.1.0.0</div><div>/usr/lib/x86_64-linux-gnu/libOpenCL.so.1</div></div><div><br></div><div>Are users supposed to use `--with-opencl-include=` and `--with-opencl-lib` switches in this case?</div><div><br></div><div>Thanks,</div><div><br></div><div>David</div></body></html>