From 56ac3e24ac52d6129737179ec55396dc259fca4c Mon Sep 17 00:00:00 2001 From: Mathieu Othacehe Date: Wed, 12 Jul 2017 09:45:18 +0200 Subject: base: Fix time-monotonic Guile issue. * src/cuirass/base.scm: Replace time-monotonic with time-tai with Guile 2.2, to avoid wrong evaluation durations. --- src/cuirass/base.scm | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/src/cuirass/base.scm b/src/cuirass/base.scm index f5f80b3..7b73245 100644 --- a/src/cuirass/base.scm +++ b/src/cuirass/base.scm @@ -45,6 +45,13 @@ %package-cachedir %use-substitutes?)) +(cond-expand + (guile-2.2 + ;; Guile 2.2.2 has a bug whereby 'time-monotonic' objects have seconds and + ;; nanoseconds swapped (fixed in Guile commit 886ac3e). Work around it. + (define time-monotonic time-tai)) + (else #t)) + (define %use-substitutes? ;; Define whether to use substitutes (make-parameter #f)) -- cgit v1.2.3