17 May
2018
17 May
'18
11:42 p.m.
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