-
Notifications
You must be signed in to change notification settings - Fork 1
Running Atomer in Docker
Atomer can be easily built and run in Docker.
At first, it is needed to install Docker Engine. It is available on a variety of Linux platforms, macOS, and Windows. Get it and follow the instructions from https://docs.docker.com/engine/install.
There are prepared Docker images for building Atomer from sources. Building the images can take a few hours. These Dockerfiles are available:
The images are based on Debian Linux. After running containers built from these images, Facebook Infer with Atomer will be compiled and installed system-wide. Moreover, /infer-atomer-vx.x.x.tar.xz or /infer-atomer-main.tar.xz will contain a binary release of this version ready to distribute.
Using the commands below, these images can be build (other versions can be built by changing vx.x.x):
curl -sL https://github.com/harmim/infer/archive/refs/tags/atomer-v2.0.0.tar.gz | tar -xz
cd infer-atomer-v2.0.0/docker/atomer-v2.0.0 && ./run.sh # there is also run.bat for WindowsAnd these are the commands to build Atomer's main:
curl -sL https://github.com/harmim/infer/archive/refs/heads/atomicity-sets.tar.gz | tar -xz
cd infer-atomicity-sets/docker/atomer-main && ./run.sh # there is also run.bat for WindowsThere are prepared Docker images for running pre-compiled Atomer's binaries. Building the images can take, at most, a few minutes. These Dockerfiles are available:
These images are also based on Debian Linux. After running containers build from these images, binaries of Facebook Infer with Atomer will be downloaded and installed system-wide.
Using the commands below, these images can be build (other versions can be built by changing vx.x.x):
curl -sL https://github.com/harmim/infer/archive/refs/tags/atomer-v2.0.0.tar.gz | tar -xz
cd infer-atomer-v2.0.0/docker/atomer-v2.0.0-bin && ./run.sh # there is also run.bat for Windows