portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

tools: State jinja2 version

Browse source 
Provides a graceful error when jinja2 is the wrong version
This commit is contained in:
Adrian Danis 2018-06-13 15:27:52 +10:00
parent d94eda3153
commit 1dd8015da2
2 changed files with 8 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
tools/invocation_header_gen.py
View file

@ -18,6 +18,10 @@ from __future__ import print_function
import argparse
import sys
import xml.dom.minidom
import pkg_resources;
# We require jinja2 to be at least version 2.10 as we use the 'namespace' feature from
# that version
pkg_resources.require("jinja2>=2.10")
from jinja2 import Environment, BaseLoader

4
tools/syscall_header_gen.py
View file

@ -19,6 +19,10 @@ import argparse
import re
import sys
import xml.dom.minidom
import pkg_resources;
# We require jinja2 to be at least version 2.10 as we use the 'namespace' feature from
# that version
pkg_resources.require("jinja2>=2.10")
from jinja2 import Environment, BaseLoader