mirror of
https://github.com/c-cube/tiny_httpd.git
synced 2025-12-06 03:05:29 -05:00
12 lines
276 B
Text
12 lines
276 B
Text
|
|
|
|
(library
|
|
(name tiny_httpd_prometheus)
|
|
(public_name tiny_httpd.prometheus)
|
|
(synopsis "Metrics using prometheus")
|
|
(private_modules common_ time_)
|
|
(libraries
|
|
tiny_httpd unix
|
|
(select time_.ml from
|
|
(mtime mtime.clock.os -> time_.mtime.ml)
|
|
(-> time_.default.ml))))
|