2021-01-11 08:54:33 +01:00
|
|
|
{ lib, stdenv, fetchurl, makeWrapper, jdk }:
|
2020-09-27 22:40:39 +02:00
|
|
|
|
|
|
|
stdenv.mkDerivation rec {
|
|
|
|
pname = "greenfoot";
|
|
|
|
version = "3.6.1";
|
|
|
|
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";
|
|
|
|
sha256 = "112h6plpclj8kbv093m4pcczljhpd8d47d7a2am1yfgbyckx6hf0";
|
|
|
|
};
|
|
|
|
|
|
|
|
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"
|
|
|
|
'';
|
|
|
|
|
2021-01-11 08:54:33 +01:00
|
|
|
meta = with lib; {
|
2020-09-27 22:40:39 +02:00
|
|
|
description = "A simple integrated development environment for Java";
|
|
|
|
homepage = "https://www.greenfoot.org/";
|
|
|
|
license = licenses.gpl2ClasspathPlus;
|
2021-02-20 12:03:24 +01:00
|
|
|
maintainers = [ maintainers.chvp ];
|
2020-09-27 22:40:39 +02:00
|
|
|
platforms = platforms.unix;
|
|
|
|
};
|
|
|
|
}
|