tjh.dev
1{
2 lib,
3 stdenv,
4 fetchurl,
5 jre,
6 makeWrapper,
7}:
8
9stdenv.mkDerivation rec {
10 pname = "workcraft";
11 version = "3.5.3";
12
13 src = fetchurl {
14 url = "https://github.com/workcraft/workcraft/releases/download/v${version}/workcraft-v${version}-linux.tar.gz";
15 sha256 = "sha256-p0w65Y4W1ozFLFNVcqYldyZ78+kJPwZeLgrREpc9CLQ=";
16 };
17
18 nativeBuildInputs = [ makeWrapper ];
19
20 dontConfigure = true;
21
22 installPhase = ''
23 mkdir -p $out/share
24 cp -r * $out/share
25 mkdir $out/bin
26 makeWrapper $out/share/workcraft $out/bin/workcraft \
27 --set JAVA_HOME "${jre}" \
28 --prefix _JAVA_OPTIONS " " "-Dawt.useSystemAAFontSettings=gasp";
29 '';
30
31 meta = {
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 ];
38 };
39}