build: support PROFILING and TIMED like coq_makefile

PrincetonUniversity / VST

Verified Software Toolchain

https://vst.cs.princeton.edu

Other

424 stars 91 forks source link

Closed SkySkimmer closed 2 weeks ago

SkySkimmer commented 2 weeks ago

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