diff options
Diffstat (limited to 'Build/source/texk/web2c/configure')
-rwxr-xr-x | Build/source/texk/web2c/configure | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/Build/source/texk/web2c/configure b/Build/source/texk/web2c/configure index 96121212946..2fad4a808dd 100755 --- a/Build/source/texk/web2c/configure +++ b/Build/source/texk/web2c/configure @@ -638,6 +638,7 @@ am__EXEEXT_TRUE LTLIBOBJS LIBOBJS subdirs +WANTEDLIBS SYNCTEX_LT_VERSINFO SYNCTEXVERSION OTANGLE @@ -3362,6 +3363,11 @@ ac_configure="$SHELL $ac_aux_dir/configure" # Please don't use this var. WEB2CVERSION=2015/dev +if test "x$enable_shared:$with_system_zlib" = xyes:no; then + enable_shared=no + ac_configure_args="$ac_configure_args '--disable-shared'" +fi + am__api_version='1.14' # Find a good install program. We prefer a C program (faster), @@ -24134,6 +24140,10 @@ SYNCTEXVERSION=1.17.0 SYNCTEX_LT_VERSINFO=18:0:17 +if test "x$enable_synctex" != xno; then : + WANTEDLIBS=libsynctex.la + +fi ac_config_files="$ac_config_files synctexdir/synctex.pc" |