MSVC feedback responses

diskuv · Feb 16, 2024 · 18c4ced · 18c4ced
1 parent b5b1c91
commit 18c4ced
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/.github/workflows/dkml.yml b/.github/workflows/dkml.yml
@@ -35,7 +35,7 @@ on:
   workflow_dispatch:
 
 jobs:
-  build:    
+  build:
     strategy:
       matrix:
         include: #

diff --git a/config/cfg.ml b/config/cfg.ml
@@ -33,13 +33,13 @@ let () =
   in
   let accelerate_flags =
     match arch, ccomp_type_opt with
-    | `x86_64, Some ccomp_type when ccomp_type = "msvc" -> [ "-DACCELERATE" ]
+    | `x86_64, Some "msvc" -> [ "-DACCELERATE" ]
     | `x86_64, _ -> [ "-DACCELERATE"; "-mssse3"; "-maes"; "-mpclmul" ]
     | _ -> []
   in
   let ent_flags =
     match arch, ccomp_type_opt with
-    | (`x86_64 | `x86), Some ccomp_type when ccomp_type = "msvc" -> [ "-DENTROPY" ]
+    | (`x86_64 | `x86), Some "msvc" -> [ "-DENTROPY" ]
     | (`x86_64 | `x86), _ -> [ "-DENTROPY"; "-mrdrnd"; "-mrdseed" ]
     | _ -> []
   in
@@ -51,7 +51,7 @@ let () =
   let warn_flags =
     (* See #178, there may be false positives on ppc&s390 with no-stringop-overflow *)
     match arch, ccomp_type_opt with
-    | _, Some ccomp_type when ccomp_type = "msvc" -> [ "/WX" ]
+    | _, Some "msvc" -> [ "/WX" ]
     | (`ppc64, _) | (`s390x, _) -> [ "-Wno-stringop-overflow"; "-Werror" ]
     | _ -> [ "-Werror" ]
   in