From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Thu, 23 Feb 2006 21:31:23 +0000 (+0000)
Subject: - added src_root build time configuration value
X-Git-Tag: 0.4.95@7852~1628
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=08fe63b13519c75d75f28638d166f360b593ba7c;p=helm.git

- added src_root build time configuration value
- added the disclaimer "ComponentsConf should not be here"
---

diff --git a/components/extlib/componentsConf.ml.in b/components/extlib/componentsConf.ml.in
index 528e90a1c..c24b74e58 100644
--- a/components/extlib/componentsConf.ml.in
+++ b/components/extlib/componentsConf.ml.in
@@ -25,4 +25,5 @@
 
 let debug = @DEBUG@
 let profiling = debug
+let src_root = "@SRCROOT@"
 
diff --git a/components/extlib/componentsConf.mli b/components/extlib/componentsConf.mli
index 79462bbf4..3d8548cf7 100644
--- a/components/extlib/componentsConf.mli
+++ b/components/extlib/componentsConf.mli
@@ -23,6 +23,15 @@
  * http://helm.cs.unibo.it/
  *)
 
+(** {2 Compile time components configuration}
+ *
+ * This module does not really belong to the extlib (where it is actually
+ * located) it is here just because it's the first in the component dependencies
+ * graph *)
+
 val debug: bool
 val profiling: bool
 
+  (** absolute path of the helm/software directory, only for development use *)
+val src_root: string
+