diff options
| author | Andreas Politz <politza@hochschule-trier.de> | 2017-09-18 13:21:30 +0200 |
|---|---|---|
| committer | Andreas Politz <politza@hochschule-trier.de> | 2017-09-18 13:24:35 +0200 |
| commit | 8b81804452fb953700470fbfe80db68279d86566 (patch) | |
| tree | 5448137d5b2ed158269658bcff2ac94478232cb4 /server | |
| parent | 26240cfdcad542b657f08a5bd96123468c75598f (diff) | |
Add target for updating synctex sources from upstream
Diffstat (limited to 'server')
| -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 |