From 1c264a258be01623b8936657a32f2251ca2059c1 Mon Sep 17 00:00:00 2001
From: Léo Gourdin <leo.gourdin@univ-grenoble-alpes.fr>
Date: Wed, 5 Jan 2022 15:22:22 +0100
Subject: ccomp profiling

---
 configure | 1 +
 1 file changed, 1 insertion(+)

(limited to 'configure')

diff --git a/configure b/configure
index 3da00fb3..e21c2424 100755
--- a/configure
+++ b/configure
@@ -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
-- 
cgit