diff --git a/generators/poppler/synctex/patches/02-fix-_synctex_error.diff b/generators/poppler/synctex/patches/02-fix-_synctex_error.diff new file mode 100644 index 000000000..bcd8efc5e --- /dev/null +++ b/generators/poppler/synctex/patches/02-fix-_synctex_error.diff @@ -0,0 +1,26 @@ +Index: synctex/synctex_parser_utils.c +=================================================================== +--- synctex.orig/synctex_parser_utils.c 2009-07-27 17:41:24.000000000 +0200 ++++ synctex/synctex_parser_utils.c 2009-07-27 17:41:43.000000000 +0200 +@@ -62,7 +62,7 @@ + return (void *)ptr; + } + +-int _synctex_error(char * reason,...) { ++int _synctex_error(const char * reason,...) { + va_list arg; + int result; + va_start (arg, reason); +Index: synctex/synctex_parser_utils.h +=================================================================== +--- synctex.orig/synctex_parser_utils.h 2009-07-27 17:41:24.000000000 +0200 ++++ synctex/synctex_parser_utils.h 2009-07-27 17:41:47.000000000 +0200 +@@ -65,7 +65,7 @@ + /* This is used to log some informational message to the standard error stream. + * On Windows, the stderr stream is not exposed and another method is used. + * The return value is the number of characters printed. */ +-int _synctex_error(char * reason,...); ++int _synctex_error(const char * reason,...); + + /* strip the last extension of the given string, this string is modified! + * This function depends on the OS because the path separator may differ. diff --git a/generators/poppler/synctex/patches/series b/generators/poppler/synctex/patches/series index 1bb1093f9..7c3117a7a 100644 --- a/generators/poppler/synctex/patches/series +++ b/generators/poppler/synctex/patches/series @@ -1 +1,2 @@ 01-fix-win32-define.diff +02-fix-_synctex_error.diff diff --git a/generators/poppler/synctex/synctex_parser_utils.c b/generators/poppler/synctex/synctex_parser_utils.c index 9677fdccc..14211df91 100644 --- a/generators/poppler/synctex/synctex_parser_utils.c +++ b/generators/poppler/synctex/synctex_parser_utils.c @@ -62,7 +62,7 @@ void *_synctex_malloc(size_t size) { return (void *)ptr; } -int _synctex_error(char * reason,...) { +int _synctex_error(const char * reason,...) { va_list arg; int result; va_start (arg, reason); diff --git a/generators/poppler/synctex/synctex_parser_utils.h b/generators/poppler/synctex/synctex_parser_utils.h index c0d435d49..a22de2808 100644 --- a/generators/poppler/synctex/synctex_parser_utils.h +++ b/generators/poppler/synctex/synctex_parser_utils.h @@ -65,7 +65,7 @@ void *_synctex_malloc(size_t size); /* This is used to log some informational message to the standard error stream. * On Windows, the stderr stream is not exposed and another method is used. * The return value is the number of characters printed. */ -int _synctex_error(char * reason,...); +int _synctex_error(const char * reason,...); /* strip the last extension of the given string, this string is modified! * This function depends on the OS because the path separator may differ.