[gummi] 01/01: checkout use-system-synctex.patch

Daniel Stender danstender-guest at moszumanska.debian.org
Wed Jan 27 21:32:57 UTC 2016


This is an automated email from the git hooks/post-receive script.

danstender-guest pushed a commit to branch master
in repository gummi.

commit 2554272b378e8ea800fff094930ac437c97bbd24
Author: Daniel Stender <debian at danielstender.com>
Date:   Wed Jan 27 22:30:10 2016 +0100

    checkout use-system-synctex.patch
---
 configure.ac          | 5 -----
 src/Makefile.am       | 2 ++
 src/gui/gui-preview.c | 2 +-
 3 files changed, 3 insertions(+), 6 deletions(-)

diff --git a/configure.ac b/configure.ac
index 3c2038a..eb014ef 100644
--- a/configure.ac
+++ b/configure.ac
@@ -64,11 +64,6 @@ if test "$spellcheck" = yes; then
     GUI_LIBS="$GUI_LIBS $gtkspell_LIBS"
 fi
 
-PKG_CHECK_MODULES(synctex, [synctex],,
-       [AC_MSG_ERROR([You need synctex to build $PACKAGE])])
-GUI_CFLAGS="$GUI_CFLAGS $synctex_CFLAGS"
-GUI_LIBS="$GUI_LIBS $synctex_LIBS"
-
 # Add explicit linking flags
 GUI_LIBS="$GUI_LIBS -pthread -lm -lz -lrt"
 
diff --git a/src/Makefile.am b/src/Makefile.am
index 722ad90..e81efa3 100644
--- a/src/Makefile.am
+++ b/src/Makefile.am
@@ -27,6 +27,8 @@ gummi_SOURCES = biblio.c  biblio.h \
 		gui/gui-snippets.c gui/gui-snippets.h \
 		gui/gui-infoscreen.c gui/gui-infoscreen.h \
 		gui/gui-project.c gui/gui-project.h \
+		syncTeX/synctex_parser.c syncTeX/synctex_parser.h \
+		syncTeX/synctex_parser_utils.c syncTeX/synctex_parser_utils.h \
 		importer.c importer.h \
 		iofunctions.c iofunctions.h \
 		external.c external.h \
diff --git a/src/gui/gui-preview.c b/src/gui/gui-preview.c
index 1acb40e..7fe902e 100644
--- a/src/gui/gui-preview.c
+++ b/src/gui/gui-preview.c
@@ -48,7 +48,7 @@
 #include "motion.h"
 #include "porting.h"
 
-#include <synctex_parser.h>
+#include "syncTeX/synctex_parser.h"
 
 /* set up uri using appropriate formatting for OS
    http://en.wikipedia.org/wiki/File_URI_scheme#Linux */

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/gummi.git



More information about the debian-science-commits mailing list