Fix C stubs dependency specification in mirage-crypto-ec #122
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
When using
mirage-crypto-ec
with Mirage 4, I've encountered build failures asmirage_crypto.h
couldn't be found when buildingmirage-crypto-ec
's stubs. Indeeddune
does not deduce from the-I../src/native
flag that it has to track../src/native
as a dependency folder.Instead the
include_dirs
option should be used: that's what this PR is about.In the opam world this hasn't been a problem because the dune file in
ec-freestanding
correctly specifies the dependency.For more information on the dune options for C compilation: https://dune.readthedocs.io/en/stable/concepts.html#foreign-stubs