summaryrefslogtreecommitdiff
path: root/Build/source/utils
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/utils')
-rwxr-xr-xBuild/source/utils/configure13
1 files changed, 13 insertions, 0 deletions
diff --git a/Build/source/utils/configure b/Build/source/utils/configure
index ca1d8254baf..09ff0112026 100755
--- a/Build/source/utils/configure
+++ b/Build/source/utils/configure
@@ -799,6 +799,7 @@ enable_luahbtex
enable_luajithbtex
enable_mp
enable_pmp
+enable_texprof
enable_upmp
enable_xetex
enable_xetex_synctex
@@ -1599,6 +1600,7 @@ Optional Features:
--disable-luajithbtex do not compile and install LuaHBJITTeX
--disable-mp do not compile and install MetaPost
--disable-pmp do not compile and install pMetaPost
+ --disable-texprof do not compile and install TeXprof
--disable-upmp do not compile and install upMetaPost
--disable-xetex do not compile and install XeTeX
--disable-xetex-synctex build XeTeX without SyncTeX support
@@ -5028,6 +5030,17 @@ test "x$enable_web2c:$enable_pmp" = xyes:yes && {
need_libpng=yes
need_ptexenc=yes
}
+# Check whether --enable-texprof was given.
+if test ${enable_texprof+y}
+then :
+ enableval=$enable_texprof;
+fi
+case $enable_texprof in #(
+ yes | no) :
+ ;; #(
+ *) :
+ enable_texprof=yes ;;
+esac
# Check whether --enable-upmp was given.
if test ${enable_upmp+y}
then :