- match development_for_dir dir with
- | Some dev ->
- if dir <> dev.root then begin
- logger `Error
- (sprintf ("Dir \"%s\" is already handled by development \"%s\"\n"
- ^^ "Development \"%s\" is rooted in \"%s\"\n"
- ^^ "Dir \"%s\" is a sub-dir of \"%s\"")
- dir dev.name dev.name dev.root dir dev.root);
- None
- end else (* requirement development alreay exists, do nothing *)
- Some dev
- | None ->
- dump_development dev;
- rebuild_makefile dev;
- developments := dev :: !developments;
- Some dev