2008-07-18 09:45:48 +02:00
|
|
|
{ fetchurl, stdenv }:
|
2007-11-11 17:00:51 +01:00
|
|
|
|
|
|
|
stdenv.mkDerivation rec {
|
2009-02-21 21:35:55 +01:00
|
|
|
name = "poppler-data-0.2.1";
|
2007-11-11 17:00:51 +01:00
|
|
|
|
|
|
|
src = fetchurl {
|
2008-07-18 09:45:48 +02:00
|
|
|
url = "http://poppler.freedesktop.org/${name}.tar.gz";
|
2009-02-21 21:35:55 +01:00
|
|
|
sha256 = "0q56l5v89pnpkm1kqmwb1sx2zcx89q6bxz2hq2cpkq5f8kgvl3c9";
|
2007-11-11 17:00:51 +01: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 09:45:48 +02:00
|
|
|
|
|
|
|
meta = {
|
|
|
|
homepage = http://poppler.freedesktop.org/;
|
|
|
|
description = "Encoding files for Poppler, a PDF rendering library";
|
|
|
|
};
|
2007-11-11 17:00:51 +01:00
|
|
|
}
|