ragel: use new texlive infrastructure
This commit is contained in:
parent
6d6f331109
commit
72161f6810
@ -1,5 +1,4 @@
|
|||||||
{stdenv, fetchurl, transfig, texLiveAggregationFun, texLive, texLiveExtra
|
{stdenv, fetchurl, transfig, tex , ghostscript, colm, build-manual ? false
|
||||||
, ghostscript, colm, build-manual ? false
|
|
||||||
}:
|
}:
|
||||||
|
|
||||||
stdenv.mkDerivation rec {
|
stdenv.mkDerivation rec {
|
||||||
@ -11,8 +10,7 @@ stdenv.mkDerivation rec {
|
|||||||
sha256 = "1ns3kbcvhinn4rwm54ajg49d1la8filxskl3rgbwws0irzw507vs";
|
sha256 = "1ns3kbcvhinn4rwm54ajg49d1la8filxskl3rgbwws0irzw507vs";
|
||||||
};
|
};
|
||||||
|
|
||||||
buildInputs = stdenv.lib.optional build-manual [ transfig ghostscript
|
buildInputs = stdenv.lib.optional build-manual [ transfig ghostscript tex ];
|
||||||
(texLiveAggregationFun { paths=[ texLive texLiveExtra ]; }) ];
|
|
||||||
|
|
||||||
preConfigure = stdenv.lib.optional build-manual ''
|
preConfigure = stdenv.lib.optional build-manual ''
|
||||||
sed -i "s/build_manual=no/build_manual=yes/g" DIST
|
sed -i "s/build_manual=no/build_manual=yes/g" DIST
|
||||||
|
@ -6062,7 +6062,9 @@ let
|
|||||||
};
|
};
|
||||||
|
|
||||||
|
|
||||||
ragel = callPackage ../development/tools/parsing/ragel { };
|
ragel = callPackage ../development/tools/parsing/ragel {
|
||||||
|
tex = texlive.combined.scheme-small;
|
||||||
|
};
|
||||||
|
|
||||||
hammer = callPackage ../development/tools/parsing/hammer { };
|
hammer = callPackage ../development/tools/parsing/hammer { };
|
||||||
|
|
||||||
|
Loading…
x
Reference in New Issue
Block a user