init pkgs.gi

2017-08-06 16:08:58 +02:00 · 2017-08-06 16:08:58 +02:00 · 61968bc026
parent 9da8a1b0a6
commit 61968bc026
1 changed files with 30 additions and 0 deletions
--- a/krebs/5pkgs/simple/gi/default.nix
+++ b/krebs/5pkgs/simple/gi/default.nix
@ -0,0 +1,30 @@
+{ fetchFromGitHub, lib, stdenv, ... }:
+
+stdenv.mkDerivation rec {
+  name = "gi";
+  version = "master";
+
+  src = fetchFromGitHub {
+    owner = "dspinellis";
+    repo = "gi";
+    rev = "684051e";
+    sha256 = "14jgfg0bpzhy7dyq3ff45syd3c324l1z6d3q14izvwk6cs11qs8m";
+  };
+
+  phases = [
+    "unpackPhase"
+    "installPhase"
+  ];
+
+  installPhase = ''
+    mkdir -p $out/bin
+    cp ./gi.sh $out/bin/gi
+  '';
+
+  meta = {
+    description = "a minimalist distributed issue management system based on Git.";
+    url = https://github.com/dspinellis/gi;
+    license = lib.licenses.gpl3;
+    platforms = lib.platforms.unix;
+  };
+}