Original bug ID: 7080
Reporter: @dbuenzli
Status: acknowledged (set by @damiendoligez on 2017-02-28T15:59:58Z)
Resolution: open
Priority: high
Severity: feature
Version: 4.02.3
Category: compiler driver
Has duplicate: #7475
Related to: #5624
Monitored by: @nojb @shindere @diml @hcarty

Bug description

It would be nice to be able to specify cmi and cmx files directly on the command line when compiling with -c rather than using -I includes which can be too coarse and lead to subtle (non)rebuild errors in incremental build systems. This should go in pair with an option not to include the current directory in the search path.

Thanks.