diff options
Diffstat (limited to 'nixpkgs/pkgs/applications/science/logic/workcraft/default.nix')
-rw-r--r-- | nixpkgs/pkgs/applications/science/logic/workcraft/default.nix | 32 |
1 files changed, 32 insertions, 0 deletions
diff --git a/nixpkgs/pkgs/applications/science/logic/workcraft/default.nix b/nixpkgs/pkgs/applications/science/logic/workcraft/default.nix new file mode 100644 index 000000000000..24d3fb84d6ee --- /dev/null +++ b/nixpkgs/pkgs/applications/science/logic/workcraft/default.nix @@ -0,0 +1,32 @@ +{ lib, stdenv, fetchurl, jre, makeWrapper }: + +stdenv.mkDerivation rec { + pname = "workcraft"; + version = "3.4.1"; + + src = fetchurl { + url = "https://github.com/workcraft/workcraft/releases/download/v${version}/workcraft-v${version}-linux.tar.gz"; + sha256 = "sha256-/mh8IN3rGUZIYvyrqnhl0mgnizPZzDduXjQHIDouI38="; + }; + + nativeBuildInputs = [ makeWrapper ]; + + dontConfigure = true; + + 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 = lib.platforms.linux; + license = lib.licenses.mit; + maintainers = with lib.maintainers; [ timor ]; + }; +} |