diff options
author | David Monniaux <David.Monniaux@univ-grenoble-alpes.fr> | 2022-01-07 08:57:01 +0100 |
---|---|---|
committer | David Monniaux <David.Monniaux@univ-grenoble-alpes.fr> | 2022-01-07 08:57:01 +0100 |
commit | 4f8bfe366d278012391231624b32e61af5882785 (patch) | |
tree | bfb944c44ac69799ecdc0179ef76308632c97ba7 /configure | |
parent | d51e5088717ef047902cca02f0ddd5e36fa50432 (diff) | |
parent | 1749be90299633474d2acad39ec8c70df6ccab32 (diff) | |
download | compcert-kvx-4f8bfe366d278012391231624b32e61af5882785.tar.gz compcert-kvx-4f8bfe366d278012391231624b32e61af5882785.zip |
Merge remote-tracking branch 'origin/kvx-work' into kvx_fp_division
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 |