diff options
Diffstat (limited to 'Build/source/texk/configure')
| -rwxr-xr-x | Build/source/texk/configure | 33 |
1 files changed, 33 insertions, 0 deletions
diff --git a/Build/source/texk/configure b/Build/source/texk/configure index 259f34c51d7..367f1485074 100755 --- a/Build/source/texk/configure +++ b/Build/source/texk/configure @@ -794,6 +794,7 @@ enable_updmap enable_makeindexk enable_makejvf enable_mendexk +enable_musixtnt enable_ps2pk enable_psutils enable_seetexk @@ -881,6 +882,7 @@ lcdf-typetools makeindexk makejvf mendexk +musixtnt ps2pk psutils seetexk @@ -1611,6 +1613,7 @@ Optional Features: --disable-makeindexk do not build the makeindexk package --disable-makejvf do not build the makejvf package --disable-mendexk do not build the mendexk package + --disable-musixtnt do not build the musixtnt package --disable-ps2pk do not build the ps2pk package --disable-psutils do not build the psutils package --disable-seetexk do not build the seetexk package @@ -4603,6 +4606,28 @@ test "x$enable_mendexk" = xno || { need_ptexenc=yes } +## texk/musixtnt/ac/withenable.ac: configure.ac fragment for the TeX Live subdirectory texk/musixtnt/ +## configure options and TL libraries required for musixtnt +# Check whether --enable-musixtnt was given. +if test "${enable_musixtnt+set}" = set; then : + enableval=$enable_musixtnt; +fi +case $enable_musixtnt in #( + yes|no) : + ;; #( + *) : + + enable_musixtnt=$enable_all_pkgs + { $as_echo "$as_me:${as_lineno-$LINENO}: Assuming \`--enable-musixtnt=$enable_musixtnt'" >&5 +$as_echo "$as_me: Assuming \`--enable-musixtnt=$enable_musixtnt'" >&6;} + ac_configure_args="$ac_configure_args '--enable-musixtnt=$enable_musixtnt'" + ;; +esac + +test "x$enable_musixtnt" = xno || { + need_kpathsea=yes +} + ## texk/ps2pk/ac/withenable.ac: configure.ac fragment for the TeX Live subdirectory texk/ps2pk/ ## configure options and TL libraries required for ps2pk # Check whether --enable-ps2pk was given. @@ -6533,6 +6558,14 @@ if test -x $srcdir/mendexk/configure; then fi fi +if test -x $srcdir/musixtnt/configure; then + test "x$enable_musixtnt" = xyes && MAKE_SUBDIRS="$MAKE_SUBDIRS musixtnt" + CONF_SUBDIRS="$CONF_SUBDIRS musixtnt" + if false; then + subdirs="$subdirs musixtnt" + + fi +fi if test -x $srcdir/ps2pk/configure; then test "x$enable_ps2pk" = xyes && MAKE_SUBDIRS="$MAKE_SUBDIRS ps2pk" CONF_SUBDIRS="$CONF_SUBDIRS ps2pk" |