From 04b5b2e8367ab01a2e9a0a1b511f8fa6cdb60a0f Mon Sep 17 00:00:00 2001
From: Pierre Roux
Date: Fri, 13 Nov 2020 11:09:29 +0100
Subject: Add default value of -native-compiler to `coqc -config`

---
 lib/envars.ml | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

(limited to 'lib')

diff --git a/lib/envars.ml b/lib/envars.ml
index c9c97eaa97..585d5185b4 100644
--- a/lib/envars.ml
+++ b/lib/envars.ml
@@ -181,5 +181,9 @@ let print_config ?(prefix_var_name="") f coq_src_subdirs =
   fprintf f "%sWARN=%s\n" prefix_var_name "-warn-error +a-3";
   fprintf f "%sHASNATDYNLINK=%s\n" prefix_var_name
     (if Coq_config.has_natdynlink then "true" else "false");
-  fprintf f "%sCOQ_SRC_SUBDIRS=%s\n" prefix_var_name (String.concat " " coq_src_subdirs)
-
+  fprintf f "%sCOQ_SRC_SUBDIRS=%s\n" prefix_var_name (String.concat " " coq_src_subdirs);
+  fprintf f "%sCOQ_NATIVE_COMPILER_DEFAULT=%s\n" prefix_var_name
+    (match Coq_config.native_compiler with
+     | Coq_config.NativeOn {ondemand=false} -> "yes"
+     | Coq_config.NativeOff -> "no"
+     | Coq_config.NativeOn {ondemand=true} -> "ondemand")
-- 
cgit v1.2.3