mirror of
https://github.com/ocaml-tracing/ocaml-trace.git
synced 2026-03-08 03:47:57 -04:00
fix build: deptopt on mtime for trace-core.util
This commit is contained in:
parent
43cc061096
commit
a9fdc58904
3 changed files with 6 additions and 0 deletions
|
|
@ -18,6 +18,8 @@
|
||||||
(depends
|
(depends
|
||||||
(ocaml (>= 4.08))
|
(ocaml (>= 4.08))
|
||||||
dune)
|
dune)
|
||||||
|
(depopts
|
||||||
|
(mtime (>= 2.0)))
|
||||||
(tags
|
(tags
|
||||||
(trace tracing observability profiling)))
|
(trace tracing observability profiling)))
|
||||||
|
|
||||||
|
|
|
||||||
|
|
@ -3,6 +3,7 @@
|
||||||
(public_name trace.private.util)
|
(public_name trace.private.util)
|
||||||
(synopsis "internal utilities for trace. No guarantees of stability.")
|
(synopsis "internal utilities for trace. No guarantees of stability.")
|
||||||
(name trace_private_util)
|
(name trace_private_util)
|
||||||
|
(optional) ; depends on mtime
|
||||||
(libraries trace.core mtime mtime.clock.os unix threads
|
(libraries trace.core mtime mtime.clock.os unix threads
|
||||||
(select domain_util.ml from
|
(select domain_util.ml from
|
||||||
(base-domain -> domain_util.real.ml)
|
(base-domain -> domain_util.real.ml)
|
||||||
|
|
|
||||||
|
|
@ -14,6 +14,9 @@ depends: [
|
||||||
"dune" {>= "2.9"}
|
"dune" {>= "2.9"}
|
||||||
"odoc" {with-doc}
|
"odoc" {with-doc}
|
||||||
]
|
]
|
||||||
|
depopts: [
|
||||||
|
"mtime" {>= "2.0"}
|
||||||
|
]
|
||||||
build: [
|
build: [
|
||||||
["dune" "subst"] {dev}
|
["dune" "subst"] {dev}
|
||||||
[
|
[
|
||||||
|
|
|
||||||
Loading…
Add table
Reference in a new issue