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