Re: Merging core-updates?

[Andreas Enge]

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