sgx-sdk: pin OCaml to version 5.3

2026-01-23 14:02:17 +01:00
parent 2e962a7d50
commit 4b4a22826c
2 changed files with 4 additions and 3 deletions
@@ -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
@@ -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;