Can't build z3-sys on windows

[hermanventer]

Error: failed to run custom build command for `z3-sys v0.7.1`
Caused by:
  process didn't exit successfully: `D:\a\MIRAI\MIRAI\target\release\build\z3-sys-e5c5536e9e865e98\build-script-build` (exit code: 101)
  --- stdout
  cargo:rerun-if-changed=build.rs
  cargo:rerun-if-changed=wrapper.h

  --- stderr
  thread 'main' panicked at 'Unable to find libclang: "the `libclang` shared library at C:\\msys64\\mingw64\\bin\\libclang.dll could not be opened: LoadLibraryExW failed"', 
C:\Users\runneradmin\.cargo\registry\src\github.com-1ecc6299db9ec823\bindgen-0.58.1\src/lib.rs:2057:31

I checked and the file does exist:

Run ls -l C:\\msys64\\mingw64\\bin

    Directory: C:\msys64\mingw64\bin

Mode                 LastWriteTime            Length   Name
----                 -------------            ------   ----
.......
-a---                12/17/2021  4:13 AM      30677555 libclang.dll
.......

[hermanventer]

Tried this again and the error is different now:

Error: failed to compile mirai v1.1.0 (D:\a\MIRAI\MIRAI\checker), intermediate artifacts can be found at D:\a\MIRAI\MIRAI\target Caused by: failed to run custom build command for z3-sys v0.7.1

Caused by: process didn't exit successfully: D:\a\MIRAI\MIRAI\target\release\build\z3-sys-d2d77d3ff8918670\build-script-build (exit code: 101) --- stdout cargo:rerun-if-changed=build.rs cargo:rerun-if-changed=wrapper.h

--- stderr wrapper.h:1:10: fatal error: 'z3.h' file not found wrapper.h:1:10: fatal error: 'z3.h' file not found, err: true thread 'main' panicked at 'Unable to generate bindings: ()', C:\Users\runneradmin.cargo\registry\src\github.com-1ecc6299db9ec823\z3-sys-0.7.1\build.rs:33:14

[hermanventer]

This seems a bit stale now. Not sure it is fixed, but I've moved on.