Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[patch] add -nocmx command line option to ignore cmx files #5859

Closed
vicuna opened this issue Dec 19, 2012 · 2 comments
Closed

[patch] add -nocmx command line option to ignore cmx files #5859

vicuna opened this issue Dec 19, 2012 · 2 comments

Comments

@vicuna
Copy link

vicuna commented Dec 19, 2012

Original bug ID: 5859
Reporter: @chambart
Assigned to: @gasche
Status: closed (set by @xavierleroy on 2016-12-07T10:34:38Z)
Resolution: fixed
Priority: low
Severity: feature
Category: back end (clambda to assembly)
Tags: patch
Related to: #6389
Monitored by: @gasche @yakobowski

Bug description

Ignoring cmx files allows to remove dependencies between .ml files when the interface does not change. It helps quickly rebuilding a project after a few change have been made in a file deep in the dependency tree.

Additional information

Feature requested by Gasche.

File attachments

@vicuna
Copy link
Author

vicuna commented Dec 19, 2012

Comment author: @alainfrisch

This does not work well with -pack/-for-pack (the "-for-pack" name for an external unit is found in its .cmx file and is required). This is not necessarily a big deal, but this should be properly documented.

@vicuna
Copy link
Author

vicuna commented Aug 28, 2014

Comment author: @gasche

This is superseded by the better -opaque approach (also coming from a patch from Pierre Chambart), which has been merged in 4.02.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

2 participants