From abce2860af381e6c63dd8803b4f32252b2df16c6 Mon Sep 17 00:00:00 2001
From: Alex Epelde <alex@epelde.net>
Date: Sun, 29 Mar 2026 19:24:02 -0400
Subject: [PATCH] msolve: guard SIMD instructions

---
 pkgs/by-name/ms/msolve/package.nix | 29 +++++++++++++++++++++++++++++
 1 file changed, 29 insertions(+)

diff --git a/pkgs/by-name/ms/msolve/package.nix b/pkgs/by-name/ms/msolve/package.nix
index 698a8dda011a..57afe7d56307 100644
--- a/pkgs/by-name/ms/msolve/package.nix
+++ b/pkgs/by-name/ms/msolve/package.nix
@@ -37,6 +37,35 @@ stdenv.mkDerivation (finalAttrs: {
     llvmPackages.openmp
   ];
 
+  configureFlags =
+    let
+      mkCpuFeatureFlag = acvar: cond: "ax_cv_have_${acvar}_cpu_ext=${lib.boolToYesNo cond}";
+    in
+    [
+      (mkCpuFeatureFlag "sse3" stdenv.hostPlatform.sse3Support)
+      (mkCpuFeatureFlag "ssse3" stdenv.hostPlatform.ssse3Support)
+      (mkCpuFeatureFlag "sse41" stdenv.hostPlatform.sse4_1Support)
+      (mkCpuFeatureFlag "sse42" stdenv.hostPlatform.sse4_2Support)
+      (mkCpuFeatureFlag "sse4a" stdenv.hostPlatform.sse4_aSupport)
+      (mkCpuFeatureFlag "avx" stdenv.hostPlatform.avxSupport)
+      (mkCpuFeatureFlag "avx2" stdenv.hostPlatform.avx2Support)
+    ]
+    ++ map (lib.flip mkCpuFeatureFlag stdenv.hostPlatform.avx512Support) [
+      "avx512f"
+      "avx512cd"
+      "avx512pf"
+      "avx512er"
+      "avx512vl"
+      "avx512bw"
+      "avx512dq"
+      "avx512ifma"
+      "avx512vbmi"
+    ]
+    ++ [
+      (mkCpuFeatureFlag "fma3" stdenv.hostPlatform.fmaSupport)
+      (mkCpuFeatureFlag "fma4" stdenv.hostPlatform.fma4Support)
+    ];
+
   doCheck = true;
 
   meta = {