logo

overlay

My own overlay for experimentations, use with caution, no support is provided git clone https://hacktivis.me/git/overlay.git

3.30.2-internal-synctex.patch (964B)


  1. From a4a831f998d513c6d01394d9b106aa42faf60dd3 Mon Sep 17 00:00:00 2001
  2. From: Mart Raudsepp <leio@gentoo.org>
  3. Date: Sat, 23 Feb 2019 21:05:28 +0200
  4. Subject: [PATCH] build: always use internal synctex instead of automagically
  5. We don't have a separate synctex package and would have to pull in
  6. all of texlive-core; so instead of fixing the automagic use of it,
  7. just remove support for external synctex, as that's easier.
  8. ---
  9. configure.ac | 2 +-
  10. 1 file changed, 1 insertion(+), 1 deletion(-)
  11. diff --git a/configure.ac b/configure.ac
  12. index 13bdd600..e5334319 100644
  13. --- a/configure.ac
  14. +++ b/configure.ac
  15. @@ -539,7 +539,7 @@ GOBJECT_INTROSPECTION_CHECK([1.0])
  16. dnl ================== libsynctex ===========================================
  17. -PKG_CHECK_MODULES(SYNCTEX, [synctex >= $SYNCTEX_REQUIRED], has_synctex=system, has_synctex=internal)
  18. +has_synctex=internal
  19. dnl not found? use internal code copy.
  20. if test "x$has_synctex" = "xinternal"; then
  21. --
  22. 2.17.0