]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/components/extlib/componentsConf.ml.in
added is_writabledir to extlib
[helm.git] / helm / software / components / extlib / componentsConf.ml.in
index 528e90a1c740252d1b4df7b82362cdd363e5d3a3..c24b74e580ad6725b03cb4e5223710669b4ed5a5 100644 (file)
@@ -25,4 +25,5 @@
 
 let debug = @DEBUG@
 let profiling = debug
+let src_root = "@SRCROOT@"