work around a bug in latex; initialize the latex system

diff --git a/latex-first-run.sh b/latex-first-run.sh
new file mode 100755 (executable)
index 0000000..95dc870
--- /dev/null
+++ b/latex-first-run.sh
@@ -0,0 +1,13 @@
+#!/bin/bash
+echo "Running latex and pdflatex on a dummy input"
+cd /tmp
+cat > latex-dummy.tex <<EOF
+\\documentclass{article}
+\\begin{document}
+a dummy text to make sure latex is properly configured, as we're seeing weird error messages like
+I can't find the format file pdflatex.fmt!
+\\end{document}
+EOF
+latex latex-dummy < /dev/null >& /dev/null
+pdflatex latex-dummy < /dev/null >& /dev/null
+

diff --git a/vbuild-nightly.sh b/vbuild-nightly.sh
index e03881f..00e8e67 100755 (executable)
--- a/vbuild-nightly.sh
+++ b/vbuild-nightly.sh
@@ -216,6 +216,9 @@ function build () {
 
     MAKEVARS=("BASE=${BASE}" "${MAKEVARS[@]}")
 
+    # initialize latex
+    /build/latex-first-run.sh
+
     # stage1
     make -C /build $DRY_RUN "${MAKEVARS[@]}" stage1=true 
     # versions