Re: [Caml-list] Forcing OCamlbuild to compile a file before another

[Gabriel Scherer <gabriel.scherer@gmail.com>]

I haven't given much thought to it yet, but here would a sketchy idea
of how to better support -no-alias-deps in OCamlbuild:

ocamldep) extend ocamldep with a new -paths (as an extension over
-modules) that returns not just the modules M appearing at the
beginning of paths in source files, but the full module-longident (eg.
M.Foo.Bar if you access the value M.Foo.Bar.baz or constructor
M.Foo.Bar.Foobar)

ocamlbuild) use ocamldep -modules (this happens in
ocaml_utils.ml:read_path_dependencies), and for a non-singleton path
of the form Foo.Bar, first type-check the compilation unit Foo, then
inspect the .cmi to know whether Bar is defined as a module alias of
Foo, and in that case depend on the aliased compilation unit

(This should be done as a modification to the tool itself rather than
a plugin, I think.)

On Mon, Jan 26, 2015 at 1:30 PM, Dario Teixeira
<dario.teixeira@nleyten.com> wrote:
> Hi again,
>
>> Yeap, I understand.  The good news is that it should be possible to use
>> module-aliases/no-aliases-deps/pseudo-circular-recursion within the
>> current
>> OASIS+OCamlbuild framework with only minimal extra burden on the user,
>> and zero modifications to OASIS or OCamlbuild.
>>
>> I had to bump my forehead against the wall a few times, but in the end
>> I've
>> managed to get the full combination working on a toy example, and I'm
>> confident
>> I can also get it to work on the much larger Lambdoc code base.  I'll keep
>> you posted...
>
>
> (replying to myself here)
>
> I may have spoken too soon on the ease of tweaking a build system based on
> OASIS + OCamlbuild to work with module aliases and -no-alias-deps: the toy
> example does compile from scratch, but the build system gets confused by
> subsequent modifications to source files.
>
> I have created a branch in the Lambdoc repo for experimenting with this
> process [1].  If you try to compile it, it almost works, but you do get
> lots of nasty warnings and a generally confused build system.
>
> Kind regards,
> Dario Teixeira
>
> [1] https://github.com/darioteixeira/lambdoc/tree/oasification
>
>
>
> --
> Caml-list mailing list.  Subscription management and archives:
> https://sympa.inria.fr/sympa/arc/caml-list
> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
> Bug reports: http://caml.inria.fr/bin/caml-bugs