seL4 / microkit

Microkit - A simple operating system framework for the seL4 microkernel
Other
79 stars 42 forks source link

additional pre-requisites and dependencies for building sdk #6

Closed ikuz closed 7 months ago

ikuz commented 2 years ago

Here are some additional tools and packages I had to install to get build_sdk.py to work on a fresh Ubuntu 18.04 install. (these are based on using the initial public release - I notice some more recent updates have added some of the missing python dependencies)

Note about cmake:

Note about docs:

ptrk8 commented 2 years ago

@ikuz Massive thanks for compiling this list! Saved me a bunch of time when trying to build.

Regarding the following:

I still got errors trying to build documentation, Font T1/cmr/m/n/10.95=ecrm1095 at 10.95pt not loadable: Metric (TFM) file not found.

I found that sudo apt installing the following fixed that and another related issue:

Also, libxml2-utils should be installed via apt instead of via pip as described in your post:

xmllint: ./pyenv/bin/pip install libxml2-utils

In terms of Python dependencies, I also had to install the following packages via pip:

Hope this helps others out.

perpen commented 1 year ago

Thanks @ikuz and @ptrk8 - I'm on archlinux and resorted to installing all the deps in a container (see https://github.com/perpen/sel4cp-container)