mirage-skeleton icon indicating copy to clipboard operation
mirage-skeleton copied to clipboard

tell people which MirageOS version to use if they have the wrong one

Open sabine opened this issue 2 years ago • 1 comments

sabine avatar Mar 31 '22 08:03 sabine

Not 100% sure the detailed check for opam>=2.1.0 works in all compilation environments, please take a careful look, or be prepared to change to a simpler (but not fully accurate) opam>=2 check.

sabine avatar Mar 31 '22 09:03 sabine

Thanks for your motivating work. We have since in Mirage 4.4 introduced a header (* mirage >= 4.4.0 & < 4.6.0 *) for "config.ml" which outputs a nice error message if your mirage version is too old or too new. Obviously this only works since mirage 4.4.0.

In #395 I added these headers to all the example unikernels :)

hannesm avatar May 16 '24 19:05 hannesm

Thank you, Hannes.

sabine avatar May 17 '24 06:05 sabine