Add wycheproof test support for Windows MSVC (C backend only)

mlkem-native already runs tests on Windows via Mingw-w64, but the
MSVC/nmake build has no wycheproof test coverage.
This commit adds the compile and link rules to
Makefile.Microsoft_nmake, also add the run_wycheproof target, to enable
wycheproof tests against the portable C backend under MSVC.

Signed-off-by: willieyz <willie.zhao@chelpis.com>

Author: willieyz

Makefile.Microsoft_nmake

@@ -130,6 +130,21 @@ OPT = 0
     @if NOT EXIST $(MLKEM1024_BUILD_DIR)\test\acvp mkdir $(MLKEM1024_BUILD_DIR)\test\acvp
     $(CC) $(CFLAGS) /D MLK_CONFIG_PARAMETER_SET=1024 /c /Fo$(MLKEM1024_BUILD_DIR)\test\acvp\ $<
 
+# compilation of wycheproof test for mlkem512
+{test\wycheproof}.c{$(MLKEM512_BUILD_DIR)\test\wycheproof}.obj::
+    @if NOT EXIST $(MLKEM512_BUILD_DIR)\test\wycheproof mkdir $(MLKEM512_BUILD_DIR)\test\wycheproof
+    $(CC) $(CFLAGS) /D MLK_CONFIG_PARAMETER_SET=512 /c /Fo$(MLKEM512_BUILD_DIR)\test\wycheproof\ $<
+
+# compilation of wycheproof test for mlkem768
+{test\wycheproof}.c{$(MLKEM768_BUILD_DIR)\test\wycheproof}.obj::
+    @if NOT EXIST $(MLKEM768_BUILD_DIR)\test\wycheproof mkdir $(MLKEM768_BUILD_DIR)\test\wycheproof
+    $(CC) $(CFLAGS) /D MLK_CONFIG_PARAMETER_SET=768 /c /Fo$(MLKEM768_BUILD_DIR)\test\wycheproof\ $<
+
+# compilation of wycheproof test for mlkem1024
+{test\wycheproof}.c{$(MLKEM1024_BUILD_DIR)\test\wycheproof}.obj::
+    @if NOT EXIST $(MLKEM1024_BUILD_DIR)\test\wycheproof mkdir $(MLKEM1024_BUILD_DIR)\test\wycheproof
+    $(CC) $(CFLAGS) /D MLK_CONFIG_PARAMETER_SET=1024 /c /Fo$(MLKEM1024_BUILD_DIR)\test\wycheproof\ $<
+
 # compile functional test for mlkem512
 test_mlkem512: $(OBJ_FILES_512) $(MLKEM512_BUILD_DIR)\test\test_mlkem.obj $(BUILD_DIR)\randombytes\notrandombytes.obj
     @if NOT EXIST $(MLKEM512_BUILD_DIR)\bin mkdir $(MLKEM512_BUILD_DIR)\bin
@@ -205,8 +220,25 @@ test_alloc1024: $(OBJ_FILES_1024_ALLOC) $(MLKEM1024_BUILD_DIR)\test\alloc\test_a
     @if NOT EXIST $(MLKEM1024_BUILD_DIR)\bin mkdir $(MLKEM1024_BUILD_DIR)\bin
     $(CC) $(CFLAGS) /D MLK_CONFIG_PARAMETER_SET=1024 /Fe$(MLKEM1024_BUILD_DIR)\bin\test_alloc1024 $** /link
 
+# compile wycheproof test for mlkem512
+wycheproof_mlkem512: $(OBJ_FILES_512) $(MLKEM512_BUILD_DIR)\test\wycheproof\wycheproof_mlkem.obj $(BUILD_DIR)\randombytes\notrandombytes.obj
+    @if NOT EXIST $(MLKEM512_BUILD_DIR)\bin mkdir $(MLKEM512_BUILD_DIR)\bin
+    $(CC) $(CFLAGS) /D MLK_CONFIG_PARAMETER_SET=512 /Fe$(MLKEM512_BUILD_DIR)\bin\wycheproof_mlkem512 $** /link
+
+# compile wycheproof test for mlkem768
+wycheproof_mlkem768: $(OBJ_FILES_768) $(MLKEM768_BUILD_DIR)\test\wycheproof\wycheproof_mlkem.obj $(BUILD_DIR)\randombytes\notrandombytes.obj
+    @if NOT EXIST $(MLKEM768_BUILD_DIR)\bin mkdir $(MLKEM768_BUILD_DIR)\bin
+    $(CC) $(CFLAGS) /D MLK_CONFIG_PARAMETER_SET=768 /Fe$(MLKEM768_BUILD_DIR)\bin\wycheproof_mlkem768 $** /link
+
+# compile wycheproof test for mlkem1024
+wycheproof_mlkem1024: $(OBJ_FILES_1024) $(MLKEM1024_BUILD_DIR)\test\wycheproof\wycheproof_mlkem.obj $(BUILD_DIR)\randombytes\notrandombytes.obj
+    @if NOT EXIST $(MLKEM1024_BUILD_DIR)\bin mkdir $(MLKEM1024_BUILD_DIR)\bin
+    $(CC) $(CFLAGS) /D MLK_CONFIG_PARAMETER_SET=1024 /Fe$(MLKEM1024_BUILD_DIR)\bin\wycheproof_mlkem1024 $** /link
+
 acvp: acvp_mlkem512 acvp_mlkem768 acvp_mlkem1024
 
+wycheproof: wycheproof_mlkem512 wycheproof_mlkem768 wycheproof_mlkem1024
+
 gen_KAT: gen_KAT512 gen_KAT768 gen_KAT1024
 
 run_kat: gen_KAT
@@ -217,6 +249,9 @@ run_kat: gen_KAT
 run_acvp: acvp
     python test/acvp/acvp_client.py
 
+run_wycheproof: wycheproof
+    python test/wycheproof/wycheproof_client.py
+
 run_func: test_mlkem512 test_mlkem768 test_mlkem1024
     $(MLKEM512_BUILD_DIR)\bin\test_mlkem512.exe
     $(MLKEM768_BUILD_DIR)\bin\test_mlkem768.exe
@@ -232,7 +267,7 @@ run_alloc: test_alloc512 test_alloc768 test_alloc1024
     $(MLKEM768_BUILD_DIR)\bin\test_alloc768.exe
     $(MLKEM1024_BUILD_DIR)\bin\test_alloc1024.exe
 
-test: run_func run_rng_fail run_alloc run_acvp run_kat
+test: run_func run_rng_fail run_alloc run_acvp run_kat run_wycheproof
     @echo   Everything checks fine!
 
 quickcheck: test