
<!doctype html>

<html>

 <head> 

  <meta http-equiv="Content-Type" content="text/html; charset=UTF-8"> 

 </head>

 <body> 

  <div class="default-style">

    [178/315] Compiling libntp/clockwork.c 

   <br>../../libntp/ntp_calendar.c:18:10: fatal error: PIVOT.h: No such file or directory 

   <br>  18 | #include "PIVOT.h" 

   <br>     |          ^~~~~~~~~ 

   <br>compilation terminated. 

   <br> 

   <br> 

  </div> 

  <div class="default-style">

    Default verbosity log and minimal solving patch attached. I 

   <br>also think merge requests !1256, !1253, and !1237 should be 

   <br>merged, and that !1292, !1290, and others should be evaluated 

   <br>(although probably later). 

  </div> 

  <div class="default-style">

      

  </div> 

  <div class="default-style">

      

  </div> 

 </body>

</html>