diff --git a/.github/workflows/dkml.yml b/.github/workflows/dkml.yml index e8c201f7..ea2e5522 100644 --- 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 index fcc35ec7..df3b92be 100644 --- 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