gnu: java-jgit-4.2: Do not build with icedtea-7.

* gnu/packages/java.scm (java-jgit-4.2)[arguments]: Do not override JDK.
This commit is contained in:
Ricardo Wurmus 2023-01-09 00:25:34 +01:00
parent aac0605de3
commit f206682903
No known key found for this signature in database
GPG key ID: 197A5888235FACAC

View file

@ -13142,8 +13142,7 @@ (define-public java-jgit
network protocols, and core version control algorithms.")
(license license:edl1.0)))
;; For axoloti. This package can still be built with icedtea-7, which is
;; currently used as the default JDK.
;; For axoloti.
(define-public java-jgit-4.2
(package (inherit java-jgit)
(version "4.2.0.201601211800-r")
@ -13159,8 +13158,6 @@ (define-public java-jgit-4.2
(build-system ant-build-system)
(arguments
(substitute-keyword-arguments (package-arguments java-jgit)
;; Build for default JDK.
((#:jdk _) icedtea-7)
((#:phases phases)
`(modify-phases ,phases
(add-after 'unpack 'use-latest-javaewah-API