Imagelibrary/seL4
1
0
Fork 1
mirror of https://github.com/seL4/seL4.git synced 2026-03-27 10:29:57 +00:00
Code Issues Packages Projects Releases Wiki Activity

tools: add guardonce python dependency

Browse Source
This commit is contained in:
Anna Lyons
2019-03-25 16:02:51 +11:00
parent 142bf9b127
commit 305b5f9c3d
1 changed files with 3 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
tools/python-deps/setup.py
View File

@@ -38,12 +38,13 @@ DEPS = [
'pyaml',
'jsonschema',
'pyfdt',
'cmake-format'
'cmake-format',
'guardonce'
]
setup(
name='sel4-deps',
version='0.2.1',
version='0.2.2',
description='Metapackage for downloading build dependencies for the seL4 microkernel',
url="https://sel4.systems",
licence='BSD2',