summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMathieu Othacehe <m.othacehe@gmail.com>2017-07-12 09:45:18 +0200
committerMathieu Othacehe <m.othacehe@gmail.com>2017-07-12 16:28:41 +0200
commit56ac3e24ac52d6129737179ec55396dc259fca4c (patch)
tree351684064ff09e441d301213ab2d4b8d8abdbeba
parentd7dc7cb92cc88ed3a245e628b424953206a3f784 (diff)
downloadcuirass-56ac3e24ac52d6129737179ec55396dc259fca4c.tar
cuirass-56ac3e24ac52d6129737179ec55396dc259fca4c.tar.gz
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.
-rw-r--r--src/cuirass/base.scm7
1 files changed, 7 insertions, 0 deletions
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))