This container provides a docker environment for Promela language files using the Spin verification tool.
This container uses admiringworm/ubuntu as a base.
The image contains the following packages
- make 3.8.1
- cmake 3.0.2
- bison 3.0.2
- gcc 4.8.4
- g++ 4.8.4
- spin 6.4.5
There are two use cases for this docker container, autopilot and manual
control. Both require mounting your directory with promela sources as
/data
in the container.
Invoking this container without arguments will run the standard cmake build routine, i.e.
docker run -v $(pwd):/data hamroctopus/spin:6.4.5
will tell the container to mount the current directory and execute the following
mkdir build
cd build
cmake ..
make
If your build pattern deviates from the above, pass your custom instructions as arguments
docker run -v $(pwd):/data hamroctopus/spin:6.4.5 "step1 && step2 && step3"