From 11ec801fa17434b0a3aad2c88a4422a22f1c4c44 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <Enrico.Tassi@inria.fr>
Date: Wed, 4 Jan 2017 14:46:52 +0100
Subject: Put the list of Coq sources subdirectories in one place

and avoid duplication
---
 tools/coq_makefile.ml | 8 +-------
 1 file changed, 1 insertion(+), 7 deletions(-)

(limited to 'tools/coq_makefile.ml')

diff --git a/tools/coq_makefile.ml b/tools/coq_makefile.ml
index 0b2c40170..379cc856b 100644
--- a/tools/coq_makefile.ml
+++ b/tools/coq_makefile.ml
@@ -47,13 +47,7 @@ let section s =
 (* These are the Coq library directories that are used for
  * plugin development
  *)
-let lib_dirs =
-  ["kernel"; "lib"; "library"; "parsing";
-   "pretyping"; "interp"; "printing"; "intf";
-   "proofs"; "tactics"; "tools";
-   "vernac"; "stm"; "toplevel"; "grammar"; "config";
-   "engine"]
-
+let lib_dirs = Envars.coq_src_subdirs
 
 let usage () =
   output_string stderr "Usage summary:\
-- 
cgit v1.2.3