1 { lib, stdenv, fetchurl, jre, makeWrapper }:
3 stdenv.mkDerivation rec {
8 url = "https://github.com/workcraft/workcraft/releases/download/v${version}/workcraft-v${version}-linux.tar.gz";
9 sha256 = "sha256-326iDxQ1t9iih2JVRO07C41V5DtkUzwkcNHCz5kLHT8=";
12 nativeBuildInputs = [ makeWrapper ];
20 makeWrapper $out/share/workcraft $out/bin/workcraft \
21 --set JAVA_HOME "${jre}" \
22 --set _JAVA_OPTIONS '-Dawt.useSystemAAFontSettings=gasp';
26 homepage = "https://workcraft.org/";
27 description = "Framework for interpreted graph modeling, verification and synthesis";
28 mainProgram = "workcraft";
29 platforms = lib.platforms.linux;
30 license = lib.licenses.mit;
31 maintainers = with lib.maintainers; [ timor ];