summaryrefslogtreecommitdiff
path: root/Build/source/texk/configure
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/texk/configure')
-rwxr-xr-xBuild/source/texk/configure33
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"