From 08fe63b13519c75d75f28638d166f360b593ba7c Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Thu, 23 Feb 2006 21:31:23 +0000 Subject: [PATCH] - added src_root build time configuration value - added the disclaimer "ComponentsConf should not be here" --- components/extlib/componentsConf.ml.in | 1 + components/extlib/componentsConf.mli | 9 +++++++++ 2 files changed, 10 insertions(+) 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 + -- 2.39.2