From e8e6741a9275db2929fbf6b48a71c150a2058998 Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Date: Sat, 4 Jun 2011 14:23:46 +0200
Subject: [PATCH] work around a bug in latex; initialize the latex system

---
 latex-first-run.sh | 13 +++++++++++++
 vbuild-nightly.sh  |  3 +++
 2 files changed, 16 insertions(+)
 create mode 100755 latex-first-run.sh

diff --git a/latex-first-run.sh b/latex-first-run.sh
new file mode 100755
index 00000000..95dc8702
--- /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 e03881fe..00e8e675 100755
--- 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
-- 
2.43.0