(* $Id$ *)
+open Printf
+
let logger = fun mark ->
match mark with
| `Error -> HLog.error
let nodb =
Helm_registry.get_opt_default Helm_registry.bool ~default:false "db.nodb"
in
- let flags = if nodb then ["NODB=true"] else [] in
+ let flags = [] in
+ let flags = flags @ if nodb then ["NODB=true"] else [] in
+ let flags =
+ try
+ flags @ [ sprintf "MATITA_FLAGS=\"%s\"" (Sys.getenv "MATITA_FLAGS") ]
+ with Not_found -> flags in
make development.root
(["--no-print-directory"; "-s"; "-k"; "-f"; makefile; target]
@ flags)