search

coq / coq-bench

Scripts for differential performance testing of Coq packages / versions
Other
4 stars 6 forks source link

Make timelog2html more portable #42

Closed anton-trunov closed 6 years ago

anton-trunov commented 6 years ago

E.g. Homebrew package manager on macOS installs binaries into /usr/local/bin by default.

anton-trunov commented 6 years ago

@gares Thanks for the tip. Now I can get the per-line timings in HTML as follows:

timelog2html file.v file.v.timing file.v.timing > file.timing.html
gares commented 6 years ago

thanks