A question about running SVF on Windows

[anabioticsoul]

Hello everyone, I want to use SVF as a lib on Win11 for static analysis in Visual Studio 2022.

Use SVF as an external lib for your own project

I found this link is still a blank page, so how could I build it for VS2022? Thanks a lot!

[yuleisui]

Fixed in README.

[anabioticsoul]

I build SVF on Windows by cmake, but it finally failed.

Performing C SOURCE FILE Test CMAKE_HAVE_LIBC_PTHREAD failed with the following output:
Change Dir: E:/C++ repositories/SVF-master/build/CMakeFiles/CMakeScratch/TryCompile-r4f1lc

Run Build Command(s):C:/PROGRA~2/CMake/bin/ninja.exe cmTC_3957f && [1/2] Building C object CMakeFiles\cmTC_3957f.dir\CheckFunctionExists.c.obj
FAILED: CMakeFiles/cmTC_3957f.dir/CheckFunctionExists.c.obj 

"D:\Program Files\Microsoft\Microsoft Visual Studio\2022\Community\VC\Tools\MSVC\14.34.31933\bin\Hostx64\x64\cl.exe"  /nologo   /DWIN32 /D_WINDOWS /W3 -fPIC -Werror -Wall -O3 -DCHECK_FUNCTION_EXISTS=pthread_create /MDd /Zi /Ob0 /Od /RTC1 /showIncludes /FoCMakeFiles\cmTC_3957f.dir\CheckFunctionExists.c.obj /FdCMakeFiles\cmTC_3957f.dir\ /FS -c "E:\C++ repositories\SVF-master\build\CMakeFiles\CMakeScratch\TryCompile-9781b5\CheckFunctionExists.c"

cl: command line error D8021 : invalid numeric argument “/Werror”

ninja: build stopped: subcommand failed

I think the lack of Linux head file such as pthread.h may probably cause the error. Could you please help me, thank you very much!