at 18.09-beta 34 lines 821 B view raw
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}