seL4 / seL4-CAmkES-L4v-dockerfiles

Dockerfiles defining the dependencies required to build seL4, CAmkES, and L4v.
13 stars 40 forks source link

Issues building images, due to apt error #18

Closed LukeMondy closed 4 years ago

LukeMondy commented 4 years ago

Currently the images are not building, due to an incompatibility with some of clang's dependencies requiring changes in gcc's dependencies. This is because clang is pulled from Debian Testing, and so is constantly being changed and updated.

The error looks something like this:

bash -c 'apt-get install -y --no-install-recommends -t bullseye clang-8 libclang-8-dev qemu-system-arm '
Reading package lists...
Building dependency tree...
Reading state information...
Some packages could not be installed. This may mean that you have
requested an impossible situation or if you are using the unstable
distribution that some required packages have not yet been created
or been moved out of Incoming.
The following information may help to resolve the situation:

The following packages have unmet dependencies:
clang-8 : Depends: libobjc-8-dev but it is not going to be installed
libc6-dev : Breaks: libgcc-8-dev (< 8.4.0-2~) but 8.3.0-6 is to be installed
libclang-8-dev : Depends: libobjc-8-dev but it is not going to be installed
E: Error, pkgProblemResolver::Resolve generated breaks, this may be caused by held packages.

We're currently working on a fix, and hope to have it pushed out soon.

LukeMondy commented 4 years ago

Fixed with: https://github.com/SEL4PROJ/seL4-CAmkES-L4v-dockerfiles/commit/728539476ada9263a3ce57370bf842fd32f6987c