X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fextlib%2FcomponentsConf.ml.in;h=c24b74e580ad6725b03cb4e5223710669b4ed5a5;hb=9e7df95a820cb91d075f1a20d703175da874596c;hp=528e90a1c740252d1b4df7b82362cdd363e5d3a3;hpb=55b82bd235d82ff7f0a40d980effe1efde1f5073;p=helm.git

diff --git a/helm/software/components/extlib/componentsConf.ml.in b/helm/software/components/extlib/componentsConf.ml.in
index 528e90a1c..c24b74e58 100644
--- a/helm/software/components/extlib/componentsConf.ml.in
+++ b/helm/software/components/extlib/componentsConf.ml.in
@@ -25,4 +25,5 @@
 
 let debug = @DEBUG@
 let profiling = debug
+let src_root = "@SRCROOT@"