gnu: jbr: Use Jetbrains' configure-flags.
* gnu/packages/java.scm (jbr17)[arguments]<#:configure-flags>: Use Jetbrains' configure flags.
This commit is contained in:
parent
796c823a0d
commit
3755941f03
@ -1553,6 +1553,15 @@ blacklisted.certs.pem"
|
|||||||
(base32
|
(base32
|
||||||
"0wh9xhqgcjk0jgvpvlvf78dy3r8m0vgqd0f54whpx0qqbmyavgdw"))
|
"0wh9xhqgcjk0jgvpvlvf78dy3r8m0vgqd0f54whpx0qqbmyavgdw"))
|
||||||
(patches (search-patches "jbr-17-xcursor-no-dynamic.patch"))))
|
(patches (search-patches "jbr-17-xcursor-no-dynamic.patch"))))
|
||||||
|
(arguments
|
||||||
|
(substitute-keyword-arguments (package-arguments openjdk17)
|
||||||
|
((#:configure-flags configure-flags)
|
||||||
|
#~(append #$configure-flags
|
||||||
|
(list "--with-jvm-features=shenandoahgc"
|
||||||
|
"--enable-cds=yes"
|
||||||
|
"--with-vendor-name=JetBrains s.r.o"
|
||||||
|
"--with-vendor-url=https://www.jetbrains.com/"
|
||||||
|
"--with-vendor-bug-url=https://youtrack.jetbrains.com/issues/JBR")))))
|
||||||
(synopsis "JetBrains Java Runtime")
|
(synopsis "JetBrains Java Runtime")
|
||||||
(description "This package provides a Java runtime environment for
|
(description "This package provides a Java runtime environment for
|
||||||
and Java development kit. It supports enhanced class redefinition (DCEVM),
|
and Java development kit. It supports enhanced class redefinition (DCEVM),
|
||||||
|
Loading…
Reference in New Issue
Block a user