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
feat(melange): add melange.runtime_deps
field in library
#7234
feat(melange): add melange.runtime_deps
field in library
#7234
Conversation
a0a2d59
to
5898b56
Compare
test/blackbox-tests/test-cases/melange/library-with-runtime-deps.t
Outdated
Show resolved
Hide resolved
test/blackbox-tests/test-cases/melange/public-library-with-runtime-deps.t
Outdated
Show resolved
Hide resolved
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I just have a few questions. Amazing work!
test/blackbox-tests/test-cases/melange/installed-library-with-runtime-deps.t
Outdated
Show resolved
Hide resolved
aedb68a
to
2e73c70
Compare
let loc = | ||
match Lib_info.melange_runtime_deps lib_info with | ||
| Local (loc, _) -> loc | ||
| External _ -> Loc.none |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Shouldn't this be assert false
as well? If the runtime deps are external, the library must have been installed. Therefore, all of the paths in it cannot be external deps.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Indeed. Fixed
Signed-off-by: Antonio Nuno Monteiro <anmonteiro@gmail.com>
Signed-off-by: Antonio Nuno Monteiro <anmonteiro@gmail.com>
Signed-off-by: Antonio Nuno Monteiro <anmonteiro@gmail.com>
Signed-off-by: Antonio Nuno Monteiro <anmonteiro@gmail.com>
Signed-off-by: Antonio Nuno Monteiro <anmonteiro@gmail.com>
Signed-off-by: Antonio Nuno Monteiro <anmonteiro@gmail.com>
Signed-off-by: Antonio Nuno Monteiro <anmonteiro@gmail.com>
Signed-off-by: Antonio Nuno Monteiro <anmonteiro@gmail.com>
Signed-off-by: Javier Chávarri <javier.chavarri@gmail.com>
Signed-off-by: Antonio Nuno Monteiro <anmonteiro@gmail.com>
7f9eada
to
647378e
Compare
No description provided.