Skip to content

Remove installed packages from Mirage duniverse - #426

Open
funwithcthulhu wants to merge 1 commit into
camlworks:masterfrom
funwithcthulhu:temp/mirage-ci-ohex
Open

Remove installed packages from Mirage duniverse#426
funwithcthulhu wants to merge 1 commit into
camlworks:masterfrom
funwithcthulhu:temp/mirage-ci-ohex

Conversation

@funwithcthulhu

@funwithcthulhu funwithcthulhu commented May 22, 2026

Copy link
Copy Markdown
Contributor

Summary

  • In the Mirage example CI job, remove duniverse directories whose package names are already installed in the opam switch.
  • Force plain opam list output so CI color settings do not leak escape codes into rm arguments.
  • Keep explicit removals for duniverse directory names that do not match opam package names, such as ocaml-cstruct, mirage-tcpip, and bytes.
  • Build only the generated Mirage ./main.exe target instead of the default alias, so vendored tests and examples are not part of this smoke test.

This addresses the duplicate-library failures currently seen in Mirage CI, including ohex, lwt-dllist, logs, tcpip, and bytes.

Validation

@funwithcthulhu funwithcthulhu changed the title Remove vendored ohex in Mirage CI Remove installed packages from Mirage duniverse May 22, 2026
@funwithcthulhu
funwithcthulhu force-pushed the temp/mirage-ci-ohex branch 2 times, most recently from 26bb532 to b715388 Compare May 22, 2026 03:36
@funwithcthulhu
funwithcthulhu marked this pull request as ready for review May 22, 2026 04:06
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

1 participant