Skip to content

Add dependencies to README.md#102

Closed
wom-bat wants to merge 0 commit intoseL4:mainfrom
wom-bat:main
Closed

Add dependencies to README.md#102
wom-bat wants to merge 0 commit intoseL4:mainfrom
wom-bat:main

Conversation

@wom-bat
Copy link
Member

@wom-bat wom-bat commented Feb 14, 2024

Make the list of dependencies for building the microkit tool more complete.

This list was created by making a minimal Debian stable chroot environment, and adding packages until the build worked

It addresses Issue #6

@Ivan-Velickovic
Copy link
Collaborator

In general, I was hesitant to add this myself as with this approach we are recommending people use their system's package manager and so we are at the mercy of whatever they do like in #13.

@bennoleslie originally wrote "Note: It is a high priority of the authors to ensure builds are self-contained and repeatable. A high value is placed on using specifically versioned tools. At this point in time this is not fully realised, however it is a high priority to enable this in the near future."

I don't know exactly how he meant to realise this though...

@wom-bat
Copy link
Member Author

wom-bat commented Feb 14, 2024

One other note: python3.9 is no longer in the repos. I'm using 3.11 without issues...

@wom-bat
Copy link
Member Author

wom-bat commented Feb 14, 2024

Also, musl 1.2.3 is the one currently available (and 1.2.4 in Debian sid). The changes from 1.2.2 are very minor, and will not be visible in our usecases

@wom-bat
Copy link
Member Author

wom-bat commented Feb 14, 2024

I think wrt the reproducibility, the only issue is libmuslc I think nothing else that's variable will end up visible in the Monitor or Loader.

README.md Outdated

$ sudo apt install build-essential git cmake ninja-build \
device-tree-compiler libxml2-utils \
pandoc texlive-latex-base texlive-latex-recommended \
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

texlive-latex-recommended is not needed

Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

actually I might be wrong here - the CI doesn't install it but it might have it already available. I'll check on a fresh install.

Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I installed it to get xcolor.sty amongst other things

@Ivan-Velickovic
Copy link
Collaborator

Argh, was trying to push to the branch and made a mistake... Apologies

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants