mirror of
https://github.com/c-cube/tiny_httpd.git
synced 2025-12-10 21:24:03 -05:00
12 lines
278 B
Text
12 lines
278 B
Text
|
|
(library
|
|
(name tiny_httpd)
|
|
(public_name tiny_httpd)
|
|
(libraries threads seq)
|
|
(flags :standard -safe-string -warn-error -a+8)
|
|
(wrapped false))
|
|
|
|
(rule
|
|
(targets Tiny_httpd_html_.ml)
|
|
(deps (:bin ./gen/gentags.exe))
|
|
(action (with-stdout-to %{targets} (run %{bin}))))
|