From 4b4a22826c0f3b02814d92aa804bb6c18f80457b Mon Sep 17 00:00:00 2001
From: Vincent Laporte <Vincent.Laporte@gmail.com>
Date: Fri, 23 Jan 2026 14:02:17 +0100
Subject: [PATCH] sgx-sdk: pin OCaml to version 5.3

---
 pkgs/os-specific/linux/sgx/sdk/default.nix | 3 +--
 pkgs/top-level/all-packages.nix            | 4 +++-
 2 files changed, 4 insertions(+), 3 deletions(-)

diff --git a/pkgs/os-specific/linux/sgx/sdk/default.nix b/pkgs/os-specific/linux/sgx/sdk/default.nix
index 9da7360db581..108f411a52ef 100644
--- a/pkgs/os-specific/linux/sgx/sdk/default.nix
+++ b/pkgs/os-specific/linux/sgx/sdk/default.nix
@@ -12,7 +12,6 @@
   git,
   libtool,
   linkFarmFromDrvs,
-  ocaml,
   ocamlPackages,
   openssl,
   perl,
@@ -83,7 +82,7 @@ stdenv.mkDerivation rec {
     cmake
     file
     git
-    ocaml
+    ocamlPackages.ocaml
     ocamlPackages.ocamlbuild
     perl
     python3
diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix
index 587d9273d9af..21669bca1f64 100644
--- a/pkgs/top-level/all-packages.nix
+++ b/pkgs/top-level/all-packages.nix
@@ -9556,7 +9556,9 @@ with pkgs;
 
   rfkill_udev = callPackage ../os-specific/linux/rfkill/udev.nix { };
 
-  sgx-sdk = callPackage ../os-specific/linux/sgx/sdk { };
+  sgx-sdk = callPackage ../os-specific/linux/sgx/sdk {
+    ocamlPackages = ocaml-ng.ocamlPackages_5_3;
+  };
 
   sgx-psw = callPackage ../os-specific/linux/sgx/psw {
     protobuf = protobuf_21;