-
Notifications
You must be signed in to change notification settings - Fork 34
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
+core-windows.v0.16.1 #280
Conversation
@toots the CI failed during two packages that build for me locally (and after it built I'm happy to try splitting this up if we can't figure out why its failing when done all at once |
ce85ef0
to
0355900
Compare
@WardBrian this kind of errors do occur. I think that I've had it myself with ffmpeg. If you can confirm that the CI tests do pass locally for you I'm good with merging. You can call like this: (optional: VERBOSE=1 SYSTEM_TYPE=<x86/x64>) ./tests/run_tests.sh |
Took the entire day to run but did succeed locally Output
|
Thank you! |
Starting with 0.15,
core
is now platform independent and thecore_kernel
library just re-exportscore
with a deprecation warning: https://blog.janestreet.com/goodbye-Core_kernel/This PR updates the entire Jane Street ecosystem to v0.16.x at once. I can split it up if necessary, each successive commit should build on its own.
Note: The ppx libraries were mostly done by a small script I wrote and then manually checked before committing. I took the conservative approach of assuming that if a ppx depended on another ppx, it needed both the host version and the
-windows
version - this may not be true in 100% of cases, so these packages may have a few too many dependencies individually.