Fix wrong name attribute

This commit is contained in:
Marco Massarelli 2023-10-19 20:55:38 -04:00
parent fd4cdb0191
commit f29e6648c3
1 changed files with 3 additions and 3 deletions

View File

@ -10,10 +10,10 @@ in
, gradle_7 , gradle_7
}: }:
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
pname = "freerouting"; name = "freerouting";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "freerouting"; owner = "freerouting";
repo = pname; repo = name;
rev = "89dce17"; # HEAD on Oct 19, 2023 rev = "89dce17"; # HEAD on Oct 19, 2023
hash = "sha256-mhyn3UOAtP5ahrOieW4AE0WhcL5furlJyCp2WaeqGYI="; hash = "sha256-mhyn3UOAtP5ahrOieW4AE0WhcL5furlJyCp2WaeqGYI=";
}; };
@ -34,7 +34,7 @@ stdenv.mkDerivation rec {
mkdir -pv $out/share/java $out/bin mkdir -pv $out/share/java $out/bin
cp build/libs/freerouting-executable.jar $out/share/java/freerouting.jar cp build/libs/freerouting-executable.jar $out/share/java/freerouting.jar
makeWrapper ${openjdk17}/bin/java $out/bin/freerouting \ makeWrapper ${openjdk17}/bin/java $out/bin/freerouting \
--add-flags "-jar $out/share/java/freerouting.jar" --add-flags "-jar $out/share/java/freerouting.jar"
runHook postInstall runHook postInstall
''; '';
} }