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

Reply via email to