diff options
Diffstat (limited to 'pkgs/os-specific/linux/pps-tools/default.nix')
-rw-r--r-- | pkgs/os-specific/linux/pps-tools/default.nix | 33 |
1 files changed, 0 insertions, 33 deletions
diff --git a/pkgs/os-specific/linux/pps-tools/default.nix b/pkgs/os-specific/linux/pps-tools/default.nix deleted file mode 100644 index 66754e5148ec..000000000000 --- a/pkgs/os-specific/linux/pps-tools/default.nix +++ /dev/null @@ -1,33 +0,0 @@ -{ lib, stdenv, fetchFromGitHub }: - -stdenv.mkDerivation rec { - pname = "pps-tools"; - version = "1.0.3"; - - src = fetchFromGitHub { - owner = "redlab-i"; - repo = pname; - rev = "v${version}"; - sha256 = "sha256-eLLFHrCgOQzOtVxlAsZ5X91KK+vZiKMGL7zbQFiIZtI="; - }; - - outputs = [ "out" "dev" ]; - - installPhase = '' - mkdir -p $out/bin - mkdir -p $dev/include - mkdir -p $out/{usr/bin,usr/include/sys} - make install DESTDIR=$out - mv $out/usr/bin/* $out/bin - mv $out/usr/include/* $dev/include/ - rm -rf $out/usr/ - ''; - - meta = with lib; { - description = "User-space tools for LinuxPPS"; - homepage = "http://linuxpps.org/"; - license = licenses.gpl2Plus; - platforms = platforms.linux; - maintainers = with maintainers; [ sorki ]; - }; -} |