X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=components%2Fextlib%2FcomponentsConf.ml.in;h=c24b74e580ad6725b03cb4e5223710669b4ed5a5;hb=d769719c7c60089f1623d7c31db992326b9408e2;hp=528e90a1c740252d1b4df7b82362cdd363e5d3a3;hpb=7f2444c2670cadafddd8785b687ef312158376b0;p=helm.git

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@"