Beautiful! It works like a charm!
Thank you kindly, sir,
Dave
-----Original Message-----
From: Mondy, Luke (Data61, Kensington NSW)
Sent: Sunday, November 1, 2020 2:13 PM
To: dave@synergy.org; devel@sel4.systems
Subject: Re: [seL4] Docker / gnat
Hi Dave,
You can add extra packages or commands to run in the extras.dockerfile (
https://github.com/SEL4PROJ/seL4-CAmkES-L4v-dockerfiles/blob/master/dockerfi
les/extras.Dockerfile ) in your checked out version of the repo.
Any time you add or change things in this file, Docker will build a new
local image for you, adding the commands to the standard images we push out.
After that first build, the new image will be cached, and the container will
start up quickly again.
Let us know if that helps, or if you have any further questions.
Cheers,
Luke
--
Dr Luke Mondy, Systems Administrator,
P +61 2 9490 5773 | https://ts.data61.csiro.au Trustworthy Systems | DATA61
| CSIRO CSIRO Staff Association Delegate
Hours at CSIRO
Monday: 9:00am to 5pm
Tues, Wed, Fri: 1:30pm to 5pm
________________________________________
From: Devel on behalf of dave@synergy.org
Sent: Monday, 2 November 2020 5:02 AM
To: devel@sel4.systems
Subject: [seL4] Docker / gnat
Hello,
I converted over from my old development environment to the docker-based
version this weekend. Everything worked fine, except for one thing. I was
using the gnat-6-aarch64-linux-gnu and gnat-6-arm-linux-gnueabihf packages
to compile Ada code. Ada is not installed by default in the docker
container. I can install it, but it goes away when the container
terminates. I am brand new to docker. Can I make these changes permanent
myself or does it require the container provider to do so?
Thanks!
Dave
_______________________________________________
Devel mailing list
Devel@sel4.systems
https://sel4.systems/lists/listinfo/devel
