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