ocamlPackages.zelus: fix for gcc15

2025-12-31 10:53:53 +01:00
parent d3dd0e5499
commit 82aa99878c
1 changed files with 11 additions and 1 deletions
@@ -1,6 +1,7 @@
 {
  lib,
  stdenv,
+  ocaml,
  buildDunePackage,
  fetchFromGitHub,
  menhir,
@@ -11,7 +12,16 @@ buildDunePackage rec {
  pname = "zelus";
  version = "2.2";

-  minimalOCamlVersion = "4.08.1";
+  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";
+      };

  src = fetchFromGitHub {
    owner = "INRIA";