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

Move cold compiler on master to 4.13.1 #5017

Merged
merged 5 commits into from
Jan 22, 2022
Merged

Move cold compiler on master to 4.13.1 #5017

merged 5 commits into from
Jan 22, 2022

Conversation

dra27
Copy link
Member

@dra27 dra27 commented Jan 21, 2022

  • Move the cold compiler to 4.13 in order to have a version which doesn't suffer from the SIGSTKSZ problem with glibc 2.34
  • Bump the src_ext dependencies to latest versions while here
  • In 4.13, the FlexDLL sources needed to be available before configure is run, so move the extraction further up
  • The Cygwin32 build is really struggling to build a compiler and run the testsuite at once - the final commit tweaks the build processes so that instead of running make world followed by make opt.opt we do the fractionally faster make world.opt (if the secondary compiler were being built, it does make world followed by make opt).

@dra27
Copy link
Member Author

dra27 commented Jan 22, 2022

This one's passed on AppVeyor on my fork

@dra27
Copy link
Member Author

dra27 commented Jan 22, 2022

Merging now to unblock the base image builder!

@dra27 dra27 merged commit 74f13dc into ocaml:master Jan 22, 2022
rjbou pushed a commit to rjbou/opam that referenced this pull request Apr 22, 2022
Move cold compiler on master to 4.13.1
@rjbou rjbou mentioned this pull request Apr 22, 2022
4 tasks
rjbou pushed a commit to rjbou/opam that referenced this pull request Apr 22, 2022
Move cold compiler on master to 4.13.1
rjbou pushed a commit to rjbou/opam that referenced this pull request Apr 27, 2022
Move cold compiler on master to 4.13.1
rjbou pushed a commit to rjbou/opam that referenced this pull request Jul 12, 2022
Move cold compiler on master to 4.13.1
@rjbou rjbou added this to the 2.1.3 milestone Jul 4, 2023
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.

2 participants