2012-10-27 23:02:44 +02:00
|
|
|
{stdenv, fetchurl, python, dict, glibcLocales, writeScript}:
|
|
|
|
|
|
|
|
stdenv.mkDerivation rec {
|
2016-10-19 08:31:49 +02:00
|
|
|
version = "20161001";
|
2012-10-27 23:02:44 +02:00
|
|
|
name = "dict-db-wiktionary-${version}";
|
|
|
|
data = fetchurl {
|
|
|
|
url = "http://dumps.wikimedia.org/enwiktionary/${version}/enwiktionary-${version}-pages-articles.xml.bz2";
|
2016-10-19 08:31:49 +02:00
|
|
|
sha256 = "0g3k7kxp2nzg0v56i4cz253af3aqvhn1lwkys2fnam51cn3yqm7m";
|
2012-10-27 23:02:44 +02:00
|
|
|
};
|
|
|
|
|
|
|
|
convert = ./wiktionary2dict.py;
|
|
|
|
buildInputs = [python dict glibcLocales];
|
|
|
|
|
|
|
|
builder = writeScript "wiktionary-builder.sh" ''
|
|
|
|
source $stdenv/setup
|
|
|
|
|
2014-06-30 14:56:10 +02:00
|
|
|
mkdir -p $out/share/dictd/
|
2012-10-27 23:02:44 +02:00
|
|
|
cd $out/share/dictd
|
|
|
|
|
|
|
|
python -O ${convert} ${data}
|
|
|
|
dictzip wiktionary-en.dict
|
|
|
|
echo en_US.UTF-8 > locale
|
|
|
|
'';
|
|
|
|
|
|
|
|
meta = {
|
|
|
|
description = "DICT version of English Wiktionary";
|
|
|
|
homepage = http://en.wiktionary.org/;
|
2018-01-17 06:13:23 +01:00
|
|
|
maintainers = [ ];
|
2012-10-27 23:02:44 +02:00
|
|
|
platforms = stdenv.lib.platforms.all;
|
|
|
|
};
|
|
|
|
}
|