Nicolás Ojeda Bär

Just to add a little background information: @yams-yams worked on this project as part of an internship at LexiFi, and we have already discussed the general appraoch internally. I am...

The DCO check is failing because your git "Author" name (`git config user.name`) must match your `Signed-Off-by` line, ie it must be `Uma Kothuri`. To change it: 1. `git config...

Thanks for the review @rgrinberg. I am in the process of rebasing it (I started a few days ago, but didn't get enough time to finish). Will amend according to...

Sounds like a good idea to me. @Octachron: if we wanted to do this, would it be possible to get this into 5.0, or should we be thinking of 5.1...

@sim642 would you like to try making a PR for this change? It should be fairly easy, a "good first issue" :)

> Current trunk (and 4.13) has exactly the same behavior as 4.12: In 4.12 I get the following: ``` nojebar@PERVERSESHEAF:~$ ocamlc --version 4.12.0 nojebar@PERVERSESHEAF:~$ ocamlc -o foo -c a.c Options...

> @nojb : Sorry, I meant the case without the `-c` flag where both 4.12 and trunk ignores the `-o` flag. Right, makes sense.

> This can be done without a separate stanza. It seems simple to guard the feature behind a `Path.Source.is_in_source_tree` check when it's disabled. I agree with these arguments.

> The generated `dune` file can't add things to the library database and artefact database (public executables). Maybe not in this PR, but do you see a way to lift...

Note that Dune generally puts the build artifacts in a separate `_build` directory, so the file in question can be found at `_build/default/bin/main.exe`.