* 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
+