In fact, my aim is to construct approximativelly what you are looking for
but for now, i have not yet the time to go over the whole things.

Ocaml-fileutils is the base path abstraction for files and fileutils.
Ocaml-preprocessor is a replacement for *.in -> * ( already developped,
very simple, it is something were you bind variable and function and
you pass it on files where there is for example @funct "abcd"@ and it
replace it with the result of the binding of funct "abcd"... ). It is
also not yet published, but it seems stable to me.

I want to develop the makefile in ML. Each module will register
variable, target, dependency and a big program will run to compute all
this and compile file, lib, exec...

For now, it is only at an early stage ( i have some lexer/parser to
autosort ocamldep generated file and try to figure how to compile only
one thing ).

If you are intersted, just drop me an email, to have more information,
or if you want to test ocaml-fileutils or ocaml-preprocessor.

Kind regard
Sylvain LE GALL