On Fri, May 28, 2021 at 12:38 AM Roderick Chapman <rod(a)proteancode.com> wrote:
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
That script is still testing for python2 dependencies by default
unfortunately. So that's what you saw is what I see under my docker
container too.
I made a PR updating it here:
https://github.com/seL4/camkes-tool/pull/66/files
This is what it looks like under a trustworthysystems/camkes-riscv
docker container now:
root@265f07f040c1:/host/build2# python3
../projects/camkes-tool/tools/check_deps.py
Dependencies of CAmkES runner
jinja2 (Python templating module)... Found
plyplus (Python parsing module)... Found
ply (Python parsing module)... Found
elftools (Python ELF parsing module)... Found
orderedset (Python OrderedSet module (orderedset))... Found
six (Python 2/3 compatibility layer)... Found
sqlite3 (Python SQLite module)... Found
pyfdt (Python flattened device tree parser)... Found
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)... Found
gcc (C compiler)... Found
spin (model checker)... Found
sha256sum (file hashing utility)... Found
Dependencies of CapDL translator
stack (Haskell version manager)... Found
Dependencies of seL4
gcc (C compiler)... Found
jinja2 (Python templating module)... Found
xmllint (XML validator)... Found
bash (shell)... Found
make (GNU Make build tool)... Found
cpio (CPIO file system tool)... Found
Suggestions:
VBoxManage (VirtualBox administration tool): you will need this
installed if you want to build VMWare images
figleaf (code coverage tool for Python): you will need this installed
if you want to measure code coverage within CAmkES
pandoc (document format translator): you will need this if you want
to build the CAmkES documentation
mformat (formatting tool for MSDOS disks): you will need this
installed if you want to build QEMU images for IA32
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
python-coverage (code coverage tool for Python): you will need this
installed if you want to measure code coverage within CAmkES
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
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