1{ lib, stdenv, fetchFromGitHub }:
2
3stdenv.mkDerivation rec {
4 pname = "pps-tools";
5 version = "1.0.3";
6
7 src = fetchFromGitHub {
8 owner = "redlab-i";
9 repo = pname;
10 rev = "v${version}";
11 sha256 = "sha256-eLLFHrCgOQzOtVxlAsZ5X91KK+vZiKMGL7zbQFiIZtI=";
12 };
13
14 outputs = [ "out" "dev" ];
15
16 installPhase = ''
17 mkdir -p $out/bin
18 mkdir -p $dev/include
19 mkdir -p $out/{usr/bin,usr/include/sys}
20 make install DESTDIR=$out
21 mv $out/usr/bin/* $out/bin
22 mv $out/usr/include/* $dev/include/
23 rm -rf $out/usr/
24 '';
25
26 meta = with lib; {
27 description = "User-space tools for LinuxPPS";
28 homepage = "http://linuxpps.org/";
29 license = licenses.gpl2Plus;
30 platforms = platforms.linux;
31 maintainers = with maintainers; [ sorki ];
32 };
33}