On Fri, May 28, 2021 at 12:38 AM Roderick Chapman rod@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