diff options
| author | Mark Shinwell <mshinwell@gmail.com> | 2017-06-16 13:51:12 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-06-16 13:51:12 +0100 |
| commit | 96833936259e334501a24a2814fcea216da32c54 (patch) | |
| tree | b5688419d63f54d4de124711ad04a3a36428c6dd /configure | |
| parent | 563ae284a463388fa36506b866266b05874880a5 (diff) | |
| download | ocaml-96833936259e334501a24a2814fcea216da32c54.tar.gz | |
Call counts in Spacetime (#1180)
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 15 |
1 files changed, 15 insertions, 0 deletions
@@ -54,6 +54,7 @@ with_debugger=ocamldebugger with_ocamldoc=ocamldoc with_frame_pointers=false with_spacetime=false +with_spacetime_call_counts=false with_profinfo=false profinfo_width=0 no_naked_pointers=false @@ -184,6 +185,11 @@ while : ; do no_naked_pointers=true;; -spacetime|--spacetime) with_spacetime=true; with_profinfo=true; profinfo_width=26;; + -spacetime-call-counts|--spacetime-call-counts) + with_spacetime=true + with_profinfo=true + profinfo_width=26 + with_spacetime_call_counts=true;; -reserved-header-bits|--reserved-header-bits) with_spacetime=false; with_profinfo=true; profinfo_width=$2;shift case $profinfo_width in @@ -1864,6 +1870,9 @@ if $with_spacetime; then if $spacetime_supported; then echo "Spacetime profiling will be available." echo "#define WITH_SPACETIME" >> m.h + if $with_spacetime_call_counts; then + echo "#define WITH_SPACETIME_CALL_COUNTS" >> m.h + fi if $disable_libunwind; then has_libunwind=no libunwind_available=false @@ -2027,6 +2036,7 @@ echo "WITH_OCAMLDOC=${with_ocamldoc}" >>Makefile echo "ASM_CFI_SUPPORTED=$asm_cfi_supported" >> Makefile echo "WITH_FRAME_POINTERS=$with_frame_pointers" >> Makefile echo "WITH_SPACETIME=$with_spacetime" >> Makefile +echo "WITH_SPACETIME_CALL_COUNTS=$with_spacetime_call_counts" >> Makefile echo "WITH_PROFINFO=$with_profinfo" >> Makefile echo "LIBUNWIND_AVAILABLE=$libunwind_available" >> Makefile echo "LIBUNWIND_INCLUDE_FLAGS=$libunwind_include" >> Makefile @@ -2108,6 +2118,11 @@ else fi if $with_spacetime; then inf " spacetime profiling....... yes" + if test "$with_spacetime_call_counts" = "true"; then + inf " ... with call counts.... yes" + else + inf " ... with call counts.... no" + fi inf " ... with libunwind...... $has_libunwind" else inf " spacetime profiling....... no" |