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

Build fix: nocrypto moved to mirage-solo5; unsupported Xen on 4.03 dropped from CI matrix; application/dns package updates #239

Merged
merged 3 commits into from
Sep 29, 2017

Conversation

olleolleolle
Copy link
Contributor

@olleolleolle olleolleolle commented Sep 29, 2017

@hannesm this is the smallest-possible try to fix the build.

"ocamlfind: Package `nocrypto.mirage' not found”

This was about a moved package, nocrypto. It moved from ocaml-freestanding to mirage-solo5.

Our config.ml for that

A PR elsewhere that does the same change

xen on 4.03 removed from CI matrix

This OCaml version is not supported, right now.

application/dns package updates

@hannesm
Copy link
Member

hannesm commented Sep 29, 2017

regarding the second item: MirageOS on Xen and 4.03 is these days no longer supported:

@olleolleolle olleolleolle changed the title Build fix attempt: nocrypto moved to mirage-solo5 Build fix attempt: nocrypto moved to mirage-solo5; unsupport Xen on 4.03 dropped from CI matrix; application/dns package updates Sep 29, 2017
@olleolleolle olleolleolle changed the title Build fix attempt: nocrypto moved to mirage-solo5; unsupport Xen on 4.03 dropped from CI matrix; application/dns package updates Build fix attempt: nocrypto moved to mirage-solo5; unsupported Xen on 4.03 dropped from CI matrix; application/dns package updates Sep 29, 2017
@olleolleolle olleolleolle changed the title Build fix attempt: nocrypto moved to mirage-solo5; unsupported Xen on 4.03 dropped from CI matrix; application/dns package updates Build fix: nocrypto moved to mirage-solo5; unsupported Xen on 4.03 dropped from CI matrix; application/dns package updates Sep 29, 2017
@hannesm hannesm merged commit d3a76a6 into mirage:master Sep 29, 2017
@hannesm
Copy link
Member

hannesm commented Sep 29, 2017

thanks for fixing the examples and the travis job here!

@olleolleolle olleolleolle deleted the patch-1 branch September 29, 2017 22:14
@olleolleolle
Copy link
Contributor Author

Thanks for the help and the trust! \o/

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.

None yet

2 participants