diff options
author | Léo Gourdin <leo.gourdin@univ-grenoble-alpes.fr> | 2022-01-05 15:22:22 +0100 |
---|---|---|
committer | Léo Gourdin <leo.gourdin@univ-grenoble-alpes.fr> | 2022-01-05 15:22:22 +0100 |
commit | 1c264a258be01623b8936657a32f2251ca2059c1 (patch) | |
tree | a6c707ef97373ca91b0f476fd3b9ab1ee47fb073 /configure | |
parent | 89562c917e61c56a167ba13b86021b286cb7e257 (diff) | |
download | compcert-kvx-1c264a258be01623b8936657a32f2251ca2059c1.tar.gz compcert-kvx-1c264a258be01623b8936657a32f2251ca2059c1.zip |
ccomp profiling
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -661,6 +661,7 @@ SHAREDIR=$sharedir COQDEVDIR=$coqdevdir OCAML_NATIVE_COMP=$ocaml_native_comp OCAML_OPT_COMP=$ocaml_opt_comp +OCAML_LM_PROF=false MENHIR_DIR=$menhir_dir COMPFLAGS=-bin-annot EOF |