(library
 (name table)
 (modules table)
 (libraries clib))

(executable
 (name render_results)
 (modules render_results)
 (libraries unix table clib))

(executable
 (name render_line_results)
 (modules render_line_results)
 (libraries unix table str clib))

(library
 (name benchlib)
 (modules benchUtil sourcehandler timelogparser htmloutput)
 (libraries unix str clib zarith))

(executable
 (name timelog2html)
 (public_name coqtimelog2html)
 (package coq-core)
 (modules timelog2html)
 (libraries benchlib))
