Tweak forest drawing to work better with newer lualatex

DMRobertson · Aug 27, 2018 · 98935d2 · 98935d2
1 parent db76b04
commit 98935d2
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 2 deletions.
diff --git a/thompson/drawing/__init__.py b/thompson/drawing/__init__.py
@@ -115,7 +115,7 @@ def forest(aut, jobname=None, display=True, scale=1, **kwargs):
 	check_call(['lualatex',
 		'-output-directory=' + outdir,
 		'-interaction=batchmode',
-		'-no-shell-escape',
+		'--halt-on-error',
 		 tex
 	])
 

diff --git a/thompson/drawing/forest_diagram.tpl b/thompson/drawing/forest_diagram.tpl
@@ -1,4 +1,5 @@
 {% if standalone %}
+\RequirePackage{luatex85}
 \documentclass[tikz]{standalone}
 \usetikzlibrary{graphs, graphdrawing, positioning, calc, backgrounds}
 \usegdlibrary{trees}
@@ -106,4 +107,4 @@
 \end{tikzpicture}
 {% if standalone %}
 \end{document}
-{% endif %}
+{% endif %}