diff options
author | Sandro <sandro.jaeckel@gmail.com> | 2021-07-27 10:46:32 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-07-27 10:46:32 +0000 |
commit | 91894c29fab82ab258b508a6be500ba16b481b3d (patch) | |
tree | 0177247d47f233c80e625953f760f21321f2955f /pkgs/servers | |
parent | d0b7c6d8b6341400dc5db53fc13fd24a200c9f46 (diff) | |
parent | b1b7d127d0d6c2d57e3e39f759356fd3d51b2262 (diff) | |
download | nixlib-91894c29fab82ab258b508a6be500ba16b481b3d.tar nixlib-91894c29fab82ab258b508a6be500ba16b481b3d.tar.gz nixlib-91894c29fab82ab258b508a6be500ba16b481b3d.tar.bz2 nixlib-91894c29fab82ab258b508a6be500ba16b481b3d.tar.lz nixlib-91894c29fab82ab258b508a6be500ba16b481b3d.tar.xz nixlib-91894c29fab82ab258b508a6be500ba16b481b3d.tar.zst nixlib-91894c29fab82ab258b508a6be500ba16b481b3d.zip |
Merge pull request #131663 from SuperSandro2000/cleanup
Diffstat (limited to 'pkgs/servers')
-rw-r--r-- | pkgs/servers/dict/wiktionary/builder.sh | 8 | ||||
-rw-r--r-- | pkgs/servers/dict/wiktionary/default.nix | 20 |
2 files changed, 15 insertions, 13 deletions
diff --git a/pkgs/servers/dict/wiktionary/builder.sh b/pkgs/servers/dict/wiktionary/builder.sh deleted file mode 100644 index 65652ad4bdbf..000000000000 --- a/pkgs/servers/dict/wiktionary/builder.sh +++ /dev/null @@ -1,8 +0,0 @@ -source $stdenv/setup - -mkdir -p $out/share/dictd/ -cd $out/share/dictd - -python -O "$convert" "$src" -dictzip wiktionary-en.dict -echo en_US.UTF-8 > locale diff --git a/pkgs/servers/dict/wiktionary/default.nix b/pkgs/servers/dict/wiktionary/default.nix index 3a01120f3a68..05df86f3a784 100644 --- a/pkgs/servers/dict/wiktionary/default.nix +++ b/pkgs/servers/dict/wiktionary/default.nix @@ -1,23 +1,33 @@ { lib, stdenv, fetchurl, python2, dict, glibcLocales }: stdenv.mkDerivation rec { - version = "20210201"; pname = "dict-db-wiktionary"; + version = "20210201"; src = fetchurl { url = "https://dumps.wikimedia.org/enwiktionary/${version}/enwiktionary-${version}-pages-articles.xml.bz2"; sha256 = "0dc34cbadsg0f6lhfcyx0np7zjnlg6837piqhlvnn0b45xnzn0cs"; }; - convert = ./wiktionary2dict.py; - buildInputs = [ python2 dict glibcLocales ]; - builder = ./builder.sh; + # script in nixpkgs does not support python2 + nativeBuildInputs = [ python2 dict glibcLocales ]; + + dontUnpack = true; + + installPhase = '' + mkdir -p $out/share/dictd/ + cd $out/share/dictd + + ${python2.interpreter} -O ${./wiktionary2dict.py} "${src}" + dictzip wiktionary-en.dict + echo en_US.UTF-8 > locale + ''; passthru.updateScript = ./update.sh; meta = with lib; { description = "DICT version of English Wiktionary"; - homepage = "http://en.wiktionary.org/"; + homepage = "https://en.wiktionary.org/"; maintainers = with maintainers; [ qyliss ]; platforms = platforms.all; license = with licenses; [ cc-by-sa-30 fdl11Plus ]; |