<div dir="ltr"><div dir="ltr"><div class="gmail_default" style="font-family:verdana,sans-serif;font-size:small"><br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Thu, May 30, 2019 at 6:55 AM Shayne Fletcher <<a href="mailto:shayne.fletcher@daml.com">shayne.fletcher@daml.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr"><div dir="ltr"><div style="font-family:verdana,sans-serif;font-size:small">Hi Alp,</div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Fri, May 24, 2019 at 11:34 AM Shayne Fletcher <<a href="mailto:shayne.fletcher@daml.com" target="_blank">shayne.fletcher@daml.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr"><div dir="ltr"><div style="font-family:verdana,sans-serif;font-size:small"><br></div></div><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Fri, May 24, 2019 at 7:33 AM Alp Mestanogullari <<a href="mailto:alp@well-typed.com" target="_blank">alp@well-typed.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
  
    
  
  <div bgcolor="#FFFFFF">
    <p>Hello Shayne,</p>
    <p>David and I figured out the cause of that problem, I am working
      on a patch, will put it up as a (WIP) MR as soon as it's ready.<br>
    </p>
    <div class="gmail-m_-6139247223589767252gmail-m_-6485840854193562295gmail-m_623259915804351391moz-cite-prefix"><br></div></div></blockquote><div style="font-family:verdana,sans-serif;font-size:small"><br></div><div style="font-family:verdana,sans-serif;font-size:small">Awesome!</div><div style="font-family:verdana,sans-serif;font-size:small"></div></div></div></blockquote></div><div style="font-family:verdana,sans-serif;font-size:small"></div><div><div style="font-family:verdana,sans-serif;font-size:small">Confused. <span style="font-family:Arial,Helvetica,sans-serif">I see 382dc918 ("</span><span style="font-family:Arial,Helvetica,sans-serif">Hadrian: always generate the libffi dynlibs manifest with globbing") has landed but I'm still getting,<br></span><span style="font-family:Arial,Helvetica,sans-serif">```<br></span>2019-05-30T10:47:57.5002328Z Error, file does not exist and no rule available:<br>2019-05-30T10:47:57.5002606Z   _build/stage1/libffi/build/inst/bin/libffi-6.dll<br>```<br>What am I missing?</div></div></div></blockquote><div class="gmail_default" style="font-family:verdana,sans-serif;font-size:small"><br>Golden rule of programming : when your program doesn't work and you've checked everything and are sure everything is right and your program still doesn't work then, one of the things you are sure of is wrong :)<br><br>My front-running guess is that the patch hasn't landed. So many confusing notifications!! Sorry for the noise and fingers crossed for its progress in the merge queue!</div><div class="gmail_default" style="font-family:verdana,sans-serif;font-size:small"><br></div></div>-- <br><div dir="ltr" class="gmail_signature"><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr"><div dir="ltr"><div style="letter-spacing:normal;padding:10px 0px 10px 10px;width:300px;max-width:300px;color:rgb(26,40,77);font-size:12px"><div style="color:rgb(33,33,33);font-size:13px"><div><div><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div style="padding:10px 0px 10px 10px;width:300px;max-width:300px;color:rgb(26,40,77);font-size:12px"><font face="verdana, sans-serif"><span style="font-weight:bold;font-size:14px">Shayne Fletcher</span><br>Language Engineer<br><span style="font-weight:600">c:</span> <span style="color:rgb(96,138,216)">+1 917 699 7763</span><br><span style="font-weight:600">e:</span> <a href="mailto:shayne.fletcher@daml.com" target="_blank">shayne.fletcher@daml.com</a></font></div><div style="background-color:rgb(242,245,250);width:300px;max-width:300px;padding:0px 0px 10px 10px;font-size:12px;color:rgb(98,119,146);border-bottom:4px solid rgb(32,50,96)"><font face="Karla, sans-serif"><span style="border-style:initial;border-color:initial;height:auto"><img src="https://s3.amazonaws.com/digitalasset.com/Digital+Asset+Logo+-+small+-+pad.png" style="border: 0px; vertical-align: middle; max-width: 100%; height: auto; display: block; width: 120px;"></span></font><font face="verdana, sans-serif">Digital Asset Holdings, LLC<br>4 World Trade Center                                        <a href="https://maps.google.com/?q=150+Greenwich+Street,+47th+Floor%C2%A0+%C2%A0+%C2%A0+%C2%A0+%C2%A0+New+York,+NY+10007,+USA&entry=gmail&source=g" style="color:rgb(126,87,194)" target="_blank">150 Greenwich Street, 47th Floor         </a><br><a href="https://maps.google.com/?q=150+Greenwich+Street,+47th+Floor%C2%A0+%C2%A0+%C2%A0+%C2%A0+%C2%A0+New+York,+NY+10007,+USA&entry=gmail&source=g" style="color:rgb(126,87,194)" target="_blank">New York, NY 10007, USA</a><br><a href="http://www.digitalasset.com/" style="color:rgb(96,138,216);background-color:transparent;outline:none 0px" target="_blank">digitalasset.com</a></font></div><br></div></div></div></div></div></div></div><div style="font-family:sans-serif;color:rgb(33,33,33);font-size:13px"></div></div></div></div></div></div></div></div></div></div></div></div>

<br>
<span style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:12.8000001907349px;background-color:rgb(255,255,255)">This message, and any attachments, is for the intended recipient(s) only, may contain information that is privileged, confidential and/or proprietary and subject to important terms and conditions available at </span><a href="http://www.digitalasset.com/emaildisclaimer.html" style="color:rgb(17,85,204);font-family:arial,sans-serif;font-size:12.8px;background-color:rgb(255,255,255)" target="_blank">http://www.digitalasset.<wbr>com/emaildisclaimer.html</a><span style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:12.8000001907349px;background-color:rgb(255,255,255)">. If you are not the intended recipient, please delete this message.</span>