diff options
| -rw-r--r-- | server/Makefile.am | 22 |
1 files changed, 21 insertions, 1 deletions
diff --git a/server/Makefile.am b/server/Makefile.am index f04e35a..dacd047 100644 --- a/server/Makefile.am +++ b/server/Makefile.am @@ -11,9 +11,29 @@ libsynctex_a_SOURCES = synctex_parser.c synctex_parser_utils.c synctex_parser.h synctex_parser_local.h synctex_parser_utils.h libsynctex_a_CFLAGS = -w $(zlib_CFLAGS) +SYNCTEX_UPSTREAM = svn://tug.org/texlive/tags/texlive-2017.1/Build/source/texk/web2c/synctexdir +SYNCTEX_FILES = synctex_parser.c \ + synctex_parser.h \ + synctex_parser_local.h \ + synctex_parser_readme.txt \ + synctex_parser_utils.c \ + synctex_parser_utils.h \ + synctex_parser_version.txt + + check-local: @if $(MAKE) --version 2>&1 | grep -q GNU; then \ cd test && $(MAKE) $(AM_MAKEFLAGS); \ else \ echo "Skipping tests in server/test (requires GNU make)"; \ - fi + fi + +synctex-pull: + @if [ -n "$$(git status --porcelain)" ]; then \ + git status; \ + echo "Not checking-out files into a dirty work-directory"; \ + false; \ + fi + for file in $(SYNCTEX_FILES); do \ + svn export --force $(SYNCTEX_UPSTREAM)/$$file; \ + done |