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