gnu: openjdk10: Add patches to fix build.

* gnu/packages/patches/openjdk-10-pointer-comparison.patch,
gnu/packages/patches/openjdk-10-setsignalhandler.patch: New files.
* gnu/local.mk (dist_patch_DATA): Register patches.
* gnu/packages/java.scm (openjdk10)[origin]: Use patches.
This commit is contained in:
Andreas Enge 2023-04-05 15:50:24 +02:00
parent b7c8a69fd8
commit a0cf2bb5f1
No known key found for this signature in database
GPG key ID: F7D5C9BF765C61E3
4 changed files with 44 additions and 1 deletions

View file

@ -1058,7 +1058,9 @@ new Date();"))
(base32
"0i47ar8lxzjrkkiwbzybfxs473390h4jq9ahm3xqdvy5zpchxy3y"))
(patches (search-patches
"openjdk-10-idlj-reproducibility.patch"))))
"openjdk-10-idlj-reproducibility.patch"
"openjdk-10-pointer-comparison.patch"
"openjdk-10-setsignalhandler.patch"))))
(arguments
(substitute-keyword-arguments (package-arguments openjdk9)
((#:phases phases)