diff options
| author | Sandro <sandro.jaeckel@gmail.com> | 2022-11-21 21:02:46 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-11-21 21:02:46 +0100 |
| commit | f92cbf494105b55109488392676d618acf10b192 (patch) | |
| tree | b929787c446347fc7e57469c0900b625b1a910a3 | |
| parent | 814a0bc6b71af6928134898be2958adc603f76bf (diff) | |
| parent | cb0fc208b6febd743541206f7d73b1bb47806417 (diff) | |
Merge pull request #200737 from ursi/hexgui
| -rw-r--r-- | maintainers/maintainer-list.nix | 6 | ||||
| -rw-r--r-- | pkgs/games/hexgui/default.nix | 36 | ||||
| -rw-r--r-- | pkgs/top-level/all-packages.nix | 2 |
3 files changed, 44 insertions, 0 deletions
diff --git a/maintainers/maintainer-list.nix b/maintainers/maintainer-list.nix index 0941b2516cd36..ee2014d6525b1 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -14287,6 +14287,12 @@ githubId = 32751441; name = "urlordjames"; }; + ursi = { + email = "masondeanm@aol.com"; + github = "ursi"; + githubId = 17836748; + name = "Mason Mackaman"; + }; uskudnik = { email = "urban.skudnik@gmail.com"; github = "uskudnik"; diff --git a/pkgs/games/hexgui/default.nix b/pkgs/games/hexgui/default.nix new file mode 100644 index 0000000000000..1282f03a0eb45 --- /dev/null +++ b/pkgs/games/hexgui/default.nix @@ -0,0 +1,36 @@ +{ ant +, fetchFromGitHub +, jdk +, lib +, makeWrapper +, stdenv +}: +stdenv.mkDerivation { + pname = "hexgui"; + version = "unstable-2022-5-30"; + + src = fetchFromGitHub { + owner = "selinger"; + repo = "hexgui"; + rev = "d94ce1d35a22dad28d3e7def4d28e6bebd54da9d"; + hash = "sha256-1MroFH2JSEZHFigcsw1+xyHJWEnHTvHmRPVirUgwM6I="; + }; + + nativeBuildInputs = [ ant jdk makeWrapper ]; + buildPhase = '' + ant + ''; + + installPhase = '' + mkdir $out + mv bin lib $out + wrapProgram $out/bin/hexgui --prefix PATH : ${lib.makeBinPath [ jdk ]} + ''; + + meta = { + description = "GUI for the board game Hex (and Y)"; + homepage = "https://github.com/selinger/hexgui"; + license = lib.licenses.gpl3; + maintainers = [ lib.maintainers.ursi ]; + }; +} diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index e104b1719d4ca..9520f6c98ad95 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -7807,6 +7807,8 @@ with pkgs; hexd = callPackage ../tools/misc/hexd { }; pixd = callPackage ../tools/misc/pixd { }; + hexgui = callPackage ../games/hexgui { }; + hey = callPackage ../tools/networking/hey { }; hhpc = callPackage ../tools/misc/hhpc { }; |