This commit is contained in:
Simon Cruanes 2025-09-15 10:26:34 -04:00
parent 9a77dad2fd
commit c2a1ee5904
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4

View file

@ -28,7 +28,8 @@
(depopts (depopts
hmap hmap
unix unix
(picos_aux (>= 0.6)) (picos_aux
(>= 0.6))
(mtime (mtime
(>= 2.0))) (>= 2.0)))
(tags (tags
@ -39,9 +40,12 @@
(synopsis "A ppx-based preprocessor for trace") (synopsis "A ppx-based preprocessor for trace")
(depends (depends
(ocaml (ocaml
(>= 4.12)) ; we use __FUNCTION__ (>= 4.12))
; we use __FUNCTION__
(ppxlib (ppxlib
(and (>= 0.28) (< 0.36))) (and
(>= 0.28)
(< 0.36)))
(trace (trace
(= :version)) (= :version))
(trace-tef (trace-tef
@ -50,7 +54,8 @@
:with-test)) :with-test))
dune) dune)
(depopts (depopts
(mtime (>= 2.0))) (mtime
(>= 2.0)))
(tags (tags
(trace ppx))) (trace ppx)))