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

[new release] mirage, mirage-runtime, functoria and functoria-runtime (4.4.1) #24815

Merged
merged 1 commit into from
Nov 22, 2023

Conversation

hannesm
Copy link
Member

@hannesm hannesm commented Nov 20, 2023

The MirageOS library operating system

CHANGES:

… (4.4.1)

CHANGES:

- Document exit codes in `--help` (mirage/mirage#1485 @hannesm)
- Avoid dependency on environment variable (removing MIRAGE_LOGS mirage/mirage#1484 @hannesm)
- BUGFIX: dune.config mark "dist" as data-only-dir to allow config.ml being
  compiled (mirage/mirage#1475 @memst)
- Allow git 3.14 (mirage/mirage#1474 @hannesm)
- Default to best-fit allocation (mirage/mirage#1473 @hannesm)
- FEATURE: Add a key "--delay" to all unikernels (mirage/mirage#1472 @hannesm, fixes mirage/mirage#1468)
- Fix Unix target dune rule (add a deps) (mirage/mirage#1469 @hannesm)
- Optionally pass tcp in direct_stackv4v6, static_ipv4v6, generic_stackv4v6
  (mirage/mirage#1467 @hannesm)
- FEATURE: Support mirage version indication in first line of config.ml:
  (* mirage >= 2.3.4 & < 5.0.0 *) (mirage/mirage#1466 @hannesm, fixes mirage/mirage#1381)
- Use \033 instead of \e in generated Makefile (fixes the output on non-Linux
  systems mirage/mirage#1464 @hannesm)
- Adapt to mirage-logs 2.0.0 (mirage/mirage#1460 @hannesm)
- Allow version 0.8.0 of solo5 (mirage/mirage#1432 mirage/mirage#1490 @hannesm @palainp)
@hannesm
Copy link
Member Author

hannesm commented Nov 21, 2023

CI failures are unrelated. There are still (again?) pretty old packages that include -Werror (which was a good idea back then), and thus fail now that newer C compilers are around with more warnings (that are errors now).

I'm happy to mark these old packages as unavailable (if some opam maintainers agrees upfront) -- but won't dig into "which distribution could still work". Since this will be in a separate PR anyways, please feel free to go ahead and merge this one (and let me know whether you'd be fine with available: false on old solo5* packets (dear opam-repository maintainer, please mark this comment with a ❤️ to denote "available: false" is fine for this, with a 👎🏾 to denote "no, we need x-ci-accept-failures").

@hannesm
Copy link
Member Author

hannesm commented Nov 22, 2023

CI failures are still unrelated -- the solo5* -Werror is omnipresent (and some tezos failures)... anything I can do to get this merged rather sooner than later?

@mseri mseri merged commit 9b9f048 into ocaml:master Nov 22, 2023
1 of 2 checks passed
@mseri
Copy link
Member

mseri commented Nov 22, 2023

We wanted to discuss it first at the maintainers meeting. Thanks!

@hannesm hannesm deleted the release-mirage-v4.4.1 branch November 22, 2023 17:39
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
2 participants