Ocarina docker images, based on various Linux images: CentOS, debian, Fedora and Ubuntu.

These docker files fetch all dependencies to compile Ocarina, along with the build_ocarina.sh build script.

The following images are provided, with the following variant

Note: CentOS builds rely on GNAT GPL or Community releases, Ubuntu-Xenial uses PPA/GCC to use a more recent GCC version. All other builds rely on the default GCC provided by the Linux distribution.

• To build the image, from one of the directory:

    docker build -t ocarina/build .

• To run the image:

   docker run -t -i ocarina/build bash

or

   docker run -t ocarina/build

to run the default scenario: perform a fresh install of Ocarina

The debian-10.0 dockerfile has been adapted so that you can run ocarina from the docker container.

Let us suppose you have some AADL files in the common directory, you can then run

docker run -ti  -v `pwd`:/work  ocarina/ocarina ocarina [ocarina arguments]