Gabriel Scherer
Gabriel Scherer
The default behavior of ocamlbuild is to, in a single run, build the plugin (from the plain ocamlbuild), then run it to handle the rest of the build. (If the...
Note: the semantics of `-no-plugin`, `-just-plugin`, `-plugin-option` and `-plugin-tags` are explained [in the manual, section: How `myocamlbuild.ml` is used](https://github.com/ocaml/ocamlbuild/blob/21826e0/manual/manual.adoc#31-how-myocamlbuildml-is-used). @samoht, @whitequark, do you see any clarification that I should make...
What is the behavior that you would expect? Independently of what it does: currently there is a warning if `-plugin-tags` is used but there is no plugin (because it's a...
See [#130's comment](https://github.com/ocaml/ocamlbuild/pull/130/files#diff-e070de93028d45b52c5312d0e0d9caddR264) where I explain why there is no warning on the (apprently counter-intuitive) use of `-just-plugin` without a plugin. Do your tooling considerations imply that there similarly should...
So when there is no `myocamlbuild.ml` the current implementation does not perform two runs, it builds the target directly during the first run (the one that would usually just build...
The difficulty is that you can only know if there is a plugin or not after parsing the options, and that just parsing those `FOO` after-the-fact would break ordering expectations...
Hi @klartext, OCamlbuild should in principle print a more detailed explanation of what went wrong, and only then exit with a specific error code. This means that there should exist...
Sure, you may find old versions of the manual online, for example: http://caml.inria.fr/pub/docs/manual-ocaml-4.02/ocamlbuild.html Please let me know if you find anything in that documentation that is missing from the new...
So for sending patches around, ``` git format-patch master..featurebranch --stdout > patchname.patch ``` should create a file with all the information required for easy patchset application on the maintainer side...
If you want to do exactly the same as `-I`, you can add a new command-line option `Options.add` that would manipulate the `Options.include_dirs` reference. Note that this has to be...