diff options
Diffstat (limited to 'Build/source/libs/configure')
| -rwxr-xr-x | Build/source/libs/configure | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/Build/source/libs/configure b/Build/source/libs/configure index 1833a80b74b..97988cc9256 100755 --- a/Build/source/libs/configure +++ b/Build/source/libs/configure @@ -794,6 +794,7 @@ enable_updmap enable_makeindexk enable_makejvf enable_mendexk +enable_musixtnt enable_ps2pk enable_psutils enable_seetexk @@ -1602,6 +1603,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 @@ -4594,6 +4596,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. |