default.nix (756B)
1 { lib, stdenv, fetchFromGitHub }: 2 3 stdenv.mkDerivation (finalAttrs: { 4 pname = "gpsdate"; 5 version = "0-unstable-2019-12-02"; 6 7 src = fetchFromGitHub { 8 owner = "adamheinrich"; 9 repo = "gpsdate"; 10 rev = "3e48ab58b73485d08e9f4d48054d5e7379e05805"; 11 hash = "sha256-h/XxQjjelUPYhIuJybZZm/bL07nj242utmYNCwTNw9w="; 12 }; 13 14 patches = [ ./clock_settime.patch ]; 15 16 installPhase = '' 17 install -Dm755 gpsdate -t $out/bin 18 ''; 19 20 meta = with lib; { 21 description = "Simple tool for fetching date and time from a GPS receiver and saving it as a local time"; 22 inherit (finalAttrs.src.meta) homepage; 23 license = licenses.gpl3Plus; 24 maintainers = [ maintainers.sikmir ]; 25 platforms = platforms.unix; 26 mainProgram = "gpsdate"; 27 }; 28 })