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