From 041e83139d0f5cc07a0f83d065c88bd61303d935 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Sun, 18 Jul 2021 10:31:03 -0400 Subject: [PATCH] feat: make mtime optional with dummy "tef" backend --- src/tef/Sidekick_tef.dummy.ml | 3 +++ src/tef/{Sidekick_tef.ml => Sidekick_tef.real.ml} | 0 src/tef/dune | 8 ++++++-- 3 files changed, 9 insertions(+), 2 deletions(-) create mode 100644 src/tef/Sidekick_tef.dummy.ml rename src/tef/{Sidekick_tef.ml => Sidekick_tef.real.ml} (100%) diff --git a/src/tef/Sidekick_tef.dummy.ml b/src/tef/Sidekick_tef.dummy.ml new file mode 100644 index 00000000..994edeb7 --- /dev/null +++ b/src/tef/Sidekick_tef.dummy.ml @@ -0,0 +1,3 @@ + +let setup() = () +let teardown() = () diff --git a/src/tef/Sidekick_tef.ml b/src/tef/Sidekick_tef.real.ml similarity index 100% rename from src/tef/Sidekick_tef.ml rename to src/tef/Sidekick_tef.real.ml diff --git a/src/tef/dune b/src/tef/dune index db8f8b5e..a529f1cf 100644 --- a/src/tef/dune +++ b/src/tef/dune @@ -3,6 +3,10 @@ (name sidekick_tef) (public_name sidekick.tef) (synopsis "profiling backend based on TEF") - (optional) (flags :standard -warn-error -a+8) - (libraries sidekick.util unix threads mtime mtime.clock.os)) + (libraries + sidekick.util unix threads + (select Sidekick_tef.ml from + (mtime mtime.clock.os -> Sidekick_tef.real.ml) + (-> Sidekick_tef.dummy.ml))) + (optional))