Am Tue, Feb 14, 2023 at 07:27:10PM +0100 schrieb Andreas Enge:
> Am Mon, Feb 13, 2023 at 11:31:15PM +0200 schrieb Efraim Flashner:
> > Looks like you might be able to drop openjdk-10-hotspot-stack-size.patch
> > from openjdk-19.0.1.
> Maybe. What is strange is that we have the same openjdk package on master,
> apparently with the patch. I will give it a try nevertheless.
Actually the patch has already been applied to openjdk13, if I am not
mistaken. So I do not understand how the source could be built in master
then, while the exact same code (?!) fails on core-updates...
I am trying to build openjdk13 without the patch as follows:
(define-public openjdk13
(make-openjdk openjdk12 "13.0.13"
"0pxf4dlig61k0pg7amg4mi919hzam7nzwckry01avgq1wj8ambji"
(source (origin
(method git-fetch)
(uri (git-reference
(url "https://github.com/openjdk/jdk13u/";)
(commit "jdk-13.0.13-ga")))
(file-name (git-file-name name version))
(sha256 #f)))))
(with the hash to be determined later).
This fails with
Initialized empty Git repository in
/gnu/store/dyxp7njz9k20mar2h2cp8f2g438vigm2-openjdk-13.0.13-checkout/.git/
fatal: unable to access 'https://github.com/openjdk/jdk13u/': Could not resolve
host: github.com
Do you know why? I am at a total loss as to what is happening...
Is there a way to keep the origin determined by make-openjdk and to just
empty its patches field?
Andreas
