diff --git a/pkgs/development/ocaml-modules/zelus/default.nix b/pkgs/development/ocaml-modules/zelus/default.nix index 3bd4369bec46..24edc51a8f1e 100644 --- a/pkgs/development/ocaml-modules/zelus/default.nix +++ b/pkgs/development/ocaml-modules/zelus/default.nix @@ -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";