Nicolás Ojeda Bär
Nicolás Ojeda Bär
Hello @voodoos, thanks for this PR. Note that #9333 is being worked on at the moment (cc @MA0010). Once that is done, you will be able to simplify the patch...
@voodoos #10644 has been merged; so it should now be possible to finalize this PR by using `Compilation_context.requires_hidden`. Thanks for waiting!
@shym Thanks for the useful PR description!
Just to confirm while I try to wrap my head around the PR: the cross-compilers built in this way still only work when the host and target have the same...
> To build a cross compiler you first need to have a non-cross compiler of the same version installed in your `$PATH`. ... > After cleaning the working directory, Another...
> Does it work well with Dune? As mentioned, all Dune compiler invocations are done from the workspace root, so compiler paths are paths relative to the workspace root as...
From a distance, this looks like a nice proposal that allows avoiding the error-prone duplication of external declarations. In favor!
> these are indeed not sources Merlin should consider (we don't want to jump inside the `_build` directory, since files here should not be modified by the user). So the...
> (I wonder if @nojb, our resident Load_path expert, would maybe have the time to look at this.) Thanks for the ping. Yes, I will review the PR (hopefully this...
@MisterDA Friendly ping after two years: is this still relevant? Otherwise I would prefer to close the PR to better focus on active tasks. Thanks!