asak icon indicating copy to clipboard operation
asak copied to clipboard

Ways to indicate paths for .cmt files

Open zoggy opened this issue 4 years ago • 1 comments

Not everybody uses dune and/or merlin. Anzak should not complain about missing .merlin file if a corresponding .cmt file can be found in the same directory of a .ml file.

I propose the following behaviour: Anzak looks for a .cmt in the same directory of the corresponding .ml file. If it does not find, it uses additional paths (empty list by default). It the .cmt file is not found in any additional path, then an error message suggests to indicate paths either adding .merlin file or using -I options.

I can propose a PR in that direction.

zoggy avatar Jun 30 '21 09:06 zoggy

Hi,

Sorry for the delay of my response, please feel free to submit any PR! Otherwise, I can have a look during holidays.

nobrakal avatar Jul 24 '21 14:07 nobrakal