diff options
author | Vincenzo Mantova <1962985+xworld21@users.noreply.github.com> | 2024-04-21 20:28:21 +0100 |
---|---|---|
committer | Vincenzo Mantova <1962985+xworld21@users.noreply.github.com> | 2024-04-21 20:28:21 +0100 |
commit | a733987ca028e2c9dfa85cb3ab49e3a377d25086 (patch) | |
tree | bf56550e3a787ffe8becbb45cf86f397afb9ddfe | |
parent | 22d4287ad287488ea9dcda626c7382399aaac10f (diff) |
texlive.bin.xindy: do not build docs and rules already shipped by texlive
-rw-r--r-- | pkgs/tools/typesetting/tex/texlive/bin.nix | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/pkgs/tools/typesetting/tex/texlive/bin.nix b/pkgs/tools/typesetting/tex/texlive/bin.nix index 87619c6afe182..af810aa51d316 100644 --- a/pkgs/tools/typesetting/tex/texlive/bin.nix +++ b/pkgs/tools/typesetting/tex/texlive/bin.nix @@ -520,23 +520,23 @@ xindy = stdenv.mkDerivation { postPatch = '' substituteInPlace xindy-*/user-commands/xindy.in \ --replace-fail "our \$clisp = ( \$is_windows ? 'clisp.exe' : 'clisp' ) ;" \ - "our \$clisp = '$(type -P clisp)';" + "our \$clisp = '$(type -P clisp)';" \ + --replace-fail 'die "$cmd: Cannot locate xindy modules directory";' \ + '$modules_dir = "${texlive.pkgs.xindy.tex}/xindy/modules"; die "$cmd: Cannot locate xindy modules directory" unless -d $modules_dir;' ''; nativeBuildInputs = [ pkg-config perl - (texlive.combine { inherit (texlive) scheme-basic cyrillic ec; }) ]; buildInputs = [ clisp libiconv perl ]; - configureFlags = [ "--with-clisp-runtime=system" "--disable-xindy-docs" ]; + configureFlags = [ "--with-clisp-runtime=system" "--disable-xindy-docs" "--disable-xindy-rules" ]; preInstall = ''mkdir -p "$out/bin" ''; # fixup various file-location errors of: lib/xindy/{xindy.mem,modules/} postInstall = '' mkdir -p "$out/lib/xindy" mv "$out"/{bin/xindy.mem,lib/xindy/} - ln -s ../../share/texmf-dist/xindy/modules "$out/lib/xindy/" ''; }; |