jmusicbot: use headless jdk

This commit is contained in:
Sandro Jäckel 2023-01-31 16:10:33 +01:00
parent 4bff9cd9f8
commit a5309ae9d2
No known key found for this signature in database
GPG Key ID: B1763F8651144063

View File

@ -1,4 +1,4 @@
{ stdenv, lib, fetchurl, makeWrapper, jre }:
{ stdenv, lib, fetchurl, makeWrapper, jre_headless }:
stdenv.mkDerivation rec {
pname = "JMusicBot";
@ -17,7 +17,7 @@ stdenv.mkDerivation rec {
mkdir -p $out/lib
cp $src $out/lib/JMusicBot
makeWrapper ${jre}/bin/java $out/bin/JMusicBot \
makeWrapper ${jre_headless}/bin/java $out/bin/JMusicBot \
--add-flags "-Xmx1G -Dnogui=true -Djava.util.concurrent.ForkJoinPool.common.parallelism=1 -jar $out/lib/JMusicBot"
'';
@ -27,6 +27,6 @@ stdenv.mkDerivation rec {
sourceProvenance = with sourceTypes; [ binaryBytecode ];
license = licenses.asl20;
maintainers = with maintainers; [ SuperSandro2000 ];
platforms = platforms.all;
inherit (jre_headless.meta) platforms;
};
}