This is the Git repo of the Docker images for building CBMC in/for different operating systems.

Builders exist for two OS:

• alpine in alpine/Dockerfile referenced as diffblue/cbmc-builder:alpine, diffblue/cbmc-builder:alpine-0.0.1
• ubuntu in ubuntu/Dockerfile referenced as diffblue/cbmc-builder:latest, diffblue/cbmc-builder:xenial, diffblue/cbmc-builder:xenial-0.0.1

Set path to your cloned CBMC source

CBMC_PATH=~/git/cbmc

To run compilation instructions in container

docker run --rm -v ${CBMC_PATH}:/cbmc diffblue/cbmc-builder make -C src minisat2-download
docker run --rm -v ${CBMC_PATH}:/cbmc diffblue/cbmc-builder make -C src -j$(getconf _NPROCESSORS_ONLN)

To run tests afterwards

docker run --rm -v ${CBMC_PATH}:/cbmc diffblue/cbmc-builder make -C regression test

Install dobi and add it to your PATH.

Enter to folder with dobi.yml (root of this repository).

To run all tasks

BUILD_TAG=$(git describe) dobi

To run all tests

BUILD_TAG=$(git describe) dobi test

Remove all temporary files

BUILD_TAG=$(git describe) dobi clean