new ocamldep and camlp4

new ocamldep and camlp4

[William Chesters]

2.02's new ocamldep is very nice! Could we also have

  o  a -pp option so that it can handle sources with camlp4 syntax
     extensions, and
  o  an option to warn about syntax errors but continue, rather
     than barfing on e.g. unfinished modules in the source directory

Re: new ocamldep and camlp4

[Daniel de Rauglaudre]

> 2.02's new ocamldep is very nice! Could we also have
> 
>   o  a -pp option so that it can handle sources with camlp4 syntax
>      extensions, and

This could be interesting indeed, and I agree with your request.

There is another answer: in camlp4 2.02, you have the printer "pr_depend.cmo":
      camlp4o pr_depend.cmo foo.ml
which syntax extensions if you need:
      camlp4o pa_extend.cmo q_MLast.cmo pr_depend.cmo foo.ml
and the -I options, after --:
      camlp4o pr_depend.cmo -- -I dir1 -I dir2 foo.ml

It applies to one file. Therefore, in a makefile:
      ocamldep $(INCLUDES) *.ml *.mli
can be translated into:
      for i in *.ml *.mli; do \
        camlp4o pr_depend.cmo -- $(INCLUDES) $$i; \
      done

-- 
Daniel de RAUGLAUDRE
daniel.de_rauglaudre@inria.fr
http://cristal.inria.fr/~ddr/