blob: c0d6d541d6bd87bac2f61df4159a7289c1d61a63 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
|
{ stdenv, fetchurl, jre, makeWrapper }:
stdenv.mkDerivation rec {
pname = "workcraft";
version = "3.2.5";
src = fetchurl {
url = "https://github.com/workcraft/workcraft/releases/download/v${version}/workcraft-v${version}-linux.tar.gz";
sha256 = "11dk00b17yhk7cv8zms4nlffc0qwgsapimzr8csb89qmgabd7rj3";
};
buildInputs = [ makeWrapper ];
phases = [ "unpackPhase" "installPhase" "fixupPhase" ];
installPhase = ''
mkdir -p $out/share
cp -r * $out/share
mkdir $out/bin
makeWrapper $out/share/workcraft $out/bin/workcraft \
--set JAVA_HOME "${jre}" \
--set _JAVA_OPTIONS '-Dawt.useSystemAAFontSettings=gasp';
'';
meta = {
homepage = https://workcraft.org/;
description = "Framework for interpreted graph modeling, verification and synthesis";
platforms = stdenv.lib.platforms.linux;
license = stdenv.lib.licenses.mit;
maintainers = with stdenv.lib.maintainers; [ timor ];
inherit version;
};
}
|