nixpkgs/pkgs/applications/editors/greenfoot/default.nix

39 lines
1.4 KiB
Nix
Raw Normal View History

{ lib, stdenv, fetchurl, makeWrapper, jdk }:
2020-09-27 21:40:39 +01:00
stdenv.mkDerivation rec {
pname = "greenfoot";
2021-06-30 18:12:51 +01:00
version = "3.7.0";
2020-09-27 21:40:39 +01:00
src = fetchurl {
# We use the deb here. First instinct might be to go for the "generic" JAR
# download, but that is actually a graphical installer that is much harder
# to unpack than the deb.
url = "https://www.greenfoot.org/download/files/Greenfoot-linux-${builtins.replaceStrings ["."] [""] version}.deb";
2021-06-30 18:12:51 +01:00
sha256 = "sha256-K9faU3ZarcR4g8riHpoZYVH0sXtueqfm3Fo+sZAHJA8=";
2020-09-27 21:40:39 +01:00
};
nativeBuildInputs = [ makeWrapper ];
unpackPhase = ''
ar xf $src
tar xf data.tar.xz
'';
installPhase = ''
mkdir -p $out
cp -r usr/* $out
rm -r $out/share/greenfoot/jdk
rm -r $out/share/greenfoot/javafx
makeWrapper ${jdk}/bin/java $out/bin/greenfoot \
--add-flags "-Djavafx.embed.singleThread=true -Dawt.useSystemAAFontSettings=on -Xmx512M -cp \"$out/share/greenfoot/bluej.jar\" bluej.Boot -greenfoot=true -bluej.compiler.showunchecked=false -greenfoot.scenarios=$out/share/doc/Greenfoot/scenarios -greenfoot.url.javadoc=file://$out/share/doc/Greenfoot/API"
'';
meta = with lib; {
2020-09-27 21:40:39 +01:00
description = "A simple integrated development environment for Java";
homepage = "https://www.greenfoot.org/";
license = licenses.gpl2ClasspathPlus;
2021-02-20 11:03:24 +00:00
maintainers = [ maintainers.chvp ];
2020-09-27 21:40:39 +01:00
platforms = platforms.unix;
};
}