From cc05b7ff15ccb0a5b1f34fccfb8b59f70bedb313 Mon Sep 17 00:00:00 2001
From: Vincent Fischer <fischervincent98@gmail.com>
Date: Tue, 24 Jun 2025 20:39:30 +0200
Subject: [PATCH] prism-model-checker: use gcc 13

Build fails with newer versions.
---
 pkgs/by-name/pr/prism-model-checker/package.nix | 12 +++++++++---
 1 file changed, 9 insertions(+), 3 deletions(-)

diff --git a/pkgs/by-name/pr/prism-model-checker/package.nix b/pkgs/by-name/pr/prism-model-checker/package.nix
index ffab24608469..80575f375bb2 100644
--- a/pkgs/by-name/pr/prism-model-checker/package.nix
+++ b/pkgs/by-name/pr/prism-model-checker/package.nix
@@ -1,7 +1,7 @@
 {
   lib,
-  stdenv,
-  gccStdenv,
+  #  stdenv,
+  gcc13Stdenv,
   coreutils,
   fetchFromGitHub,
   openjdk,
@@ -11,8 +11,14 @@
   makeDesktopItem,
   makeWrapper,
 }:
+
 let
-  stdenv' = if stdenv.hostPlatform.isDarwin then gccStdenv else stdenv;
+  # The current version of prism does not build with gcc > 13
+  # it should be fixed in the upcoming version of prism.
+  # at that point revert stdenv' to :
+  #
+  # stdenv' = if stdenv.hostPlatform.isDarwin then gccStdenv else stdenv;
+  stdenv' = gcc13Stdenv;
 in
 stdenv'.mkDerivation (finalAttrs: {
   pname = "prism-model-checker";