From f06600f96d18370ae34449902566bde15b5554fc Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Rolf=20Schr=C3=B6der?= <rolf.schroeder@limbus-medtec.com>
Date: Tue, 5 Dec 2023 10:04:24 +0100
Subject: [PATCH] Corretto11/17/19: Correctly set corretto.[meta.]pos
 attribute.

See https://github.com/NixOS/nixpkgs/issues/272142
---
 pkgs/development/compilers/corretto/mk-corretto.nix | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

diff --git a/pkgs/development/compilers/corretto/mk-corretto.nix b/pkgs/development/compilers/corretto/mk-corretto.nix
index 026316f2fa73..adc6a86d98e2 100644
--- a/pkgs/development/compilers/corretto/mk-corretto.nix
+++ b/pkgs/development/compilers/corretto/mk-corretto.nix
@@ -104,12 +104,14 @@ jdk.overrideAttrs (finalAttrs: oldAttrs: {
       };
     };
 
-  meta = with lib; {
+
+  # Some of the OpenJDK derivation set their `pos` by hand. We need to
+  # overwrite this in order to point to Corretto, not OpenJDK.
+  pos = __curPos;
+  meta = with lib; oldAttrs.meta // {
     homepage = "https://aws.amazon.com/corretto";
     license = licenses.gpl2Only;
     description = "Amazon's distribution of OpenJDK";
-    platforms = jdk.meta.platforms;
-    mainProgram = "java";
     maintainers = with maintainers; [ rollf ];
   };
 })