build: Support TIMING and PROFILING like coq_makefile

AbsInt / CompCert

The CompCert formally-verified C compiler

https://compcert.org

Other

1.85k stars 225 forks source link

Closed SkySkimmer closed 2 months ago

SkySkimmer commented 3 months ago

Should be useful to identify changes more precisely in the Coq benchmarking.

SkySkimmer commented 2 months ago

ping