| --- julia-1.1.1/src/dlload.c 2019-05-16 12:10:48.000000000 +0800 |
| +++ build-x86_64-w64-mingw32/src/dlload.c 2019-08-06 12:20:36.256669200 +0800 |
| @@ -181,6 +181,17 @@ |
| } |
| } |
| |
| +#ifdef __MINGW32__ |
| + for(i=0; i < n_extensions; i++) { |
| + const char *ext = extensions[i]; |
| + path[0] = '\0'; |
| + snprintf(path, PATHBUF, "%s/julia-%s/%s%s", jl_options.julia_bindir, JULIA_VERSION_STRING, modname, ext); |
| + handle = jl_dlopen(path, flags); |
| + if (handle) |
| + goto done; |
| + } |
| +#endif |
| + |
| // now fall back and look in default library paths, for all extensions |
| for(i=0; i < n_extensions; i++) { |
| const char *ext = extensions[i]; |
