summaryrefslogtreecommitdiff
path: root/Build/source/configure
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/configure')
-rwxr-xr-xBuild/source/configure14
1 files changed, 14 insertions, 0 deletions
diff --git a/Build/source/configure b/Build/source/configure
index 2cdf496c7a6..81aacc40e6d 100755
--- a/Build/source/configure
+++ b/Build/source/configure
@@ -775,6 +775,7 @@ with_psutils
with_t1utils
with_texinfo
with_tpic2pdftex
+with_vlna
with_xindy
with_afm2pl
with_bibtex8
@@ -895,6 +896,7 @@ utils/psutils
utils/t1utils
utils/texinfo
utils/tpic2pdftex
+utils/vlna
utils/xindy
texk'
@@ -1552,6 +1554,7 @@ Optional Packages:
--without-t1utils do not build the t1utils package
--without-texinfo do not build the texinfo package
--without-tpic2pdftex do not build the tpic2pdftex package
+ --without-vlna do not build the vlna package
--without-xindy do not build the xindy package
--without-afm2pl do not build the afm2pl package
--without-bibtex8 do not build the bibtex8 package
@@ -5616,6 +5619,11 @@ if test "${with_tpic2pdftex+set}" = set; then
withval=$with_tpic2pdftex;
fi
+# Check whether --with-vlna was given.
+if test "${with_vlna+set}" = set; then
+ withval=$with_vlna;
+fi
+
# Check whether --with-xindy was given.
if test "${with_xindy+set}" = set; then
withval=$with_xindy;
@@ -9712,6 +9720,12 @@ if test -d $srcdir/utils/tpic2pdftex; then
subdirs="$subdirs utils/tpic2pdftex"
fi
fi
+if test -d $srcdir/utils/vlna; then
+ if test "x$with_vlna" != xno; then
+ ESUBDIRS="$ESUBDIRS utils/vlna"
+ subdirs="$subdirs utils/vlna"
+ fi
+fi
if test -d $srcdir/utils/xindy; then
if test "x$with_xindy" != xno; then
ESUBDIRS="$ESUBDIRS utils/xindy"