dictdDBs.wiktionary: fix reproducibility with faketime

+5 -4
+5 -4
pkgs/servers/dict/wiktionary/default.nix
··· 1 - { lib, stdenv, fetchurl, python3, dict, glibcLocales }: 2 3 stdenv.mkDerivation rec { 4 pname = "dict-db-wiktionary"; ··· 9 sha256 = "qsha26LL2513SDtriE/0zdPX1zlnpzk1KKk+R9dSdew="; 10 }; 11 12 - nativeBuildInputs = [ python3 dict glibcLocales ]; 13 14 dontUnpack = true; 15 ··· 17 mkdir -p $out/share/dictd/ 18 cd $out/share/dictd 19 20 - ${python3.interpreter} -O ${./wiktionary2dict.py} "${src}" 21 - dictzip wiktionary-en.dict 22 echo en_US.UTF-8 > locale 23 ''; 24
··· 1 + { lib, stdenv, fetchurl, python3, dict, glibcLocales, libfaketime }: 2 3 stdenv.mkDerivation rec { 4 pname = "dict-db-wiktionary"; ··· 9 sha256 = "qsha26LL2513SDtriE/0zdPX1zlnpzk1KKk+R9dSdew="; 10 }; 11 12 + nativeBuildInputs = [ python3 dict glibcLocales libfaketime ]; 13 14 dontUnpack = true; 15 ··· 17 mkdir -p $out/share/dictd/ 18 cd $out/share/dictd 19 20 + source_date=$(date --utc --date=@$SOURCE_DATE_EPOCH "+%F %T") 21 + faketime -f "$source_date" ${python3.interpreter} -O ${./wiktionary2dict.py} "${src}" 22 + faketime -f "$source_date" dictzip wiktionary-en.dict 23 echo en_US.UTF-8 > locale 24 ''; 25