groove: 5.7.4 -> 5.8.1 and jre -> jre8

I tested OpenJDK11 but it didn't seem to work.

(cherry picked from commit 6a2815218d)
This commit is contained in:
wackbyte
2021-11-22 12:51:17 -05:00
committed by github-actions[bot]
parent d2501f68e2
commit bd607a442b

View File

@@ -1,4 +1,4 @@
{ lib, stdenv, fetchurl, unzip, makeWrapper, makeDesktopItem, icoutils, jre }:
{ lib, stdenv, fetchurl, unzip, makeWrapper, makeDesktopItem, icoutils, jre8 }:
let
desktopItem = makeDesktopItem {
@@ -12,11 +12,11 @@ let
in stdenv.mkDerivation rec {
pname = "groove";
version = "5.7.4";
version = "5.8.1";
src = fetchurl {
url = "mirror://sourceforge/groove/groove/${version}/${pname}-${builtins.replaceStrings ["."] ["_"] version}-bin.zip";
sha256 = "1cl3xzl3n8b9a7h5pvnv31bab9j9zaw07ppk8whk8h865dcq1d10";
sha256 = "sha256-JwoUlO6F2+8NtCnLC+xm5q0Jm8RIyU1rnuKGmjgJhFU=";
};
nativeBuildInputs = [ unzip makeWrapper icoutils ];
@@ -32,7 +32,7 @@ in stdenv.mkDerivation rec {
mkdir -p $out/bin
for bin in Generator Imager ModelChecker PrologChecker Simulator Viewer; do
makeWrapper ${jre}/bin/java $out/bin/groove-''${bin,,} \
makeWrapper ${jre8}/bin/java $out/bin/groove-''${bin,,} \
--add-flags "-jar $out/share/groove/bin/$bin.jar"
done