Closed vch9 closed 3 years ago
A temporary fix can be --ignore-missing-files
I've reopened the issue, because I think the reporter should have a more helpful error message, that doesn't mention uncaught exceptions, and suggests --ignore-missing-files
.
The error message now looks like
Error: cannot find source file 'test.ml' in:
- .
- ./_build/default
Hint: consider passing --ignore-missing-files.
Thanks for bringing this up.
This look way better, thanks :)
In our project, we have several targets such as
(targets: foo.ml)
, which are a bunch ofinclude
. However, these files only exist in_build/
, in my specific case when calling:I end up having a:
I don't really know how files are handled in the tool, would there be a convenient way to handle the targeted files? Alternatively, could we catch
No such file or directory
and ignore them? Do you know a scenario where ignoring these last is a really bad idea?