History log of /seL4-camkes-master/projects/camkes-tool/tools/check_deps.py
Revision Date Author Comments
# 4b53b118 03-Dec-2019 maybe-sybr <58414429+maybe-sybr@users.noreply.github.com>

Accept Red Hat ARM Xcompilers in `check_deps.py`


# d1ca9f38 14-Sep-2018 Summer Li <Summer.Li@data61.csiro.au>

Remove cache: Update check_deps.py


# 4f612ab9 15-Aug-2018 Anna Lyons <Anna.Lyons@data61.csiro.au>

camkes/parser: add a DTBMatchQuery class

- add a DTBMatchQuery, which is currently a stub class
- the stub class is initialised with the parsed DTB from the command
line and dtb queries can be resolved with it
- however, currently all queries resolve to [""]
- remove the prior dtb option parsing, as this is now done in the
DTBMatchQuery class.


# 8b2ec3e6 20-Jun-2017 Anna Lyons <Anna.Lyons@data61.csiro.au>

Fix licenses


# d85314a9 23-Jan-2017 Stephen Sherratt <Stephen.Sherratt@data61.csiro.au>

Replace ghc and cabal in check_deps with stack

This also removes the need for the check_deps script to check for the
presence of haskell modules, as stack will ensure the appropriate
modules are installed before building.


# e7bdecdd 06-Jun-2016 Matthew Fernandez <matthew.fernandez@nicta.com.au>

Add orderedset as a dependency.

This commit cherry-picks 43459bca977709cf5e1cce178f1a2d0be332434d from
ssh://github.inside.nicta.com.au/mfernandez/project.


# e27219d2 29-Nov-2015 Matthew Fernandez <matthew.fernandez@nicta.com.au>

check_deps: Add `six` as a dependency.

This commit adds the Python 2/3 compatibility module, `six`, as a dependency.
Though this is not currently a direct dependency of the CAmkES code generator,
upcoming changes to the python-capdl module introduce a dependency on this
module.


# bf474b33 29-Nov-2015 Matthew Fernandez <matthew.fernandez@nicta.com.au>

check_deps: Add a mechanism for checking for a module with specific features.

This is for use in an upcoming commit.


# 92393e10 29-Nov-2015 Matthew Fernandez <matthew.fernandez@nicta.com.au>

check_deps: Add an exception type that can be explicitly caught.

This is not currently used, but can now be thrown from dependency checks and
then caught by corresponding code without also accidentally catching unrelated
exceptions.


# bacfebce 27-Oct-2015 Matthew Fernandez <matthew.fernandez@nicta.com.au>

Refactored parser init commit.


# 26cfe6a5 22-Jun-2015 Matthew Fernandez <matthew.fernandez@nicta.com.au>

Add script for checking dependencies.