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

[ocaml-menhir] More aggressive autobuild trigger when ocaml is updated #3771

Merged
merged 1 commit into from
Sep 1, 2024

Conversation

yuyichao
Copy link
Member

The update from ocaml 5.1.0 to 5.1.1 causes the build of herdtools7-git to fail with error:

Error: Files /usr/lib/ocaml/menhirLib/menhirLib.cmxa
and /usr/lib/ocaml/stdlib.cmxa
make inconsistent assumptions over implementation Stdlib__Sys

AFAICT, this is caused by changes/recompilation of the standard library and is fixed by recompiling menhir.

It seems that just triggering rebuild on minor version update is not enough. I don't know if triggering on pkgrel update is necessary but it's included here just to be safe.

This may need to be applied to other ocaml packages.

The update from ocaml 5.1.0 to 5.1.1 causes the build of herdtools7-git to fail with
error:

   Error: Files /usr/lib/ocaml/menhirLib/menhirLib.cmxa
   and /usr/lib/ocaml/stdlib.cmxa
   make inconsistent assumptions over implementation Stdlib__Sys

AFAICT, this is caused by changes/recompilation of the standard library and is fixed
by recompiling menhir.

It seems that just triggering rebuild on minor version update is not enough.
I don't know if triggering on pkgrel update is necessary but it's included here
just to be safe.

This may need to be applied to other ocaml packages.
@yuyichao yuyichao requested a review from dctxmei April 15, 2024 21:21
@yuyichao yuyichao merged commit c723ad5 into master Sep 1, 2024
2 checks passed
@yuyichao yuyichao deleted the yyc/ocaml-update branch September 1, 2024 15:19
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.

1 participant