enable profiling with Ocaml >= 4.09
The --enable-profiling
option to ./configure
adds the options -g
and -p
to Ocaml compilation. Yet, the option -p
is not supported anymore by Ocaml >= 4.09
The makefile should be patched to add only the option -g
when profiling and ocaml version >= 4.09
For the record, profiling can be done with perf
with
perf record --call-graph=dwarf -- why3 <options>
perf report
You may need to execute the first command with superuser priviledges.
This information should be given in some doc, say in CONTRIBUTING.md