mirror of
https://github.com/NixOS/nixpkgs.git
synced 2024-11-18 15:56:50 +01:00
0498ccd076
HTTP -> HTTPS for : - http://gnu.org/ - http://www.gnu.org/ - http://elpa.gnu.org/ - http://lists.gnu.org/ - http://gcc.gnu.org/ - http://ftp.gnu.org/ (except in fetchurl mirrors) - http://bugs.gnu.org/
52 lines
1.7 KiB
Nix
52 lines
1.7 KiB
Nix
{ fetchurl, stdenv, libtool, gettext, zlib, readline, gsasl
|
|
, guile, python, pcre, libffi, groff }:
|
|
|
|
stdenv.mkDerivation rec {
|
|
name = "dico-2.7";
|
|
|
|
src = fetchurl {
|
|
url = "mirror://gnu/dico/${name}.tar.xz";
|
|
sha256 = "0dg4aacnmlf3ljssd7dwh8z5644xzq8k1501mbsx8nz8p8a9mbsq";
|
|
};
|
|
|
|
hardeningDisable = [ "format" ];
|
|
|
|
# XXX: Add support for GNU SASL.
|
|
buildInputs =
|
|
[ libtool gettext zlib readline gsasl guile python pcre libffi groff ];
|
|
|
|
# dicod fails to load modules, so the tests fail
|
|
doCheck = false;
|
|
|
|
preBuild = ''
|
|
sed -i -e '/gets is a security/d' gnu/stdio.in.h
|
|
'';
|
|
|
|
meta = with stdenv.lib; {
|
|
description = "Flexible dictionary server and client implementing RFC 2229";
|
|
homepage = https://www.gnu.org/software/dico/;
|
|
license = licenses.gpl3Plus;
|
|
maintainers = with maintainers; [ lovek323 ];
|
|
platforms = platforms.linux;
|
|
|
|
longDescription = ''
|
|
GNU Dico is a flexible modular implementation of DICT server
|
|
(RFC 2229). In contrast to another existing servers, it does
|
|
not depend on particular database format, instead it handles
|
|
database accesses using loadable modules.
|
|
|
|
The package includes several loadable modules for interfacing
|
|
with various database formats, among them a module for dict.org
|
|
databases and a module for transparently accessing Wikipedia or
|
|
Wiktionary sites as a dictionary database.
|
|
|
|
New modules can easily be written in C, Guile or Python. The
|
|
module API is mature and well documented.
|
|
|
|
A web interface serving several databases is available.
|
|
|
|
The package also includes a console client program for querying
|
|
remote dictionary servers.
|
|
'';
|
|
};
|
|
}
|