configure: report TeX version in config.log

* configure.ac: If possible, report the version of the selected
TeX program; this should render the logs more informative.

diff --git a/ChangeLog b/ChangeLog
index c8c7b669f482143e50d9efbc574b03c2fcb5932e..8e3333015b16536a97012355a46f0ee427fd6e43 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,9 @@
+2011-12-21  Stefano Lattarini  <stefano.lattarini@gmail.com>
+
+       configure: report TeX version in config.log
+       * configure.ac: If possible, report the version of the selected
+       TeX program; this should render the logs more informative.
+
 2011-12-22  Stefano Lattarini  <stefano.lattarini@gmail.com>
 
        maint: snapshots from `maint' are still development snapshots

diff --git a/configure.ac b/configure.ac
index 8b1d6851f8c46d0f9bfda393765f561896f66545..d9339d2df873e2b4cf3ddbce562f34a63fbd14d6 100644 (file)
--- a/configure.ac
+++ b/configure.ac
@@ -100,6 +100,10 @@ AC_SUBST([PERL_THREADS])
 
 # The test suite will skip some tests if tex is absent.
 AC_CHECK_PROG([TEX], [tex], [tex])
+# Save details about the selected TeX program in config.log.
+# Redirect input from /dev/null, as TeX might otherwise hang waiting
+# for input from the terminal.
+AM_RUN_LOG([$TEX --version </dev/null])
 
 # Generate man pages.
 AM_MISSING_PROG([HELP2MAN], [help2man])