seL4/tools
G. Branden Robinson 2b5c8d3f84 setup.py: depend on 'pyyaml', not 'pyaml'
In the pip namespace, 'pyaml' is "pretty-yaml", a YAML generator (but
not a YAML parser); 'pyyaml' (accessed with "import yaml"), a.k.a.
"PyYAML", is the YAML serialiser and reader we actually use.

Bump the minor version number per semantic versioning rules.  (One could
argue that we are "removing" pyaml (pretty-yaml) from our interface and
therefore a major version bump is required, but we weren't _actually_
using that module so I would argue that the introduction of 'pyyaml' is
the visible change.)

Thanks to Japheth Lim for identifying this issue.
2019-08-30 16:53:16 +10:00
..
dts CMake: Correct allwinnerA20 platform name 2019-08-13 14:51:57 +10:00
python-deps setup.py: depend on 'pyyaml', not 'pyaml' 2019-08-30 16:53:16 +10:00
bf.vim tools: fix licenses 2017-06-22 15:27:30 +10:00
bitfield_gen.py bitfields: Specify iteration order over dicts 2019-08-08 10:19:24 +10:00
changed.sh tools: fix licenses 2017-06-22 15:27:30 +10:00
circular_includes.py python2 --> python3 2019-08-08 10:19:24 +10:00
cpp_gen.sh tools: fix licenses 2017-06-22 15:27:30 +10:00
flags.cmake Add a CMake based build system 2017-08-22 13:56:26 +10:00
hardware.yml kzm: implement MCS timer driver 2019-08-22 11:22:35 +10:00
hardware_gen.py hardware_gen: Correctly set default kernel_size 2019-08-13 14:54:39 +10:00
hardware_schema.yml hardware_gen: Always specify kernel devices 2019-08-13 14:54:35 +10:00
helpers.cmake python2 --> python3 2019-08-08 10:19:24 +10:00
internal.cmake python2 --> python3 2019-08-08 10:19:24 +10:00
invocation_header_gen.py python2 --> python3 2019-08-08 10:19:24 +10:00
kernel_pylint.sh tools: Added astyle,pylint and xmllint checks 2018-08-10 10:38:53 +10:00
kernel_xmllint.sh tools: Added astyle,pylint and xmllint checks 2018-08-10 10:38:53 +10:00
lex.py style: run autopep8 on python files 2019-03-27 10:43:58 +11:00
pylintrc tools: fix licenses 2017-06-22 15:27:30 +10:00
reciprocal.py mcs: Add reciprocal.py 2019-08-22 11:22:34 +10:00
syscall_header_gen.py mcs: scheduling context donation over ipc 2019-08-22 11:22:37 +10:00
umm.py python2 --> python3 2019-08-08 10:19:24 +10:00
xmllint.sh tools: fix licenses 2017-06-22 15:27:30 +10:00