The first CAmkES tutorial points me at the "Usage" section of the CAmkES
manual, which tells me to run "./tools/check_deps.py" to see if I have
"the appropriate dependencies installed" but I have no idea what that
means...
What does good look like?
I assume I'm supposed to run that from within the Docker container?
If I do that, I get the output below, but I have no idea if that's
right. I would expect the Docker container to "Pass" this test with
flying colours... so I think I might have screwed up somewhere...
Can anyone advise please?
Thanks,
Rod
---
rchapman@in-container:/host/sel4-tutorials-manifest/projects/camkes-tool$
tools/check_deps.py
Dependencies of CAmkES runner
jinja2 (Python templating module)... Not found
plyplus (Python parsing module)... Not found
ply (Python parsing module)... Not found
elftools (Python ELF parsing module)... Not found
orderedset (Python OrderedSet module (orderedset))... Not found
six (Python 2/3 compatibility layer)... Found
sqlite3 (Python SQLite module)... Found
pyfdt (Python flattened device tree parser)... Not found
You will not be able to build/run this component
Dependencies of CAmkES test suite
expect (automation utility)... Found
pylint (Python linter)... Found
qemu-system-arm (ARM emulator)... Found
qemu-system-i386 (IA32 emulator)... Found
pycparser (Python C parsing module)... Not found
gcc (C compiler)... Found
spin (model checker)... Found
sha256sum (file hashing utility)... Found
You will not be able to build/run this component
Dependencies of CapDL translator
stack (Haskell version manager)... Found
Dependencies of seL4
gcc (C compiler)... Found
tempita (Python templating module)... Not found
xmllint (XML validator)... Found
bash (shell)... Found
make (GNU Make build tool)... Found
cpio (CPIO file system tool)... Found
You will not be able to build/run this component
Suggestions:
c-parser (NICTA C-to-Simpl parser): you will need this installed if
you want to validate code for verification
clang-format (Clang code reformatter): installing this will reflow
generated C code to make it more readable
VBoxManage (VirtualBox administration tool): you will need this
installed if you want to build VMWare images
mformat (formatting tool for MSDOS disks): you will need this
installed if you want to build QEMU images for IA32
figleaf (code coverage tool for Python): you will need this installed
if you want to measure code coverage within CAmkES
python-coverage (code coverage tool for Python): you will need this
installed if you want to measure code coverage within CAmkES
syslinux (Linux bootloader tool): you will need this installed if you
want to build QEMU images for IA32
mpartition (partitioning tool for MSDOS disks): you will need this
installed if you want to build QEMU images for IA32
pandoc (document format translator): you will need this if you want to
build the CAmkES documentation
mcopy (copying tool for MSDOS disks): you will need this installed if
you want to build QEMU images for IA32
sponge (input coalescer from moreutils): installing this will give a
marginal improvement in compilation times
_______________________________________________
Devel mailing list -- devel@sel4.systems
To unsubscribe send an email to devel-leave@sel4.systems
