* http://helm.cs.unibo.it/
*)
+(* $Id$ *)
+
let logger = fun mark ->
match mark with
- | `Error -> MatitaLog.error
- | `Warning -> MatitaLog.warn
- | `Debug -> MatitaLog.debug
- | `Message -> MatitaLog.message
+ | `Error -> HLog.error
+ | `Warning -> HLog.warn
+ | `Debug -> HLog.debug
+ | `Message -> HLog.message
;;
type development =
let call_make development target make =
rebuild_makefile development;
let makefile = makefile_for_development development in
+ let nodb =
+ Helm_registry.get_opt_default Helm_registry.bool ~default:false "db.nodb"
+ in
+ let flags = if nodb then ["NODB=true"] else [] in
make development.root
- ["--no-print-directory"; "-s"; "-k"; "-f"; makefile; target]
+ (["--no-print-directory"; "-s"; "-k"; "-f"; makefile; target]
+ @ flags)
let build_development ?(target="all") development =
call_make development target make
let rex_d = Pcre.regexp "^Debug" in
let rex_noendline = Pcre.regexp "\\n" in
let s = Pcre.replace ~rex:rex_noendline s in
- let len = String.length s in
let tokens = Pcre.split ~rex s in
- let logger = ref MatitaLog.message in
+ let logger = ref HLog.message in
let rec aux =
function
| [] -> ()
| s::tl ->
(if Pcre.pmatch ~rex:rex_i s then
- logger := MatitaLog.message
+ logger := HLog.message
else if Pcre.pmatch ~rex:rex_w s then
- logger := MatitaLog.warn
+ logger := HLog.warn
else if Pcre.pmatch ~rex:rex_e s then
- logger := MatitaLog.error
+ logger := HLog.error
else if Pcre.pmatch ~rex:rex_d s then
- logger := MatitaLog.debug
+ logger := HLog.debug
else
!logger s);
aux tl