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

Reorganise the examples and add new ones #147

Open
wants to merge 3 commits into
base: main
Choose a base branch
from

Conversation

shym
Copy link
Contributor

@shym shym commented Jan 22, 2025

This PR improves the examples, in particular with a view to make it clearer what is gained with the upcoming 5.3 version.
It:

  • renames the examples, so that there are no longer main.xyz.ml, just xyz.ml, so that other examples can be added more naturally,
  • extracts the common C modules into a library so that all the tests can be compiled (and executed) in one run of dune build,
  • sets up a dune_gen command to avoid the boilerplate of all the options (in particular since putting the manifest in a library requires an explicit option to link it in),
  • adds new examples testing the config and the compiler libs (though those are disabled before 5.3 since they would not compile).

shym added 3 commits January 22, 2025 16:47
Rename the examples, so that there are no longer `main.xyz.ml`, just
`xyz.ml`
Extract the common C modules into a library so that all the tests can be
compiled (and executed) in one run of `dune`
Set up a `dune_gen` to avoid the boilerplate of all the options (in
particular since putting the manifest in a library requires an explicit
option to link it in)
@shym shym mentioned this pull request Jan 23, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant