Hi Paolo,
Yes, we are aware of this issue, and your suggested fix is good. I
believe this is because of changes to Debian since those dockerfiles
were published.
You can avoid this issue, and save yourself some build time, by running
make pull_sel4_image
which will pull the base image that we're running in our testing
environment.
We will be pushing out some relatively major changes to the Dockerfiles
soon, which will get rid of this issue, and be ready for the new build
system and GCC6.
--
Cheers,
Luke
--
Luke Mondy, Systems Administrator, Trustworthy Systems
DATA61 | CSIRO
P +61 2 9490 5773 |
https://ts.data61.csiro.au
On 17/05/18 23:42, Paolo Crisafulli wrote:
> Forgot to say: this error can be fixed by replacing ncurses-dev with
> libncurses-dev, but then I'm getting many more apt error messages.
>
>
> On 17/05/18 15:32, Paolo Crisafulli wrote:
>> Hi all,
>>
>> I'm using the docker build environment provided by
>>
https://github.com/SEL4PROJ/seL4-CAmkES-L4v-dockerfiles
>>
>> Currently, "make sel4" fails with this message:
>>
>> E: Package 'ncurses-dev' has no installation candidate
>>
>>
>> Anyone experimenting the same behaviour?
>>
>>
>> Cheers,
>>
>> Paolo
>>
>
>
> _______________________________________________
> Devel mailing list
> Devel@sel4.systems
>
https://sel4.systems/lists/listinfo/devel