From 5356518e99f80f6e5abcfe1d671bb8619cb71a69 Mon Sep 17 00:00:00 2001
From: SkohTV <qlpth+github@proton.me>
Date: Wed, 4 Jun 2025 13:17:11 +0200
Subject: [PATCH] minizincide: add desktop file

---
 pkgs/development/tools/minizinc/ide.nix | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)

diff --git a/pkgs/development/tools/minizinc/ide.nix b/pkgs/development/tools/minizinc/ide.nix
index 13e26ff9d44b..53d8bcd9ce2e 100644
--- a/pkgs/development/tools/minizinc/ide.nix
+++ b/pkgs/development/tools/minizinc/ide.nix
@@ -7,6 +7,8 @@
   qtwebsockets,
   minizinc,
   makeWrapper,
+  copyDesktopItems,
+  makeDesktopItem,
 }:
 
 let
@@ -31,12 +33,30 @@ stdenv.mkDerivation rec {
   nativeBuildInputs = [
     qmake
     makeWrapper
+    copyDesktopItems
   ];
   buildInputs = [
     qtbase
     qtwebsockets
   ];
 
+  desktopItems = [
+    (makeDesktopItem {
+      name = "minizinc";
+      desktopName = "MiniZincIDE";
+      icon = "minizinc";
+      comment = meta.description;
+      exec = "MiniZincIDE";
+      type = "Application";
+      terminal = false;
+      categories = [
+        "Science"
+        "Development"
+        "Education"
+      ];
+    })
+  ];
+
   sourceRoot = "${src.name}/MiniZincIDE";
 
   dontWrapQtApps = true;