diff options
Diffstat (limited to 'Build/source/libs/configure')
| -rwxr-xr-x | Build/source/libs/configure | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/Build/source/libs/configure b/Build/source/libs/configure index 2bf899a5ca0..7ffa33d1947 100755 --- a/Build/source/libs/configure +++ b/Build/source/libs/configure @@ -774,6 +774,7 @@ with_gs enable_dvipos enable_dvipsk enable_dvisvgm +with_libgs with_system_libgs with_libgs_includes with_libgs_libdir @@ -1640,6 +1641,7 @@ Optional Packages: [texworks --position=%d "%s"] --without-mf-x-toolkit do not use X toolkit for METAFONT --with-gs=/PATH/TO/gs Hard-wire the location of GhostScript + --without-libgs build dvisvgm without PostScript support --with-system-libgs build dvisvgm with installed gs headers and library [default: no] --with-libgs-includes=DIR @@ -4372,6 +4374,12 @@ test "x$enable_dvisvgm" = xno || { ## texk/dvisvgm/ac/dvisvgm.ac: configure.ac fragment for the TeX Live subdirectory texk/dvisvgm/ ## configure options for dvisvgm +# Check whether --with-libgs was given. +if test "${with_libgs+set}" = set; then : + withval=$with_libgs; +fi + + # Check whether --with-system-libgs was given. if test "${with_system_libgs+set}" = set; then : withval=$with_system_libgs; |