From cd6dd06789139ee0ff5c2b79a280476999fe2bf1 Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Thu, 5 Jan 2017 17:03:10 +0100
Subject: print_config: print COQ_SRC_SUBDIRS

This way a makefile can just iterate on this list, intead of
having a bunch of -I hardcoded in there by coq_makefile
---
 lib/envars.ml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'lib')

diff --git a/lib/envars.ml b/lib/envars.ml
index b20d39fb55..8654ee1a51 100644
--- a/lib/envars.ml
+++ b/lib/envars.ml
@@ -226,5 +226,7 @@ let print_config f =
   fprintf f "CAMLP4BIN=%s/\n" (camlp4bin ());
   fprintf f "CAMLP4LIB=%s\n" (camlp4lib ());
   fprintf f "CAMLP4OPTIONS=%s\n" Coq_config.camlp4compat;
-  fprintf f "HASNATDYNLINK=%s\n" (if Coq_config.has_natdynlink then "true" else "false")
+  fprintf f "HASNATDYNLINK=%s\n"
+    (if Coq_config.has_natdynlink then "true" else "false");
+  fprintf f "COQ_SRC_SUBDIRS=%s\n" (String.concat " " coq_src_subdirs)
 
-- 
cgit v1.2.3