(executable
  (name           main)
  (public_name    dolmen)
  (package        dolmen_bin)
  (libraries
    ; external deps
    cmdliner fmt gen
    ; dolmen deps
    dolmen dolmen.intf dolmen.std
    dolmen_type dolmen_loop dolmen_model
    ; Memtrace dependency
    (select memory_profiler.ml from
            (memtrace -> memory_profiler.memtrace.ml)
            (         -> memory_profiler.missing.ml))
    )
)

; Rule to generate a man page for dolmen
(rule
  (target        dolmen.1)
  (action (with-outputs-to %{target} (run dolmen --help=groff)))
)

; Install the man page
(install
 (section  man)
 (files    dolmen.1)
 (package  dolmen_bin)
)