-
Notifications
You must be signed in to change notification settings - Fork 404
dev meeting 20200819
- Andrey Mokhov (@snowleopard)
- Anil Madhavapeddy (@avsm)
- Arseniy Alekseyev (@aalekseyev)
- Cameron Wong (@cwong)
- Lubega Simon (@lubegasimon)
- Rudi Grinberg (@rgrinberg)
Andrey made a PR to move cryptokit to dune. xleroy asks to make improvements (conditional C compiler flag). Andrey is looking for examples of how to use dune_configurator to achieve this.
Cameron is continuing his work on splitting dune into rules and engine.
Lubega keeps working on this. Expected to have something finished this week.
Rudi is completing a switch to github CI instead of travis and appveyor. Should land this week. As a result:
- CI configuration is simplified
- We run tests on MacOS in addition to Linux
- We check formatting check
The new CI takes around 30min to run.
Dune uses a temp dir in the workspace now instead of /tmp.
The work is ongoing, and the PR needs a bit more work: cmi hiding not implemented yet.
Rudi talked to findlib devs and they don't want to spend time on the findlib-side support for such libraries, but the dune-side things look good.
In the future we are considering lifting the restriction that package must be globally unique (make them scoped), so that we can use multiple versions of the same package in the same build.