9 stdenv.mkDerivation rec {
14 url = "https://github.com/workcraft/workcraft/releases/download/v${version}/workcraft-v${version}-linux.tar.gz";
15 sha256 = "sha256-/Qax8cSO9j77OXNTYoZoAk5H5teWuNuR+9ubQuFq6qc=";
18 nativeBuildInputs = [ makeWrapper ];
26 makeWrapper $out/share/workcraft $out/bin/workcraft \
27 --set JAVA_HOME "${jre}" \
28 --set _JAVA_OPTIONS '-Dawt.useSystemAAFontSettings=gasp';
32 homepage = "https://workcraft.org/";
33 description = "Framework for interpreted graph modeling, verification and synthesis";
34 mainProgram = "workcraft";
35 platforms = lib.platforms.linux;
36 license = lib.licenses.mit;
37 maintainers = with lib.maintainers; [ timor ];