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

Update dependencies to work with 4.14.0+trunk #251

Merged

Conversation

shubhamkumar13
Copy link
Contributor

This PR updates the dependencies and adds patches to make it build with 4.14.0+trunk.

Also a fix for #247.

The only dependency that fails to build is ocaml-migrate-parsetree. But that doesn't effect the CI build for 4.14.0+trunk.

Makefile Outdated Show resolved Hide resolved
Makefile Outdated Show resolved Hide resolved
@shubhamkumar13 shubhamkumar13 force-pushed the dev/4.14.0+trunk-sandmark-build branch from fad5a26 to d712c78 Compare August 5, 2021 19:42
README.md Show resolved Hide resolved
.drone.yml Show resolved Hide resolved
@shakthimaan shakthimaan changed the base branch from master to 4.14.0+trunk September 7, 2021 03:28
@shakthimaan shakthimaan changed the base branch from 4.14.0+trunk to master September 7, 2021 10:06
@shakthimaan shakthimaan merged commit 378863a into ocaml-bench:master Sep 15, 2021
@kayceesrk
Copy link
Contributor

👍 💯

kit-ty-kate added a commit to kit-ty-kate/ocaml-migrate-parsetree that referenced this pull request Nov 16, 2021
kit-ty-kate added a commit to kit-ty-kate/ocaml-migrate-parsetree that referenced this pull request Nov 16, 2021
pitag-ha added a commit to ocaml-ppx/ocaml-migrate-parsetree that referenced this pull request Dec 2, 2021
* Add support for OCaml 4.14 (patch from @pitag-ha for Sandmark in ocaml-bench/sandmark#251)

Co-authored-by: Sonja Heinze <[email protected]>

* Update magic number for OCaml 4.14

* tools/gencopy: Upgrade to OCaml 4.13

Signed-off-by: Kate <[email protected]>

* Add changelog entry

Signed-off-by: Sonja Heinze <[email protected]>

Co-authored-by: Sonja Heinze <[email protected]>
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.

3 participants