From ae36fa39d713bead8c510da96c853cfc81382364 Mon Sep 17 00:00:00 2001 From: Vincent Laporte Date: Wed, 31 Dec 2025 10:54:04 +0100 Subject: [PATCH] ocamlPackages.dolmen_loop: fix for gcc15 --- pkgs/development/ocaml-modules/dolmen/loop.nix | 13 +++++++++++++ 1 file changed, 13 insertions(+) diff --git a/pkgs/development/ocaml-modules/dolmen/loop.nix b/pkgs/development/ocaml-modules/dolmen/loop.nix index 0b3ca565d81f..8d9b05ca7058 100644 --- a/pkgs/development/ocaml-modules/dolmen/loop.nix +++ b/pkgs/development/ocaml-modules/dolmen/loop.nix @@ -1,4 +1,6 @@ { + lib, + ocaml, buildDunePackage, dolmen, dolmen_type, @@ -11,6 +13,17 @@ buildDunePackage { pname = "dolmen_loop"; inherit (dolmen) src version; + env = + # Fix build with gcc15 + lib.optionalAttrs + ( + lib.versionAtLeast ocaml.version "4.10" && lib.versionOlder ocaml.version "4.14" + || lib.versions.majorMinor ocaml.version == "5.0" + ) + { + NIX_CFLAGS_COMPILE = "-std=gnu11"; + }; + propagatedBuildInputs = [ dolmen dolmen_type