Docker

We advise the usage of Docker to build images where we can compile and run TC. Docker images are described in Dockerfiles, and can be built using docker build:

$ docker build -t tiger --file Dockerfile-sid .

Docker builds an image tagged as tiger from the image description present in Dockerfile-sid.

We can use docker images to show all top level docker images:

$ docker images

To be able to create and run a container on this image, we can use docker run:

$ docker run -it --rm  -v /home/tigrou/tc/:/opt/tc tiger

This command runs the image tagged as tiger in interactive mode in a tty. The /home/tigrou/tc volume is mounted into the container in /opt/tc, and the container is automatically deleted on exit.

Consider adding docker to the permission group to avoid excessive usage of sudo.