simon/sidekick
1
0
Fork 0
mirror of https://github.com/c-cube/sidekick.git synced 2025-12-07 11:45:41 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

feat: make mtime optional with dummy "tef" backend

Browse source
This commit is contained in:
Simon Cruanes 2021-07-18 10:31:03 -04:00
parent c7bf4b01e7
commit 041e83139d
3 changed files with 9 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
src/tef/Sidekick_tef.dummy.ml Normal file
View file

@ -0,0 +1,3 @@
let setup() = ()
let teardown() = ()

0
src/tef/Sidekick_tef.ml → src/tef/Sidekick_tef.real.ml
View file

8
src/tef/dune
View file

@ -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))