<!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>