teyjus: fix build by using GCC 14

pkgs/development/compilers/teyjus/default.nix

@@ -2,18 +2,19 @@
   lib,
   fetchFromGitHub,
   buildDunePackage,
+  stdenv,
   flex,
   bison,
 }:
 
-buildDunePackage rec {
+(buildDunePackage.override { inherit stdenv; }) (finalAttrs: {
   pname = "teyjus";
   version = "2.1.1";
 
   src = fetchFromGitHub {
     owner = "teyjus";
     repo = "teyjus";
-    tag = "v${version}";
+    tag = "v${finalAttrs.version}";
     hash = "sha256-N4XKDd0NFr501PYUdb7PM2sWh0uD1/SUFXoMr10f064=";
   };
 
@@ -31,9 +32,9 @@ buildDunePackage rec {
   meta = {
     description = "Efficient implementation of the Lambda Prolog language";
     homepage = "https://github.com/teyjus/teyjus";
-    changelog = "https://github.com/teyjus/teyjus/releases/tag/v${version}";
+    changelog = "https://github.com/teyjus/teyjus/releases/tag/v${finalAttrs.version}";
     license = lib.licenses.gpl3;
     maintainers = [ lib.maintainers.bcdarwin ];
     platforms = lib.platforms.unix;
   };
-}
+})

pkgs/top-level/all-packages.nix

@@ -5096,6 +5096,7 @@ with pkgs;
 
   teyjus = callPackage ../development/compilers/teyjus {
     inherit (ocaml-ng.ocamlPackages_4_14) buildDunePackage;
+    stdenv = gcc14Stdenv;
   };
 
   urweb = callPackage ../development/compilers/urweb {