open-english-wordnet: Fix merge.py

- Upstream left the wrong version number in the script as tagged for the release
- The output depends on file iteration order.
This commit is contained in:
nicoo 2023-10-30 17:41:44 +00:00
parent 3b65f33cb4
commit 281f03a6db

View File

@ -1,5 +1,6 @@
{ lib
, fetchFromGitHub
, fetchpatch
, gzip
, python3
, stdenvNoCC
@ -16,6 +17,16 @@ stdenvNoCC.mkDerivation (self: {
hash = "sha256-a1fWIp39uuJZL1aFX/r+ttLB1+kwh/XPHwphgENTQ5M=";
};
patches = lib.mapAttrsToList (rev: hash: fetchpatch {
url = "https://github.com/globalwordnet/english-wordnet/commit/${rev}.patch";
inherit hash;
}) {
# Upstream commit bumping the version number, accidentally ommited from the tagged release
"bc07902f8995b62c70f01a282b23f40f30630540" = "sha256-1e4MG/k86g3OFUhiShCCbNXnvDKrYFr1KlGVsGl++KI=";
# PR #982, “merge.py: Make result independent of filesystem order”
"6da46a48dd76a48ad9ff563e6c807b8271fc83cd" = "sha256-QkkJH7NVGy/IbeSWkotU80IGF4esz0b8mIL9soHdQtQ=";
};
# TODO(nicoo): make compression optional?
nativeBuildInputs = [
gzip