2008-07-18 08:45:48 +01:00
|
|
|
{ fetchurl, stdenv }:
|
2007-11-11 16:00:51 +00:00
|
|
|
|
|
|
|
stdenv.mkDerivation rec {
|
2008-07-18 08:45:48 +01:00
|
|
|
name = "poppler-data-0.2.0";
|
2007-11-11 16:00:51 +00:00
|
|
|
|
|
|
|
src = fetchurl {
|
2008-07-18 08:45:48 +01:00
|
|
|
url = "http://poppler.freedesktop.org/${name}.tar.gz";
|
|
|
|
sha256 = "0cpa1krpd6xjbn1nv825z5p8v4cfcypdri4bhzvn2dnjy997x9k8";
|
2007-11-11 16:00:51 +00:00
|
|
|
};
|
|
|
|
|
|
|
|
installFlags = "prefix=\${out}";
|
|
|
|
config_tool_name = "poppler-data-dir";
|
|
|
|
config_tool = ./poppler-data-dir;
|
|
|
|
postInstall = "
|
|
|
|
ensureDir \${out}/bin
|
|
|
|
substituteAll ${config_tool} \${out}/bin/${config_tool_name}
|
|
|
|
chmod +x \${out}/bin/${config_tool_name}
|
|
|
|
";
|
2008-07-18 08:45:48 +01:00
|
|
|
|
|
|
|
meta = {
|
|
|
|
homepage = http://poppler.freedesktop.org/;
|
|
|
|
description = "Encoding files for Poppler, a PDF rendering library";
|
|
|
|
};
|
2007-11-11 16:00:51 +00:00
|
|
|
}
|