infer.ml

      (* Look for the line that concerns the [.cmo] target, and echo a
         modified version of this line, where the [.cmo] target is
         replaced with [.ml] and [.mli] targets, and where the dependency
         over the [.cmi] file is dropped.

         In doing so, we assume that the user's [Makefile] supports
         bytecode compilation, so that it makes sense to request [bar.cmo]
         to be built, as opposed to [bar.cmx]. This is not optimal, but
         will do. [camldep] exhibits the same behavior. *)