diff options
author | Samuel Dionne-Riel <samuel@dionne-riel.com> | 2018-09-09 05:37:29 -0400 |
---|---|---|
committer | xeji <36407913+xeji@users.noreply.github.com> | 2018-09-09 11:37:29 +0200 |
commit | 1ac912bf1b964f0703b1bd8b10fb445006cdc383 (patch) | |
tree | 701b8b38d86129e2e048bbe0e47075f9864dc318 | |
parent | 131c507694b212da3bbee728ea4c7c2c14433471 (diff) | |
download | nixlib-1ac912bf1b964f0703b1bd8b10fb445006cdc383.tar nixlib-1ac912bf1b964f0703b1bd8b10fb445006cdc383.tar.gz nixlib-1ac912bf1b964f0703b1bd8b10fb445006cdc383.tar.bz2 nixlib-1ac912bf1b964f0703b1bd8b10fb445006cdc383.tar.lz nixlib-1ac912bf1b964f0703b1bd8b10fb445006cdc383.tar.xz nixlib-1ac912bf1b964f0703b1bd8b10fb445006cdc383.tar.zst nixlib-1ac912bf1b964f0703b1bd8b10fb445006cdc383.zip |
texlive: Adds patch for missing synctex header. (#46376)
This seems like a known issue as other distributions (ArchLinux here) have patches fixing the issue. This hopefully fixes more than one dependant builds for ZHF 18.09.
-rw-r--r-- | pkgs/tools/typesetting/tex/texlive/bin.nix | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/pkgs/tools/typesetting/tex/texlive/bin.nix b/pkgs/tools/typesetting/tex/texlive/bin.nix index 53fac978ebb0..e3528ce699d1 100644 --- a/pkgs/tools/typesetting/tex/texlive/bin.nix +++ b/pkgs/tools/typesetting/tex/texlive/bin.nix @@ -32,6 +32,11 @@ let url = https://git.archlinux.org/svntogit/packages.git/plain/trunk/texlive-poppler-0.64.patch?h=packages/texlive-bin; sha256 = "0443d074zl3c5raba8jyhavish706arjcd80ibb84zwnwck4ai0w"; }) + (fetchurl { + name = "synctex-missing-header.patch"; + url = https://git.archlinux.org/svntogit/packages.git/plain/trunk/synctex-missing-header.patch?h=packages/texlive-bin&id=da56abf0f8a1e85daca0ec0f031b8fa268519e6b; + sha256 = "1c4aq8lk8g3mlfq3mdjnxvmhss3qs7nni5rmw0k054dmj6q1xj5n"; + }) ]; configureFlags = [ |