From 8e03d5e6b5a0e49eaa2955abe43b40eb54f6f39b Mon Sep 17 00:00:00 2001
From: Alex Epelde <alex@epelde.net>
Date: Sun, 10 May 2026 19:48:05 -0400
Subject: [PATCH] mpsolve: make GUI optional

---
 pkgs/by-name/mp/mpsolve/package.nix | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/pkgs/by-name/mp/mpsolve/package.nix b/pkgs/by-name/mp/mpsolve/package.nix
index 13a1e9ea8576..91ac76c40fa8 100644
--- a/pkgs/by-name/mp/mpsolve/package.nix
+++ b/pkgs/by-name/mp/mpsolve/package.nix
@@ -12,6 +12,8 @@
   gtk3,
   pkg-config,
   libsForQt5,
+
+  withGUI ? true,
 }:
 
 stdenv.mkDerivation (finalAttrs: {
@@ -46,15 +48,24 @@ stdenv.mkDerivation (finalAttrs: {
     bison
     flex
     pkg-config
+  ]
+  ++ lib.optionals withGUI [
     libsForQt5.wrapQtAppsHook
   ];
 
   buildInputs = [
     gmp
+  ]
+  ++ lib.optionals withGUI [
     gtk3
     libsForQt5.qtbase
   ];
 
+  configureFlags = [
+    (lib.enableFeature withGUI "graphical-debugger")
+    (lib.enableFeature withGUI "ui")
+  ];
+
   enableParallelBuilding = true;
 
   doCheck = true;