Is there a convenient way to develop OCaml code, and be sure that
this code will be configurable, compilable, installable and
executable without changes, on any environment where OCaml is available?

I imagine a higher level "make", with most of its nicer properties, plus
many enhancements.
The following points seem important to me:

- target dependency system
- ease of use, nice syntax (for average humans with a simple text editor)
- loadable modules
- built-in programming language
- built-in fileutils (cp, mv, cd, rm, ...) and functions (filters, ...)
- universal paths for filenames inside the project tree
- natural highlighting of environment-dependent elements
- possibility of harmonious integration in a graphical development
  environment

and also a very flexible license that allows its free redistribution and
modification under any form.

Until right now I didn't find anything like this. And I was really scared
when I discovered Apache Ant.

Any suggestions?

Martin