summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBjørn Forsman <bjorn.forsman@gmail.com>2023-06-22 18:41:42 +0200
committergithub-actions[bot] <github-actions[bot]@users.noreply.github.com>2023-06-23 18:02:14 +0000
commit63a80c1f3c19a9172aef2a0a45ac4e1c2f2a7c68 (patch)
tree6338d79baaeca9e644bd6e669d61ab0218295a3b
parentdictdDBs.wiktionary: fix reproducibility with faketime (diff)
downloadnixpkgs-63a80c1f3c19a9172aef2a0a45ac4e1c2f2a7c68.tar.gz
dictdDBs.wordnet: fix reproducibility with faketime
(cherry picked from commit 1fa6b683f5fa541b1aca5b5db4f9c32247489d0a)
-rw-r--r--pkgs/servers/dict/dictd-wordnet.nix7
1 files changed, 4 insertions, 3 deletions
diff --git a/pkgs/servers/dict/dictd-wordnet.nix b/pkgs/servers/dict/dictd-wordnet.nix
index 663bd54897bf..d9f3c7a99c8c 100644
--- a/pkgs/servers/dict/dictd-wordnet.nix
+++ b/pkgs/servers/dict/dictd-wordnet.nix
@@ -1,10 +1,10 @@
-{lib, stdenv, python3, wordnet, writeScript}:
+{lib, stdenv, python3, wordnet, writeScript, libfaketime}:
stdenv.mkDerivation rec {
version = "542";
pname = "dict-db-wordnet";
- buildInputs = [python3 wordnet];
+ buildInputs = [python3 wordnet libfaketime];
convert = ./wordnet_structures.py;
builder = writeScript "builder.sh" ''
@@ -16,7 +16,8 @@ stdenv.mkDerivation rec {
DATA="$DATA `echo $i | sed -e s,data,index,` $i";
done
- python ${convert} $DATA
+ source_date=$(date --utc --date=@$SOURCE_DATE_EPOCH "+%F %T")
+ faketime -f "$source_date" python ${convert} $DATA
echo en_US.UTF-8 > locale
'';