diff options
| author | Ricardo Wurmus <rekado@elephly.net> | 2023-01-09 00:25:34 +0100 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2023-01-09 00:27:23 +0100 |
| commit | f2066829038e2943fb4726534c1daa621d14457e (patch) | |
| tree | 51e3c98d7b65b30292cb113a94a0c46d6d115ba8 | |
| parent | aac0605de312ccc854928959530fd77d68723154 (diff) | |
gnu: java-jgit-4.2: Do not build with icedtea-7.
* gnu/packages/java.scm (java-jgit-4.2)[arguments]: Do not override JDK.
| -rw-r--r-- | gnu/packages/java.scm | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/gnu/packages/java.scm b/gnu/packages/java.scm index 655f524f92..9c069f788f 100644 --- a/gnu/packages/java.scm +++ b/gnu/packages/java.scm @@ -13142,8 +13142,7 @@ Git version control system, providing repository access routines, support for 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 @@ network protocols, and core version control algorithms.") (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 |