<html><head><meta http-equiv="Content-Type" content="text/html charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class="">Hi devs,<div class=""><br class=""></div><div class="">Trying to validate with tonight's HEAD (+ my local changes) on a Mac yields</div><div class=""><br class=""></div><div class=""><div style="margin: 0px; font-size: 10px; line-height: normal; font-family: Menlo; color: rgb(255, 255, 255); background-color: rgb(0, 0, 0);" class=""><span style="font-variant-ligatures: no-common-ligatures" class=""><b class="">libraries/time/lib/Data/Time/Clock/Internal/SystemTime.hs:22:7: </b></span><span style="font-variant-ligatures: no-common-ligatures; color: #c33720" class=""><b class="">error:</b></span></div><div style="margin: 0px; font-size: 10px; line-height: normal; font-family: Menlo; color: rgb(255, 255, 255); background-color: rgb(0, 0, 0);" class=""><span style="font-variant-ligatures: no-common-ligatures" class=""><b class=""> error: 'HAVE_CLOCK_GETTIME' is not defined, evaluates to 0 [-Werror,-Wundef]</b></span></div><div style="margin: 0px; font-size: 10px; line-height: normal; font-family: Menlo; color: rgb(83, 48, 225); background-color: rgb(0, 0, 0);" class=""><span style="font-variant-ligatures: no-common-ligatures" class=""><b class=""> |</b></span></div><div style="margin: 0px; font-size: 10px; line-height: normal; font-family: Menlo; color: rgb(245, 245, 245); background-color: rgb(0, 0, 0);" class=""><span style="font-variant-ligatures: no-common-ligatures; color: #5330e1" class=""><b class="">22 |</b></span><span style="font-variant-ligatures: no-common-ligatures" class=""> #elif </span><span style="font-variant-ligatures: no-common-ligatures; color: #c33720" class=""><b class="">H</b></span><span style="font-variant-ligatures: no-common-ligatures" class="">AVE_CLOCK_GETTIME</span></div><div style="margin: 0px; font-size: 10px; line-height: normal; font-family: Menlo; color: rgb(195, 55, 32); background-color: rgb(0, 0, 0);" class=""><span style="font-variant-ligatures: no-common-ligatures; color: #5330e1" class=""><b class=""> |</b></span><span style="font-variant-ligatures: no-common-ligatures" class=""><b class=""> ^</b></span></div><div style="margin: 0px; font-size: 10px; line-height: normal; font-family: Menlo; color: rgb(245, 245, 245); background-color: rgb(0, 0, 0);" class=""><span style="font-variant-ligatures: no-common-ligatures" class="">#elif HAVE_CLOCK_GETTIME</span></div><div style="margin: 0px; font-size: 10px; line-height: normal; font-family: Menlo; color: rgb(245, 245, 245); background-color: rgb(0, 0, 0);" class=""><span style="font-variant-ligatures: no-common-ligatures" class=""> ^</span></div><div style="margin: 0px; font-size: 10px; line-height: normal; font-family: Menlo; color: rgb(245, 245, 245); background-color: rgb(0, 0, 0); min-height: 11px;" class=""><span style="font-variant-ligatures: no-common-ligatures" class=""></span><br class=""></div><div style="margin: 0px; font-size: 10px; line-height: normal; font-family: Menlo; color: rgb(255, 255, 255); background-color: rgb(0, 0, 0);" class=""><span style="font-variant-ligatures: no-common-ligatures" class=""><b class="">libraries/time/lib/Data/Time/Clock/Internal/SystemTime.hs:70:7: </b></span><span style="font-variant-ligatures: no-common-ligatures; color: #c33720" class=""><b class="">error:</b></span></div><div style="margin: 0px; font-size: 10px; line-height: normal; font-family: Menlo; color: rgb(255, 255, 255); background-color: rgb(0, 0, 0);" class=""><span style="font-variant-ligatures: no-common-ligatures" class=""><b class=""> error: 'HAVE_CLOCK_GETTIME' is not defined, evaluates to 0 [-Werror,-Wundef]</b></span></div><div style="margin: 0px; font-size: 10px; line-height: normal; font-family: Menlo; color: rgb(83, 48, 225); background-color: rgb(0, 0, 0);" class=""><span style="font-variant-ligatures: no-common-ligatures" class=""><b class=""> |</b></span></div><div style="margin: 0px; font-size: 10px; line-height: normal; font-family: Menlo; color: rgb(245, 245, 245); background-color: rgb(0, 0, 0);" class=""><span style="font-variant-ligatures: no-common-ligatures; color: #5330e1" class=""><b class="">70 |</b></span><span style="font-variant-ligatures: no-common-ligatures" class=""> #elif </span><span style="font-variant-ligatures: no-common-ligatures; color: #c33720" class=""><b class="">H</b></span><span style="font-variant-ligatures: no-common-ligatures" class="">AVE_CLOCK_GETTIME</span></div><div style="margin: 0px; font-size: 10px; line-height: normal; font-family: Menlo; color: rgb(195, 55, 32); background-color: rgb(0, 0, 0);" class=""><span style="font-variant-ligatures: no-common-ligatures; color: #5330e1" class=""><b class=""> |</b></span><span style="font-variant-ligatures: no-common-ligatures" class=""><b class=""> ^</b></span></div><div style="margin: 0px; font-size: 10px; line-height: normal; font-family: Menlo; color: rgb(245, 245, 245); background-color: rgb(0, 0, 0);" class=""><span style="font-variant-ligatures: no-common-ligatures" class="">#elif HAVE_CLOCK_GETTIME</span></div></div><div class=""><span style="font-variant-ligatures: no-common-ligatures" class=""><br class=""></span></div><div class="">Is this related to the recent change from #ifdef to #if?</div><div class=""><br class=""></div><div class="">Thanks,</div><div class="">Richard</div></body></html>