-
Notifications
You must be signed in to change notification settings - Fork 3
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
NTDDI_VERSION setting conflicts with _WIN32_WINNT setting #14
Comments
Hi @jonahbeckford, Can you try with 441a35c and tell me if it fixes the issue ? |
|
What would be the easiest way for me to reproduce this ? I don't have any windows computer. Also, is it possible to add this to the CI ? |
I don't see an easy way to reproduce without a Windows computer. But full-disclosure: this is less of a priority for me now. It is easier for me to adopt the |
I'm compiling this on Windows using DkML (MSVC distribution):
The important detail above is Windows SDK 10.0.18362.
I can't make sense of what the code is trying to do with cstubs. I believe
directories/src/windows/bindings/gen_functions.ml
Lines 25 to 29 in 1cf7211
If that is true, then the code is missing the equivalent of:
per (sometimes wrong) https://stackoverflow.com/questions/21030230/ntddi-version-setting-conflicts-with-win32-winnt-setting
The text was updated successfully, but these errors were encountered: