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